Вы здесь

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

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

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

Страница лекции на сайте Computer Science клуба

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