Системы информационные /system of information

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

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

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

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

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

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

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

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

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

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