Порождающие правила

Cтраница 3

Сложность поиска решения и выявления различий между прецедентами в значительной степени зависит от используемых термов индексации. По сути, прецеденты в базе прецедентов конкурируют, пытаясь привлечь к себе внимание модуля извлечения, точно так же, как порождающие правила конкурируют за доступ к интерпретатору. В обоих случаях необходимо использовать какую-то стратегию разрешения конфликтов. [32]

Программа использует эти базовые знания в процессе диалога с экспертом для извлечения дополнительных, более детальных знаний. Знания о предметной области нужны программе и для того, чтобы преобразовать информацию, полученную с терминала в процессе диалога, в исполняемый код - порождающие правила или таблицу состояний. [33]

Комплекты правил интерпретируются подобно тому, как это делается с обычными программными модулями, но имеется ряд отличий. Одной из таких отличительных особенностей является предоставляемая пользователю возможность указать порядок выполнения ( например, циклический), если он захочет рассматривать свои правила не как обычные операторы программы, а как порождающие правила, запускаемые условиями в базе данных. Эта особенность может быть использована во многих приложениях, например для имитации систем, основанных на правилах. При использовании стандартной последовательности вычислений комплекты правил выполняются как обычные процедуры, причем правила выполняются по очереди. [34]

Хотя это определение и нельзя признать достаточно строгим, в нем выражена главная идея - некоторый метод можно отнести к группе методов с ограничением роли в том случае, если те управляющие знания, которые, как правило, используются этим методом, не очень тесно связаны со спецификой решения задачи. Можно, конечно, возразить, что в таком случае метод эвристической классификации, который используется в MYCIN, также относится к этой группе, если не обращать внимание на тот факт, что в MYCIN используются порождающие правила. [35]

Нелишне напомнить, что именно компоненты прототипа представляют большую часть знаний объектного уровня, специфичных для определенной предметной области, поскольку в структуре этого типа содержится информация о лабораторных исследованиях, результаты которых должны быть использованы при диагностировании того или иного конкретного заболевания. Эти компоненты являются значениями слотов прототипов, представляющих заболевания, и в то же время имеют собственную внутреннюю структуру и являются прототипами со своими собственными правами. Таким образом, оказывается, что в составе прототипа имеются не только порождающие правила, но и другие прототипы. Можно с полным правом утверждать, что система прототипов имеет по крайней мере двухмерную организацию в дополнение к иерархической организации, представленной в явном виде в терминах типов и подтипов заболеваний. Структуры данных, которые могут быть включены сами в себя, принято называть рекурсивными. [36]

Передача информации, направляемой знаниями, проявляется в виде неочевидных логических связей, которые трудно классифицировать, но которые характерны для способа мышления эксперта. Например, врач не оставит без внимания тот факт, что пациент недавно перенес хирургическую операцию, поскольку, скорее всего, он подвергся анестезии, а это может косвенно сказаться на формировании диагноза. В логических рассуждениях такого типа используются фоновые знания о предметной области, а не те порождающие правила, с которыми мы связываем свое представление об экспертной системе медицинской диагностики. Ниже, в главе 12, мы обсудим дифференциацию разных видов знаний. [37]

ВИД заменяет собой произвольный вид. В синтаксисе есть много порождающих правил, содержащих ВИД, которые порождают бесконечное число различных видов. ВИД - это так называемое метапонятие; прописные буквы выражают тот факт, что для него существуют отдельные порождающие правила. [38]

Практически все компоненты системы с доской объявлений имеют ярко выраженную модульную структуру. Это в равной мере относится и к структурам данных самой доски объявлений, и к источникам знаний, и к средствам управления режимом работы системы. Например, существует множество способов представления элементов данных доски объявлений, в источниках знаний можно использовать множество разных форматов представления знаний ( порождающие правила, программный код на языке LISP и т.п.), по-разному можно настраивать процесс активизации источников знаний, планирования выполнения заявок. [39]

Небольшие отличия имеет алгоритм распознавателя и таблица порождающих правил. Отыскивая эту фразу и выполняя редукцию, распознаватель не обращает внимания на нетерминальные символы приводимой первичной фразы. Нетерминальные символы учитываются только семантическими подпрограммами, если это необходимо. Поэтому порождающие правила, в правых частях которых имеются лишь нетерминальные символы, вообще никогда не используются распознавателем, и их можно не включать в таблицу порождающих правил распознавателя. В правых частях остальных порождающих правил все различные нетерминальные символы часто можно заменить одним символом, например символом N, обозначающим произвольный нетерминальный символ. [40]

Процесс приобретения знаний с использованием модели предметной области. [41]

Включение в систему ONCOCIN нового протокола влечет за собой формирование иерархии, которая представляет его компоненты, связывание подходящих порождающих правил с новыми объектами и заполнение таблицы конечных состояний, которая определяет порядок назначения определенных компонентов курса лечения. Программа OPAL формирует элементы нового протокола в процессе собеседования с экспертом с помощью средств графического интерфейса. При этом полученные знания преобразуются сначала в промежуточную форму представления, а затем транслируются в формат, используемый в системе ONCOCIN. На последней стадии формируются соответствующие порождающие правила. [42]

Прецеденты напоминают книги ( конечно же, не из разряда беллетристики) тем, что содержат определенную специфическую информацию, вставленную в некоторый контекст. Содержимое прецедента - это знание, а контекст описывает некоторое состояние внешнего мира, в котором это знание применяется. Однако прецедент содержит знание в такой форме, которая может быть воспринята программой. Другими словами, знания, содержащиеся в описании прецедента, готовы к употреблению в том же смысле, в каком порождающие правила готовы к применению. [43]

Каждый прототип имеет слоты для некоторого набора компонентов, которые содержат указатели на субфреймы знаний на объектном уровне. В каждом прототипе заболеваний органов дыхания существуют слоты, представляющие результаты анализов легких, причем каждый из этих слотов также является фреймом с собственными правами и собственной внутренней структурой. Например, фрейм OBSRTUCTIVE AIRWAYS DESEASE ( заболевания верхних дыхательных путей) включает 13 компонентов, каждый из которых имеет собственное наименование, характеризуется диапазоном допустимых значений и степенью ( мерой) важности. В дополнение к этому фрейм компонента часто содержит специальный слот, называемый inference rules ( правила вывода), в котором хранятся порождающие правила формирования логического вывода на основе значения этого компонента. Если компонент не содержит такого рода правил или правило по каким-либо причинам не может обработать значение компонента, программа обращается с вопросом к пользователю. [44]

Третья модель - порождающая, была использована как база для создания САПР, которая помогает проектировщику на ранних стадиях проектирования. Процесс проектирования обычно начинается с описания функциональных требований. Например, для нас требуется что-то, с помощью чего мы можем пить чай - есть функциональное требование. У нас нет средств для манипулирования таким описанием в математической форме. Однако порождающие правила дают возможность отображать объект проектирования из функционального пространства в опознавательное. Для этого необходимо создать цепочку этих правил. [45]

Страницы: 1 2 3 4