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

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

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

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

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

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

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

Теория речевых актов — раздел лингвистики, описывающий, как в текстах на естественном языке отражаются мотивы и цели говорящего. В Т.Р.А. большую роль играют внелингвистические компоненты

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

Синтез программ дедуктивный — автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования

Синтез программ автоматический — автоматическое построение программ по исходным условиям задачи. Формально задача С.П.А. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату