|
<<< ΛΛΛ >>>
ГИПЕРСОБЫТИЕ
Специально организованное описание типовой ситуации (кражи, драки, покупки в магазине и т.п.). Г. может представляться в базах знаний различными способами, например, в виде сценариев.
ГИПОТЕЗА
Частично обоснованная закономерность знаний, или для связи между различными эмпирическими фактами, или для объяснения факта или группы фактов. В интеллектуальных системах Г. порождаются в процессе обучения систем (в частности, при обучении на примерах).
ГИПОТЕЗА КОМПАКТНОСТИ
Предположение о том, что образы в пространстве признаков группируются из изображений (точек пространства), которые могут быть отделены друг от друга гиперповерхностями простого вида. Гипотеза Компактности используется при распознавании образов, когда применяется принцип разделения.
ГЛУБИННАЯ СТРУКТУРА (предложения)
См. Структура глубинная.
ГРАММАТИКА
Совокупность правил формирования правильных предложений в рамках рассматриваемого языка.
ГРАММАТИКА АВТОМАТНАЯ
Формальная грамматика, у которой правила вывода имеют вид
b1A1 ® b2A2, b1A1 ® b2
где A1, A2 - нетерминальные символы; b1, b2 - терминальные символы. Каждая Г.А. порождается некоторым конечным автоматом. И каждый конечный автомат задает некоторую Г.А.
ГРАММАТИКА КОНТЕКСТНО-ЗАВИСИМАЯ
См. Грамматика контекстно-связанная.
ГРАММАТИКА КОНТЕКСТНО-СВОБОДНАЯ
ГРАММАТИКА КОНТЕКСТНО-СВЯЗАННАЯ
Формальная грамматика, для которой существуют такие цепочки что и имеют место правила и К.С. обладают свойством сохранения длины цепочки. Цепочки, получаемые после применения любого правила, либо сохраняют длину исходной цепочки, либо увеличивают ее. Г.К.С. порождаются линейно-ограниченными автоматами. И для каждой Г.К.С. может быть построен воспроизводящий ее линейно-ограниченный автомат.
ГРАММАТИКА МАТРИЧНАЯ
Формальная грамматика, у которой в качестве правил вывода выступают фиксированные по порядку применения совокупности правил вывода обычных грамматик. Эти совокупности, называемые матричными правилами вывода, могут пересекаться между собой по общим правилам вывода, входящим в матричные правила вывода. Г.М. используются при описании параллельных процессов и языков программирования для устройств, обеспечивающих параллельное выполнение программ.
ГРАММАТИКА НЕУКОРАЧИВАЮЩАЯ
См. Грамматика контекстно-связанная.
ГРАММАТИКА ПАДЕЖНАЯ
Грамматика предикатно-аргументной структуры предложения. Аргументами такой структуры являются имена, для которых можно указать глубинные падежи (обобщенные отношения между содержанием глагола и содержанием той или иной из именных групп).
ГРАММАТИКА СЕТЕВАЯ
Грамматика расширенных сетей переходов - подкласс трансформационных грамматик. В настоящее время под Г.С. понимается упорядоченная тройка Fs = < V,Z N >, где V - описание лексиконов обрабатываемого языка; Z - описание нестандартных функций, повышающих эффективность обработки; N - описание расширенной сети переходов (специального графа, с помощью которого представляется анализатор языка).
ГРАММАТИКА ФОРМАЛЬНАЯ
Четверка <S, A, B, P>, в которой S - аксиома Г.Ф.; A - множество нетерминальных символов; B - множество терминальных символов; P - правила вывода. Объектами, с которыми работает Г.Ф., являются цепочки, состоящие из терминальных и нетерминальных символов. Правила вывода имеют вид, где и цепочки символов. При этом содержит хотя бы один нетерминальный символ. Функционирование Г.Ф. всегда начинается с цепочки, состоящей из единственного символа S. Применение правила к цепочке заключается в замене всех вхождений (или только самого левого вхождения) в на . Процесс заканчивается, когда ни одно из правил вывода к данной цепочке неприменимо. Такие заключительные цепочки входят в язык, порождаемый данной Г.Ф. В синтаксически правильных Г.Ф. в язык входят только те цепочки, которые состоят полностью из терминальных символов. Г.Ф. широко используются в синтаксических моделях для естественных языков и в лингвистических процессорах. Они являются частным случаем формальных систем. В зависимости от ограничений, накладываемых на структуру правил вывода, выделяются различные типы Г.Ф.
ГРАФ
Пара (X, R), где X - множество, элементы которого переименованы и называются вершинами; R - бинарное отношение, заданное на X. Если между вершинами x1 О X и x2 О X существует отношение R, то тройка x1 R x2 называется ребром Г. Если отношение R несимметрично, то x1 R x2 называется дугой Г. Г. с ребрами называется неориентированным, а с дугами - ориентированным. Г. находят широкое применение в моделях интеллекта искусственного.
ГРАФИКА ДИНАМИЧЕСКАЯ
Направление в машинной графике, которое разрабатывает приемы и процедуры для воспроизведения на экране дисплея движущихся сцен. В Г.Д. используются многие средства, разработанные в мультипликационном (анимационном) кино, а также ряд приемов математического характера.
ГРАФИКА КОГНИТИВНАЯ
Направление в машинной графике, которое связывает представления, возникающие на экране дисплея, с когнитивными процессами, протекающими при решении задач. Г.К. позволяет как бы визуализировать процесс решения. При достаточно продуманной системе визуализации образы, возникающие в динамике на экране, могут помочь пользователю, решающему задачу в интерактивном режиме, увидеть те закономерности или пути решения задачи, которые ранее для него не были доступны. С развитием Г.К. связывают большие надежды на повышение эффективности решения задач, так как мышление пользователя может существенно ускорить процесс поиска решения и рождать новые пути его поиска. Г.К. требует специальных представлений в базе знаний соответствующих образам на экране дисплея, и процедур соотнесения этих представлений с традиционными когнитивными структурами.
ГРАФИКА МАШИННАЯ
1. Совокупность программных средств для выдачи на дисплей изображений представления в графической форме промежуточных и окончательных результатов решения задач и для работы с графическими изображениями.
2. Направление, занимающиеся разработкой этих средств. действие 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
<<< ΛΛΛ >>>
Формула замкнутаЯ выражение в формальной системе в котором
Язык предствлениЯ знаний способ описания моделей знаний в системах представления знаний
Эти подходы к выявлению субъективных знаний используются в инженерии знаний при приобретении знаний
Elation отношение антитранзитивное antit
|
