Читайте также:
|
В экспертных системах, основанных на логике, база знаний состоит из утверждений в виде предложений логики предикатов. Такие предложения могут группироваться, образуя базу данных Турбо-Пролога. Правила могут либо описывать данные, либо управлять процессом внутренней унификации Турбо-Пролога.
Как и в системе, основанной на правилах, экспертная система, основанная на логике, имеет множество правил, вызываемых помощью данных входного потока. Система также имеет интерпретатор, который выбирает и активизирует модули, включаемые в работу системы.
Интерпретатор внутри системы выполняет свои функции на основе следующей схемы:
1. Система содержит в базе знаний предложения, которые управляют поиском и сопоставлением. Интерпретатор сопоставляет эти предложения с элементами данных в базе данных.
2. При допустимости вызова более одного правила для разрешения конфликта система использует возможности Турбо-Пролога. Следовательно, пользователю или программисту не нужно анализировать потенциально возможные конфликты.
3. Система получает результаты процесса унификации автоматически, поэтому они направляются на нужное устройство вывода информации.
Как и в системе, основанной на правилах, данный циклический процесс является процессом распознавание-действие. Большие возможности систем, основанных на логике, объясняются тем, что они отражают структуру самого Турбо-Пролога. Этим также объясняется высокая эффективность их в работе.
Важнейшим аспектом в системе, основанной на логике, является проектирование базы знаний, утверждений и их структуры. База знаний должна иметь непротиворечивую логическую организацию и содержать минимум избыточной информации. Как и в системе, основанной на правилах, эффективность экспертной системы достигается при минимально достаточном количестве данных. Утверждения базы знаний для гончей и дога выглядят так:
rule(1,"Собака","Гончая",[1,2,З,4]).
rule(2,''собака","Датский дог",[1,5,3.4,6]).
соnd(1,"короткошерстная").
соnd(2,"рост до 22 дюймов").
соnd(3,"длинные уши").
соnd(4,"хорошие физические данные").
соnd(5,"короткий хвост").
соnd(6,"вес более 100 кг").
Здесь в каждом предложении типа гule первый аргумент – номер правила, второй аргумент – тип объекта ("собака") и третий аргумент – порода собаки. В нашем случае это гончая или дог. Список целых чисел задает номера условий из предложений типа cond (условие). Эти предложения типа содержат все характеристики для любой породы, представленной в базе знаний.
Списки номеров условий служат для хранения множества фактов, согласно которым выбираются предложения типа гule. В экспертной системе, основанной на логике, интерпретатор используетэти номера для выбора предложений.
Добавление и обновление предложений базы знаний являются простыми операциями. Для повторения этой методики вы можете вернуться к материалу гл. 9 о предикатах ге1гас1 и аззеп. Экспертные системы, базирующиеся на логике, легко проектировать, развивать и поддерживать в Турбо-Прологе, так как по мере расширения базы знаний программа не требует модификации. Расширение прежде всего заключается в постепенном добавлении новых утверждений.
Дата добавления: 2014-12-19; просмотров: 124 | Поможем написать вашу работу | Нарушение авторских прав |