Толковый словарь по искусственному интеллекту

ОГЛАВЛЕНИЕ

Д

действие action
декомпозиция задач problem decomposition
денотат denotatum
дерево вывода inference tree
дерево двоичное binary tree
дерево зависимостей dependency tree
дерево решений decision tree
дерево составляющих consistency tree
дерево целей goal tree
десигнат designator
дескриптор descriptor
дефолт default
дизъюнкт
дизъюнкт боковой
дизъюнкт пустой empty clause
дизъюнкт Хорна Horn clause
дизъюнкция disjunction
дискурс discourse
диссонанс когнитивный cognitive dissonance
доказательство конструктивное constructive proof
доказательство теоремы theorem proving
домен domain
доска объявлений blackboard

ДЕЙСТВИЕ
Единица процесса деятельности, активность, направленная на достижение определенной цели. Д. может быть внутренним, направленным на преобразование информации внутри интеллектуальной системы, или внешним, направленным во внешнюю среду (сообщение пользователю, движение манипулятора автономного робота и т.п.).

ДЕКОМПОЗИЦИЯ ЗАДАЧ
Разбиение задачи на подзадачи с последующим разбиением этих подзадач до получения базовых (элементарных) задач, для которых заранее известно решение. Д.З. применяется в интеллектуальных системах при создании систем автоматического программирования и при планировании поведения в пространстве задач. В более общем смысле Д.З. может служить для понимания размеренности решаемой задачи.

ДЕНОТАТ
Реальный объект, процесс, явление, ситуация и т.п. в физическом мире, для которого есть специальное именующее выражение в некотором языке. Это именующее выражение является десигнатом для данного денотата.

ДЕРЕВО ВЫВОДА
Представление процедуры логического вывода в виде дерева, вершинами которого являются или исходные формулы, или формулы, полученные в процессе вывода.

ДЕРЕВО ДВОИЧНОЕ
Представление процесса поиска в виде дерева, каждая вершина которого связана со значением ключа поиска таким образом, что все меньшие ключи сосредоточены в ее левом поддереве, а все большие - в правом.

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

ДЕРЕВО РЕШЕНИЙ
Структура, состоящая из узлов принятия решений и альтернатив, соответствующих этим узлам. Движение по Д.Р. может осуществляться случайным образом или на основании локальной информации об успехе, которая имеется в узлах. В результате успешного поиска на Д.Р. образуется путь, ведущий из корня дерева исходная ситуация к тому узлу дерева, которое соответствует целевой ситуации. В процессе движения по Д.Р. часто возникает необходимость возврата в ранее пройденные узлы, что осуществляется с помощью процедуры бектрекинга.

ДЕРЕВО СОСТАВЛЯЮЩИХ
Представление системы составляющих, корнем которой является полная составляющая, а висячими узлами являются точечные составляющие.

ДЕРЕВО ЦЕЛЕЙ
Специальный вид дерева в котором одна или несколько вершин соответствуют целям, а остальные вершины подцелями этих целей. Дуги показывают, как декомпозируются цели в подцелях.

ДЕСИГНАТ
Специальное именующее выражение для денотатов, существующих во внешнем по отношению к данной системе мира. Все значения системы о денотатах фиксируются в виде знаний о Д. В ряде случаев Д. называют уникальным именем, меткой, ключом.

ДЕСКРИПТОР
Выделенное слово (или сочетание), которое для понимающей тексты на естественном языке системы служит маркером. Этот маркер входит в левые части правил вывода, секвенций или продукций. При появлении маркера соответствующее правило срабатывает. Д. выбирается из специального словаря и ему искусственно придается смысловая однозначность, позволяющая с его помощью обозначать класс (синонимичных) понятий.

ДЕФОЛТ
Наиболее типичное значение атрибута, приписываемое объекту, если его значение для этого объекта указано.

ДИЗЪЮНКТ
Выражение вида B1 U B2 U ... U Bn ¬ A1 & A2 &...& Am, где (&,U,¬ ) соответственно символы конъюнкции, дизъюнкции и импликации. Д. читается так: "Если A1, и A2, и, Am, то B1, или B2, или ,..., Bn". Правая или левая часть импликации может быть пустой. В этом случае Д. интерпретируется иначе. Для Д. вида B1 U B2 U ... U Bn интерпретация заключается в утверждении существования факта B1 U B2 U ... U Bn ; а для Д. вида ¬ A1 & A2 &...& Am интерпретация состоит в утверждении, что (A1 & A2 &...& Am). Если в Д. пусты левая и правая часть импликации, то он называется пустым. Д. используется в методе логического вывода, основанном на использовании резолюций, а также в языке программирования Пролог.

ДИЗЪЮНКТ БОКОВОЙ
Дизъюнкт, который является либо элементом исходного множества, либо некоторым дизъюнктом, предшествующим в выводе рассматриваемому.

ДИЗЪЮНКТ ПУСТОЙ
Пустое множество, возникающее при исчерпании исходного множества, дизъюнктов в случае успешного завершения процесса вывода, опирающегося на принцип резолюции.

ДИЗЪЮНКТ ХОРНА
Дизъюнкт, содержащий не более одной положительной литеры.

ДИЗЪЮНКЦИЯ
Логическая операция (связка) для n> 2 выражений. Результирующее выражение ложно только тогда, когда ложны исходные выражения. Для обозначения Д. стандартно используется знак U (реже +).

ДИСКУРС
Анализ текста с точки зрения его коммуникативной функции и структуры. Теория дискурса изучает закономерность построения текстов, сочетаемость текстовых единиц и фрагментов текста.

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

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

ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ
Логическое следование данной формулы из данной совокупности выведенных ранее формул.

ДОМЕН
Помещенная в базу данных совокупность значений некоторой информационной единицы. Д. определяется своим атрибутом.

ДОСКА ОБЪЯВЛЕНИЙ
Способ управления параллельно протекающими асинхронными процессами решения задач, при которых информация о закончившихся процессах и полученных результатах "вывешивается" на Д.О., к которой имеют независимый доступ все процессы (и/или программисты), ожидающие нужных результатов. Д.О. часто используется в экспертных системах, интеллектуальных роботах и других интеллектуальных системах.

Ваш комментарий о книге
Обратно в раздел Наука