1. Основные понятия и определения онтологической инженерии. Категории, объекты и отношения
2. Синтаксис и семантика пропозициональной логики. Использование пропозициональной логики для представления знаний
3. Цель логического вывода. Аксиомы, теоремы, правила логического вывода. Свойство монотонности логического вывода
4. Применение метода резолюций для доказательства истинности следствий в базе знаний. Полнота метода резолюций
5. Прямой и обратный логический вывод. Поиск решения в дереве вывода «в глубину» и «в ширину»
Последние комментарии
3 года 35 недель назад
3 года 38 недель назад
4 года 13 недель назад
5 лет 5 недель назад
5 лет 41 неделя назад
4 года 29 недель назад
4 года 29 недель назад
3 года 22 недели назад
5 лет 23 недели назад
6 лет 27 недель назад