Метаправила
Cтраница 3
Согласно Торне, большая часть трансформационных правил может рассматриваться как метаправила в том смысле, что они скорее оперируют с другими правилами с тем, чтобы дать производные правила, чем с описаниями структур с тем, чтобы дать новое описание структуры. Он использует расширенную сеть переходов, содержащую как исходные правила построения глубинной структуры, так и эти производные правила, в качестве грамматической таблицы, которая направляет анализирующий алгоритм, но не может таким способом обработать трансформации, дающие инверсии в порядке слов, или трансформации для сочинительных конструкций. Вместо этого он добавляет к своему анализирующему алгоритму эти случаи как исключения. [31]
Стратегические знания отделены от собственно медицинских и представлены в виде метаправил. [32]
 |
Взаимодействие задачи со своими метаправилами. [33] |
На рис. 7.7 представлена на высоком уровне абстракции задача и ее метаправила. Предпосылка анализирует базу знаний или историю решения задачи с целью определения данных и гипотез с определенными свойствами. Действие, ассоциированное с предпосылкой, либо задает вопрос пользователю, либо вызывает некоторую задачу для того, чтобы проверить рассматриваемую гипотезу. Метаправила, связанные с задачей, могут описывать последовательность шагов, используемых для решения задачи, или указывать альтернативные стратегии для достижения цели. [34]
Разумеется, что в общем случае не все правила выбора того метаправила, которому следует подчиняться, могут в результате сводиться к единственному метаправилу. Для разрешения конфликтов такого рода следует задать еще один уровень интерпретатора метаправил, и есть опасность, что такой процесс может продолжаться до бесконечности. [35]
То из базы знаний или истории решения проблемы, что позволяет метаправилу успешно выполнить данную задачу. [36]
Представленный в модели вид управления должен быть более строгим, чем использование метаправил, аналогичных тем, что имеются в системе MYCIN. На управление возлагаются более широкие функции, чем просто установление порядка применения отдельных правил, специфических для предметной области. Интеграция сформированных таким образом фрагментов программы является довольно сложным процессом, которым мы сейчас заниматься не будем, поскольку главное, что нас интересует, как из декларативного описания модели предметной области можно извлечь информацию для формирования пояснений. [37]
Таким образом, в зависимости от текущей цели и ассоциированных с ней метаправил на этапе выборки будут отобраны те или другие правила. Метаправила в TEIRESIAS имеют весьма простой синтаксис. Однако в связи с тем, что метаправила оперируют не с объектами предметной области, для их интерпретации потребовалось ввести новые ( по сравнению с теми, которые используются в правилах) предикатные функции и атрибуты. [38]
Поскольку Q приводит к неудаче, not ( Q) 2) выполняется согласно метаправилу NF, и ПРОЛОГ ответит да в знак того, что справедливо отрицание Q. Отсечение, /, предотвращает обращение к дизъюнкту / 4 /, a fail означает, что цельпо. Поэтому заголовок правила / 3 /, not ( 3), приводит к неудаче, и ПРОЛОГ выдаст ответ нет, означающий, что предикат Q выполним, тогда как not ( Q) - нет. [39]
Таким образом, использованный в MYCIN глобальный режим управления, организующий обратную цепочку логического вывода, заменен в NEOMYCIN выполнением метаправил, которые полностью определяют поток управления в программе. [40]
К-база знании - содержит множество исходных фактов, отображающих постановку решаемой НФЗ, множество ПП данной ПО, а также множество метаправил. Метаправила отображают процедурные знания о том, какие процедуры можно совершать над ПП, хранящимися в БЗ; знания о порядке выбора и выполнения ПП, образующих подмножество активизируемых, или готовых для выполнения ПП; знания о порядке разрешения конфликтов; знания о модификации выполненных ПП. [41]
Знания о стратегиях структурируются в терминах задач, которые соответствуют целям и подцелям метауровня, и в терминах правил метауров-ня ( метаправил), рассматриваемых как методы для достижения этих целей. Метаправила, вызывая некоторые задачи, в конце концов вызывают интерпретатор базового уровня, который преследует цели проблемной области. [42]
Разумеется, что в общем случае не все правила выбора того метаправила, которому следует подчиняться, могут в результате сводиться к единственному метаправилу. Для разрешения конфликтов такого рода следует задать еще один уровень интерпретатора метаправил, и есть опасность, что такой процесс может продолжаться до бесконечности. [43]
Представление знаний метауровня как метаправил систем, основанных на правилах, было предложено Девисом в TIERESIAS [9], системе, созданной для работы в роли ассистента при разработке высокопроизводительных программ, Метаправила в системе TIERESIAS оперировали над множеством правил вывода предметного уровня и давали заключение полезности этих правил в данной ситуации. Таким образом, они представляли стратегии для использования знаний предметного уровня: какие правила должны по определению быть бесполезными в данной ситуации, какие правила нужно попробовать раньше других для вывода новой информации. [44]
Если программа располагает исчерпывающими знаниями, она способна сформулировать вопрос ( а точнее, высказывание, которое стоит за ним) как логическое следствие текущего состояния проблемы, стратегических знаний, заключенных в метаправилах, знаний о предметной области и одной из текущих целей. [45]
Страницы: 1 2 3 4