Гиперплоскость разделяющая 169 Гистограмма 88, 167 Грамматики формальные 35 Граф иерархический (/-граф) 205 [c.280]
Задача генерации всех возможных сценариев может быть решена различными методами. Все они, так или иначе, сводятся к перебору дуг графа, описывающего создавшуюся проблему. Поэтому решение задачи могло бы быть дано и в терминах теории графов. Однако с точки зрения перспектив решения подобных задач для графов со значительно более сложной структурой (например, когда на элементы графа накладываются различные условия) более перспективным может оказаться использование аппарата формальных грамматик. [c.186]
Хорошо известно, что порождающие грамматики можно описывать как направленными графами, так и множеством грамматических правил, причем оба эти описания идентичны и взаимно однозначно отображаются одно в другое. Поэтому, если имеется направленный граф, описывающий возможные технологические последовательности выполнения операций, то из него можно автоматически получить порождающую грамматику, описывающую этот процесс. С ее помощью можно сгенерировать все возможные (допустимые) сценарии решения проблемы. Рассмотрим понятие языка и один из методов описания формальных грамматик. [c.186]
Языки и формальные грамматики. Интуитивно, язык - это множество предложений или последовательностей слов. Каждое предложение формируется из словаря языка в соответствии с заданными правилами формирования. Правила формирования называются грамматикой языка и определяют его структуру/Однако такое ин- [c.186]
Для того, чтобы описать формальный язык, как и любой язык, в том числе и естественный, необходимо задать его алфавит, словарь и правила построения предложений, т.е. грамматику языка. [c.189]
Формальной грамматикой назовем упорядоченную четверку [c.192]
Формальная грамматика, которая для любой предъявленной цепочки умеет решать, является эта цепочка правильной или нет, называется распознающей. [c.192]
Формальная грамматика, которая умеет строить любую правильную цепочку, давая указания об ее строении, не генерируя при этом ни одной неправильной цепочки, называется порождающей. [c.192]
Пример. Формальную грамматику G= (VN, VT, P, S) можно задать следующими правилами Р. [c.192]
Теперь можно ввести формальное определение языка порождаемого грамматикой. Язык G, порождаемый грамматикой G"=(VN, VT,P,S), это совокупность всех терминальных цепочек, выводимых из начального символа S в грамматике Сут.е. язык определяется следующим множеством [c.193]
Как обычно в формальных грамматиках, под символом понимается минимальная по числу знаков строка, используемая в данной грамматике или в описываемом ей языке, которая имеет самостоятельное значение. [c.201]
Сложность задач, возникающих в конкретных разработках при описании реального мира (системы и среды) на естественном языке, вызвала к жизни некоторые новые формальные методы и концепции для анализа процессов принятия приближенных решений, включающих теорию расплывчатых множеств. Введенное Л. Заде в 1965 г. в небольшой статье в журнале Информация и управление понятие нечеткого множества нашло применение в теории конечных автоматов, формальных грамматиках, языках, теории алгоритмов, оптимальном управлении, принятии решений, логике, распознавании образов получило отклик в таких чисто математических областях, как общая алгебра, теория групп, топология, а также оказалось очень полез-16 [c.16]
Возможности более полного отражения реального мира в модели проблемной среды, более широкого введения семантических связей между понятиями и учета прагматики среды открываются в рамках подхода, известного под названием ситуационного управления [16—19]. В этом подходе для описания модели применяется специальный модельный язык, а в качестве процедур решения используется аппарат формальных трансформационных грамматик. В основе данного подхода лежит автоматический анализ решающей системой некоторого множества решений задач требуемого класса. На основе формализованного аппарата обобщения система формирует модель проблемной среды в виде некоторого множества описаний классов ситуаций и соответствующих им решений. Собственно процесс решения задачи сводится тогда к отнесению текущей конкретной ситуации к одному из априорно сформированных классов и применению к ней решения, соответствующего этому классу. [c.371]
Приведенных примеров, по-видимому, достаточно. Отметим только, что исчисление предикатов и формальные грамматики, широко используемые в языках программирования, суть конструктивные формальные системы. Но в общем случае они не являются разрешимыми формальными системами. [c.35]
Наконец, модели в виде систем продукций охватывают широкий класс различных порождающих моделей, в который входят такие известные модели, как формальные грамматики, исчисления высказываний и предикатов, сетевые модели и многие другие. Во всех известных на сегодня моделях ситуационного управления для решения задачи пополнения использовались именно продукционные системы. [c.98]
Формальный аппарат решения задачи планирования бизнес-процесса основан на введении специальной атрибутной правосторонней порождающей грамматики для бизнес-процесса, назначение которой заключается в умении строить любые правильные цепочки (сценарии) выполнения бизнес-процесса (т.е. возможные последовательности необходимых для выполнения процесса бизнес-функций), не генерируя при этом ни одной неправильной цепочки. [c.229]
К формализованным относятся методы генерации сценариев, основанные на автоматической или автоматизированной процедуре. Примером такого подхода является генерация сценариев на основе когнитивных карт и с использованием формальных грамматик [18, 19]. [c.30]
Формальное определение языка позволило ввести их классификацию в соответствии с теми ограничениями, которые наложены на множество Р грамматики языка. Наибольшее распространение получила классификация Хомского [6.12], который разделил языки в соответствии с описывающими их грамматиками на четыре типа. [c.194]
Хомский Н.О. О некоторых формальных свойствах грамматик. Кибернетический сборник №5. М. Иностранная литература. 1962. [c.569]
Теоретическую основу моделей представления знаний (а также основу разработки большинства компьютерных языков) заложил Н. Хомский, который предложил новую систему понимания языка, называемую формальной грамматикой, которая позволяет описать структуру фраз, текстов. [c.69]