Словарь

Формула замкнутая — выражение в формальной системе в котором либо нет переменных, либо переменные являются связанными квантификаторами. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

Фокус — в искусственном интеллекте совокупность знаний, активизируемая при формировании или интерпретации сообщения на естественном языке. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин,

Управление ситуационное — способ управления сложными техническими и организационными системами, при котором с помощью экспертной информации строится классификатор, позволяющий разбивать все наблюдаемые ситуации на классы

Унификатор наибольший общий — унификатор r, обладающий тем свойством, что для всякого другого унификатора q для того же множества выражений существует такая подстановка t, что

Универсум эрбрана — специальная область, на которой проверяется невыполнимость множества дизъюнктов (клауз) при реализации процедур вывода типа метода резолюций. [Толковый словарь по искусственному интеллекту /

Универсум — область, на которой определены значения предиката. Из этой области берутся значения для означивания переменных, входящих в предикат. Для многоместных предикатов У. есть декартово

Суждение — выражение, связывающее между собой субъект и предикат с помощью связки «есть». С. изучается в логике. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.

Сценарий — семантическая сеть, в которой в качестве отношений используются каузальные отношения или отношения типа «действие-результат», «действие-цель», «орудие-действие» и т. п. [Толковый словарь по искусственному

Творчество машинное — направление в искусственном интеллекте, в рамках которого создаются модели и способы генерирования на ЭВМ аналогов результатов творческой деятельности человека. Сюда относятся программы

Теория аксиоматическая — логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода — достоверными. [Толковый словарь по искусственному интеллекту / Авторы-составители