Информационные технологии /technologies information ТК 022

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

Мозг искусственный — гипотетическое устройство, способное заменить мозг человека и (или) реализовать все функциональные свойства, известные о мозге. В искусственном интеллекте под И.М. понимают повторение

Знания прагматические — 1.Знания о способах решения задач в заданной предметной области. В естественном языке знания о прагматической компоненте текстов. [Толковый словарь по искусственному интеллекту

Закон исключенного третьего — один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V A) является тождественно истинным. З.И.Т.

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

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

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

Дискурс — анализ текста с точки зрения его коммуникативной функции и структуры. Теория дискурса изучает закономерность построения текстов, сочетаемость текстовых единиц и фрагментов текста. [Толковый

Дизъюнкт хорна — дизъюнкт, содержащий не более одной положительной литеры. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио

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