<<<     ΛΛΛ     >>>   

СЕТЬ СЕМАНТИЧЕСКАЯ ИНТЕНСИОНАЛЬНАЯ
Семантическая сеть, в которой отражены интенсиональные знания о предметной области. Эти знания относятся к общим законам области и оперируют не константными фактами, а высказываниями об области, содержащими переменные, которые могут означиваться в конкретных ситуациях. При фреймовом представлении С.С.И. соответствует фрейм-прототип.

СЕТЬ СЕМАНТИЧЕСКАЯ ЭКСТЕНСИОНАЛЬНАЯ
Семантическая сеть, в которой отражены экстенсиональные знания о конкретной ситуации в предметной области. В С.С.Э. все вершины сети соответствуют конкретным объектам, а связи между ними конкретным связям, которые наблюдаются в описании ситуации. При фреймовом представлении С.С.Э. соответствует фрейм-экземпляр.

СЕТЬ СОЕДИНИТЕЛЬНАЯ
Сеть, позволяющая соединить процессор произвольно заданным образом, в том числе каждый с каждым.

СИЛЛОГИЗМ
Специальная форма умозаключения от общего к частному. С. представляет собой заключение, следующее из двух посылок, содержащих утверждения о соотношении объемов двух классов или о принадлежности некоторого элемента определенному классу. Примером С. может служить следующее умозаключение: Все хищники питаются мясом Волк - хищник Волк питается мясом

СИМД-АРХИТЕКТУРА
Архитектура вычислительной системы с несколькими одинаковыми параллельно работающими процессорами, каждый из которых выполняет один и тот же поток команд над своими данными. СИМД-архитектура часто используется в матричных процессорах.

СИНТАКСИС
1. Способы соединения слов в словосочетания и простые предложения и простых предложений - в сложные.
2. Раздел языкознания, изучающий способы соединения слов и предложений, вместе с морфологией составляющий грамматику.
3. Синтаксис текста - то же, что схема дискурса или неративная (повествовательная) схема; строение текста.

СИНТЕЗ ПРОГРАММ АВТОМАТИЧЕСКИЙ
Автоматическое построение программ по исходным условиям задачи. Формально задача С.П.А. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату Р (х), вычислить значение у, удовлетворяющее предикату R (х, у). Здесь х, у - конечные множества входных и выходных переменных программы. Отображение Q = < P (x), R(x, y) > должно при этом содержать достаточно информации для синтеза нужной программы. Различают три подхода: индуктивный синтез программ, дедуктивный синтез программ или трансформационный синтез программ.

СИНТЕЗ ПРОГРАММ ДЕДУКТИВНЫЙ
Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. В ходе реализации С.П.Д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.

СИНТЕЗ ПРОГРАММ ИНДУКТИВНЫЙ
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. С.П.И. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.

СИНТЕЗ ПРОГРАММ ТРАНСФОРМАЦИОННЫЙ
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. С.П.Т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.

СИНТЕЗ ТЕКСТА
См. Генерация текста.

СИСТЕМА АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ (САПР)
Комплекс средств, предназначенных для помощи инженеру-проектировщику в создании новых технических объектов. САПР включает большое количество расчетных модулей, базу знаний средств ведения документации и технического черчения.

СИСТЕМА АКСИОМАТИЧЕСКАЯ
Система рассуждений, в основе которой лежат аксиомы. Если аксиомы являются логическими (т. е. тождественно истинными вне зависимости от предметной области), то С.А. совпадает с формальной системой. Если среди аксиом имеются аксиомы, справедливые только в данной предметной области, то С.А. применима только в этой области. Часто С.А., у которой имеются предметные аксиомы, называют квазиаксиоматической системой.

СИСТЕМА ВОПРОСНО-ОТВЕТНАЯ
Совокупность программ, позволяющая реализовать вопросно-ответное отношение для пары "пользователь - ЭВМ". С.В.О. обеспечивает поиск релевантных данных и знаний по поступившему в систему вопросу, из которых формируется ответ пользователю. С.В.О. могут использовать вопросы и ответы, формулируемые на естественном языке, ограниченном естественном языке или на специальном формальном языке общения.

СИСТЕМА ДЕДУКТИВНАЯ
Аксиоматическая система, в которой имеет место теорема дедукции, обеспечивающая вывод всего множества выражений, которое допускается аксиомами и правилами вывода (и только ими). При этом предполагается, что выводимые выражения обладают априорным свойством (например, тождественной истинностью или истинностью с оценкой правдоподобия не менее заданной).

СИСТЕМА ДОВЕРИЯ
Совокупность процедур, используемая в системах объяснения экспертных систем. С.Д. применяется для того, чтобы повысить уровень доверия пользователя к результатам, полученным экспертной системой. Для этого С.Д. выдает пользователю ряд дополнительных аргументов в пользу того решения, которое было получено системой, при условии, что эти аргументы не были непосредственно использованы в процессе получения решения.

СИСТЕМА ЕСТЕСТВЕННО-ЯЗЫКОВАЯ
Интеллектуальная система, способная воспринимать тексты или речь на ограниченном естественном языке, понимать их и функционировать в соответствии с информацией, содержащейся в тексте. При необходимости С.Е.Я. может формировать ответные сообщения, связанные с введенным в них текстом. (См. также Интерфейс естественно-языковый.)

СИСТЕМА ИНДУКТИВНАЯ
Модель в которой используется индуктивная логика или индуктивное обобщение (или и то и другое).

 <<<     ΛΛΛ     >>>   

Правила де моргана правила
Язык автоматный множество цепочек символов множество символов
Отношение временное отношение
Толковый словарь по искусственному интеллекту современной науки 4 исчисление
Архитектура конвейернаЯ архитектура вычислительной системы