Словарь

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

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

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

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

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

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

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

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

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

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