Онтология и представление знаний. Лекция 5
Лекция ХитПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
26.09.10
Код для блога:
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической ALC-терминологией. Алгоритм классификации ALC-теорий. Расширения логики ALC.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20100926_ontology_konev_lecture05.pdfДругие лекции курса
8