Искусственный интеллект

— переменная 52, 53 Ограничение целостности 239 Ограниченный поиск в глубину 143 Одноместный предикат 60 Ожидающее место 202 Онтология 303, 304 Операция концентрирования 273 — следования 250 — растяжения 273 Опровержение 99 Оптимальность 137 Основа 243 — схемы отношений 222, 246 Останов 202 Ответ на запрос 230 Отношение достижимости 181 Отношение эквивалентности 108 Оценочная функция 106 п Переименование переменной 83 Пересечение 244, 250 План 291 Подцелевая формула 89 Поиск 23 — в глубину 142 — в ширину 138 Полная база данных 248 — конъюнкция 33 — стратегия вывода 93 Полное исчисление 93 — состояние 157 Полнота 108, 137 Порождающее правило 129 Последовательностный агент 11 Постановка задачи 23 Правила 59 — введения кванторов 66 — вывода 29 — единственности критической ссылки 190 — перехода 279 Правильно построенная формула 25 Предикат 52 Предикатный символ 55 Предметная переменная 52 Предусловие входных переменных 196