Механизм - логический вывод
Cтраница 4
Системы продукций с прямыми выводами среди систем, основанных на использовании знаний, имеют наиболее давнюю историю, поэтому они являются в некотором смысле основополагающими. Эти системы включают три компонента: базу правил, состоящую из набора продукций ( правил вывода), базу данных, содержащую множество фактов, и интерпретатор для получения логического вывода на основании этих знаний. База правил и база данных образуют базу знаний, а интерпретатор соответствует механизму логического вывода. Вывод выполняется в виде цикла понимание-выполнение, причем в каждом цикле выполняемая часть выбранного правила обновляет базу данных. В результате содержимое базы данных преобразуется от первоначального к целевому, т.е. целевая система синтезируется в базе данных. [46]
Продукционная модель ( все еще) чаще других применяется в промышленных экспертных системах. Она привлекает разработчиков своей наглядностью, высокой модульностью, легкостью внесения дополнений и изменений и простотой механизма логического вывода. [47]
Как уже было подчеркнуто в главе 1, часть программы, которая содержит представление знаний, касающихся определенной предметной области, - база знаний, как правило, отделена от той части программы, которая занимается формулировкой соображений, - машины логического вывода. Такое разделение позволяет вносить изменения ( конечно, в разумных пределах) в одну часть программы, не меняя другой. В частности, можно добавлять в базу знаний новую информацию, расширяя имеющиеся в системе знания, или настраивать механизм логического вывода, повышая его эффективность, и при этом не модифицировать программный код системы. [48]
Интенсивно развиваются новые информационные технологии1 - 2, фундаментальной концепцией которых является представление и обработка знаний. Под знаниями понимают определенные отображения выявленных закономерностей, присущих той или иной предметной области. Роль своеобразного переводчика представлений базы знаний в язык, понятный ЭВМ, выполняет интерпретатор базы знаний, выполняющий функции механизма логического вывода. Перевод - это отображение представлений того, что необходимо сделать, в представление, как выполнить. Второй фундаментальной концепцией новой информационной технологии является использование базы знаний, а не базы данных и ее интерпретатора, реализованных в виде программных и / или аппаратных средств. База знаний и ее интерпретатор образуют банк знаний. Концепцию банка знаний широко используют в построении различных автоматизированных систем. [49]
 |
Общая морфологическая структура экспертной системы. [50] |
Эти правила формулируют на языках представления знаний. Основной критерий эффективности выбора языка - его адекватность ( соответствие) предметной области использования эксперт - Ной системы. Базу знаний определяют в виде логических выражений, поэтому в блоке пополнения знаний также используют логические выводы для определения новизны, полноты и непротиворечивости поступающих в систему знаний. Блок формирования ответов является основой механизма логического вывода, структуру вывода используют блоком объяснения ответа пользователю, что позволяет ему осмыслить ответ, понять его и оценить полученную информацию для принятия решения. В блоке формирования ответа реализуются функции дедуктивного вывода - от обобщенных систематизированных знаний банка к конкретным знаниям, которые необходимы для решения задачи. Развиваются экспертные иерархические сети, обеспечивающие пользователя любым видом агрегированной и дезагрегированной информации, доступом к интегрированным распределенным базам знаний, территориально расположенным в различных регионах страны. [51]
Термин оболочка означает набор инструментальных средств для построения экспертных систем. Экспертные системы ( ЭС) появились в конце 60 - х годов в качестве исследовательских проектов ( MYCIN, DENDRAL) и к настоящему времени стали одной из серьезных коммерческих отраслей информационной индустрии. Рынок программного обеспечения в этой области стремительно растет. Уже при создании первых ЭС было отмечено, что механизмы логического вывода и способы представления знаний могут быть использованы в различных проблемных областях. [52]
В этой модели знания представляются в виде совокупности правил типа ЕСЛИ - ТО. В состав экспертной системы продукционного типа входят база правил, база фактических данных ( рабочая память) и интерпретатор правил, реализующий определенный механизм логического вывода. Любое продукционное правило, содержащееся в БЗ, состоит из двух частей: антецедента и консеквента. Антецедент представляет собой посылку правила ( условную часть) и состоит из элементарных предложений, соединенных логическими связками И, ИЛИ. Консеквент ( заключение) включает одно или несколько предложений, которые выражают либо некоторый факт, либо указание на определенное действие, подлежащее исполнению. Продукционные правила принято записывать в виде АНТЕЦЕДЕНТ - КОНСЕКВЕНТ. [53]
Для того чтобы определить пути развития этих тенденций, важно провести параллель между учением И. П. Павлова и развитием математической логики. Буль, как известно, также нашел пути абстрагирования от смыслового содержания высказываний. Установленные системы правил преобразования не зависели от смыслового содержания, поэтому они были применены в различных конкретных случаях анализа механизмов логического вывода и доказательства. [54]
Страницы: 1 2 3 4