Исчисление ситуационное
Исчисление ситуационное — исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. Каждая ситуация задается описанием, в
Исчисление ситуационное — исчисление предикатов, в котором все или некоторые предикаты снабжены метками, привязывающими их к тем или иным ситуациям. Каждая ситуация задается описанием, в
Мозг искусственный — гипотетическое устройство, способное заменить мозг человека и (или) реализовать все функциональные свойства, известные о мозге. В искусственном интеллекте под И.М. понимают повторение
Знания прагматические — 1.Знания о способах решения задач в заданной предметной области. В естественном языке знания о прагматической компоненте текстов. [Толковый словарь по искусственному интеллекту
Закон исключенного третьего — один из базовых законов рассуждений, характерных для традиционных формальных систем. Он утверждает, что выражение (A V A) является тождественно истинным. З.И.Т.
Доказательство теоремы — логическое следование данной формулы из данной совокупности выведенных ранее формул. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А.
Доказательство конструктивное — вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. Таковым не является, например, широко распространенный способ доказательства
Диссонанс когнитивный — диссонанс, возникающий у субъекта, когда он располагает одновременно двумя противоречивыми знаниями об одном и том же объекте, субъекте, ситуации или явлении. Д.К.
Дискурс — анализ текста с точки зрения его коммуникативной функции и структуры. Теория дискурса изучает закономерность построения текстов, сочетаемость текстовых единиц и фрагментов текста. [Толковый
Дизъюнкт хорна — дизъюнкт, содержащий не более одной положительной литеры. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио
Дизъюнкт боковой — дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому. [Толковый словарь по искусственному интеллекту / Авторы-составители А.Н.