Промышленные автоматизированные системы /Automation of construction production and building materials industry

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

Модель пользователя — совокупность знаний об особенностях работы пользователя с системой, его намерениях, целях и требованиях, которая хранится в памяти интеллектуальной системы. М.П. помогает системе

Модель поведения — модель (техническая или программная), воспроизводящая некоторые виды поведения объектов при определенных условиях внешней среды (преодоление препятствий, реакция на внешние воздействия, выбор решений

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

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

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

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

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

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

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