В интеллектуальных системах знания о предметной области представлены в виде декларативной модели формирования базы знаний и соответствующих правил вывода из нее:
В системах искусственного интеллекта знания - объект исследования:
В существующих базах знаний в полной мере реализованы все особенности знаний:
В языке науки допустима полисемия:
Вывод от целевого факта к данным - прямой:
Для любого унифицируемого конечного множества простых выражений S алгоритм унификации закончит свою работу и выдаст наиболее общий унификатор для S:
Доказательство от противного - обобщение метода резолюции:
Знания, получаемые с применением неизвестных правил, - эвристик, интуиции, здравого смысла и принятия решений на их основе - формализуемые:
Конъюнктивная нормальная форма содержит дизъюнкты:
Наличие фактов и описание событий может влиять на активность системы:
Отношение "причина - следствие" характеризует процедурное знание:
При унификации свободные переменные заменяют термами:
Резольвента - дизъюнкт:
Семантические сети обладают наглядностью представления знаний:
Сколемовская нормальная форма содержит кванторы существования:
Фактографические знания содержат только количественные характеристики объектов:
Формы организации вывода зависят от формы представления знаний:
Фрейм - ситуации используются для обозначения поведения:
Фреймовое представление отражает иерархическую структуру:
Эвристики служат для описания формализованной модели знаний: