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

Форма префиксная, нормальная — формула атомарная — выражение вида Н(t1, t2,…, tm), где Н — m-местный предикат, ti — термы. [Толковый словарь по искусственному интеллекту

Структура падежная — структура текста, в которой используются глубинные падежи (падежи Филмора). Эти падежи не зависят от грамматических падежей какого-либо естественного языка, а отражают глубинные

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

Ссылка анафорическая — способ связывания между собой двух предложений в тексте, когда в первом предложении называется лицо, объект, явление и т. п., а во втором

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

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

Сопоставление с образом — процедура сравнения фрагмента знаний или описания с эталоном-образцом. Входит в состав процедуры поиска по образцу в базах знаний и используется при

Следствие логическое — факт, полученный в процессе логического вывода в формальной системе. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов.

Слот — основная структурная единица фрейма. С. представляет собой пару: (атрибут (имя слота) — значение). В качестве значения могут выступать константные факты, выражения, содержащие переменные,

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