Вы здесь

Онтология и представление знаний, лекция 5

Лекция
Предмет:
Лектор:
Дата записи:
01.03.11
Дата публикации:
26.09.10
Код для блога:

Свойства алгоритма проверки реализуемости -концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической -терминологией. Алгоритм классификации -теорий. Расширения логики .

Страница лекции на сайте Computer Science клуба: http://compsciclub.ru/node/826

Дополнительные материалы: 
Иконка PDF 20100926_ontology_konev_lecture05.pdf