Cтраница 3
Получив ответ на свой вопрос, пользователь возможно захочет увидеть, как система пришла к такому заключению. Это доказательство в случае нашего языка записи правил имеет вид решающего И / ИЛИ-дерева. Поэтому наша машина логического вывода будет не просто отвечать иа вопрос, соответствующий цели самого верхнего уровня - этого нам недостаточно, а будет выдавать в качестве ответа решающее И / ИЛИ-дерево, составленное из имен правил и подцелей. [31]
Несмотря на упорное намерение некоторых лиц представить дело иначе, надо сказать, что алгоритмические языки, такие как Си или Бейсик, также могут быть использованы для построения экспертных систем. Для архитектур, ориентированных на системы продукций, эти языки могут выступать в качестве языков реализации. При этом конструктор должен быть уверен в принципиальной пригодности машин логического вывода и систем продукций, чтобы составлять программы с заданными характеристиками, типичными для экспертных систе. Использование таких языков позволяет создать наиболее эффективные реализации систем, возможные на заданной вычислительной машине. [32]
База знаний содержит знания, относящиеся к конкретной прикладной области, в том числе отдельные факты, правила, описывающие отношения или явления, а также, возможно, методы, эвристики и различные идеи, относящиеся к решению задач в этой прикладной области. Машина логического вывода умеет активно использовать информацию, содержащуюся в базе знаний. Интерфейс с пользователем отвечает за бесперебойный обмен информацией между пользователем и системой; он также дает пользователю возможность наблюдать за процессом решения задач, протекающим в машине логического вывода. Принято рассматривать машину вывода и интерфейс как один крупный модуль, обычно называемый оболочкой экспертной системы, или, для краткости, просто оболочкой. [33]
Во многих отношениях, конечно, это хорошая идея. В конце концов, предположим, что у вас просто имеется такая машина вывода и вы располагаете также базой знаний, применимой к области медицинской диагностики. Почему не воспользоваться машиной и тогда, когда вам необходим эксперт, скажем, по предсказанию погоды. Почему бы просто не отсоединить медицинскую часть и не подключить метеорологическую. Причина этого почему бы заключается в том, что машина вывода пока что не способна работать с двумя столь различными областями. Более практичным соображением, с моей точки зрения, является то, что, даже если вы работаете над одной проблемой ( такой, как медицинская диагностика), разбиение задачи на две части - базу знаний и машину вывода - облегчит ее рассмотрение. Это позволит вам один день потратить на выяснение того, почему не работает машина логического вывода, а другой - на то, почему что-то не так с базой знаний. [34]