ЭС, базирующиеся на логике (ЭСЛ), использует БЗ, состоящую
из базы данных (БД), содержащей предложения-факты, и набора пра-
вил, управляющих процессом сопоставления (унификации) в процессе
анализа входных данных. Интерпретатор ЭСЛ, также как и ЭСП, реа-
лизует трехшаговый процесс "распознавание-действие": - сопостав-
ление предложений БЗ с фактами, имеющимися в БД системы; - про-
верка наличия альтернативных вариантов сопоставления правил с
фактами; - автоматическое получение результата на базе стандарт-
ного механизма вывода.
Подобный процесс наиболее эффективен при реализации его на
языке Пролог, т.к. он соответствует структуре этого языка. Опи-
сание знаний в ЭСП ориентировано на пользователя. В случае ЭСЛ
описание знаний требует более глубокого анализа и знаний особен-
ностей Пролог-системы для представления информации в форме, мак-
симально соответствующей требованиям механизма логического выво-
да Пролога.
Так же как и любая другая БД, БД в ЭСЛ должна удовлетворять
требованиям непротиворечивости информации, минимальной избыточ-
ности и т.д. В п.2.2. настоящей работы рассматривается система
выбора породы собак. Рассмотрим ее фрагмент, поясняющий принцип
построения БД в ЭС, базирующихся на логике. Факты, описывающие
породы колли и ирладского сеттера, выглядят следующим образом:
rule(1,"длинношерстная прорда","ИРЛАНДСКИЙ СЕТТЕР",[4,6])
rule(2,"длинношерстная прорда","КОЛЛИ",[4,7])
cond(1,"короткошерстная")
cond(2,"длинношерстная")
cond(3,"рост менее 50 см")
cond(4,"рост менее 70 см")
cond(5,"короткий хвост")
cond(6,"длинные уши")
cond(7,"добродушный характер")
cond(8,"вес более 50 кг")
Подобные факты образуют статическую составляющую БД. Прави-
ла rule определяет номер породы (правила), ее тип, название и
совокупность характеристик, номера которых сведены в числовой
список. Правила cond определяют сами характеристики пород. При
помощи стандартных средств Турбо Пролога (предикаты retract и
assert) легко выполняются операции обновления и добавления ин-
формации в подобную БД, чего нельзя сказать о БЗ систем, базиру-
ющихся на правилах (в Турбо Прологе отсутствуют предметы работы
с правилами в БЗ). |