Cтраница 2
Грамматика представляет собой формальную конструкцию, содержащую образования трех типов: терминальные или первичные символы, нетерминальные символы и правила подстановок или порождающие правила. Грамматика может использоваться либо в порождающем, либо в анализирующем режиме. Когда грамматика используется в порождающем режиме, она позволяет конструировать строки терминальных символов путем последовательного применения правил подстановок. Строка терминальных символов, построенная с помощью данной грамматики в порождающем режиме, называется предложением. Множество всех предложений, которые могут быть построены с помощью данной грамматики, называется языком этой грамматики. [16]
Для определения как этого алфавита в целом, так и его частей, относящихся к указанным четырем классам, служат так называемые порождающие правила, указанные ниже. [17]
Формулы определяются индуктивно с помощью следующих четырех пунктов, причем первый пункт представляет собой базис индукции, а остальные три пункта суть порождающие правила. [18]
Система SALT автоматически организует извлечение знаний каждой из указанных категорий в процессе интерактивного сеанса опроса эксперта, а затем преобразует полученные сведения в порождающие правила и формирует базу знаний о предметной области. Система SALT сохраняет первичные сведения, полученные от эксперта, в декларативной форме и таким образом при необходимости позволяет их скорректировать и обновить ранее созданную базу знаний. [19]
Другое критическое замечание Эйкинс касается не столько конкретной системы PUFF или EMYCIN, сколько функциональных возможностей систем, базирующихся на правилах, в общем, а следовательно, и всех оболочек, в которых порождающие правила используются в качестве основного языка представления знаний. Значительная часть экс-пертности - это знания о типовых случаях, т.е. довольно часто встречающихся в предметной области. Эксперты легко распознают известные типовые случаи и способны без особого труда классифицировать их в терминах идеальных прототипов даже при наличии определенных помех или неполных данных. Они интуитивно различают подходящие случаю или необычные значения исходных данных и принимают адекватное решение о том, как поступить в дальнейшем при решении проблемы. Для этого потребуется значительно более сложный формализм, который сведет на нет одно из главных достоинств использования порождающих правил в качестве основного средства принятия решений. [20]
Гегеля - высшая ступень развития, разрешающая противоречия предшествующих ступеней ( см. триада); 3) в химии - получение сложных соединений из более простых; 4) лингв, а) последний этап машинного перевода, при котором на основании выработанной ранее информации строится фраза того языка, на который переводится данный текст; в математической лингвистике - порождающие правила, синтезирующие текст; строятся для построения текста по заданным семантическим множителям; б) процесс образования звуков речи спец. [21]
![]() |
Снежинка после 3 - х итераций ( Джонг By Ким. [22] |
Порождающие правила для L-систем перечислены в алфавитном порядке. [23]
![]() |
Куст после 4 - х итераций.| Цветок после 3 - х итераций. [24] |
С помощью микрокоманды ветвления осуществляется построение деревьев и растений. Порождающие правила позволяют выполнять ветвления многократно не только от линии основного направления движения изображающей точки, но и от построенных ранее ветвей. На рис. 2.51 и рис. 2.52 изображены фракталы, построенные с помощью микрокоманды ветвления. [25]
Знания предметной области задачи могут быть представлены двумя различными способами. Порождающие правила представляют знания, которые используют факты и информацию с доски объявлений с тем, чтобы выполнить конкретную задачу. [26]
При этом порождающие правила можно рассматривать как правила преобразований метавы-ражений с заменой одного метасимвола при каждом применении правила, как показано на следующем примере. [27]
В этой программе ( см. главу 13) используется смешанное представление знаний, заимствованных из ранее созданной экспертной системы PUFF, предназначенной для диагностики легочных заболеваний. В архитектуре системы CENTAUR фреймы ( см. главу 6) и порождающие правила ( см. главу 6) объединены таким образом, что это значительно упрощает формирование пояснений. [28]
С другой стороны, если язык, описанный множеством порождающих правил, содержит выражение, для которого существует более одного дерева разбора, то такое множество порождающих правил называется неоднозначным. Построить неоднозначное множество порождающих правил, которое задает то же самое множество арифметических выражений, что и порождающие правила из разд. [29]
Мы делаем это только для того, чтобы указать, что для этих понятий в синтаксисе существуют порождающие правила, по которым они определяются в конечном счете как последовательности символов. У вас может быть некоторая уверенность, что интуитивное значение этих понятий хорошо согласуется с их синтаксической связью и значением, вкладываемым в них семантикой языка. [30]