Cтраница 3
Основываются на творческих процедурах и соответствующих им методах решения неформализованных задач. В этих системах решение основных задач осуществляется с помощью некоторых процедур или методик, позволяющих оценить качество удовлетворения того или иного экспертного критерия при определенном состоянии объекта экспертизы. Процедурные экспертные системы не моделируют логический процесс вывода заключения, не пытаются мыслить за эксперта, а только обеспечивают быструю и эффективную обработку конкретных знаний эксперта. [31]
Возникает вопрос: как связаны между собой подходы уникального и множественного назначения статуса. Иногда говорят, что они соответствуют скептическому и доверчивому подходам к выводу пересматриваемых заключений: если скептически настроенный агент сталкивается с неразрешимым конфликтом двух аргументов, он не выводит никакого заключения, а доверчивый агент выбирает любое заключение, или несколько заключений одновременно, и будет использовать их следствия. [32]
Другое решение обеспечивает логическое программирование, созданное, преимущественно, европейскими учеными, в том числе, Колмероэ и Ковальским. Оно решило многие проблемы, касающиеся строения логических высказываний, при помощи которых компьютер может выполнять процедуры вывода заключений и суждений. Логическое программирование также раскрывает природу и механизмы логических процедур, выполняемых компьютером. [33]
Оболочки используются для облегчения и ускорения процесса разработки специализированных экспертных систем. Помимо того оболочки включают в себя автономный аппарат построения вывода, который может осуществлять совместную обработку информации и проводить вывод заключений из нескольких различных баз данных. Все i это дает возможность быстро разрабатывать прототипы экспертных систем. [34]
Простейшей формой рассуждений является умозаключение - получение из одного или нескольких высказываний нового высказывания. Ап, из которых делается логический вывод, называются посылками, а новое высказывание В - заключением, следствием. Возможность вывода заключения из посылок обеспечивается логической связью между ними. [35]
Если программа основана на правилах, машина может легко дать связный отчет в своих действиях. Как упоминалось выше, когда компьютер предлагает ввести информацию, пользователь должен иметь возможность спросить: Зачем это нужно. Компьютер может ответить, выдав в определенном порядке правила, с которыми он только что работал. При выводе заключения пользователь также должен иметь возможность задать вопрос: Как оно получено. [36]
Все правила вывода GHPG, кроме ( D -), ( - О) и ( - V), обратимы, т.е. из выводимости заключения каждого из правил следует выводимость любой из посылок. Что касается правила ( Э -), то из выводимости заключения этого правила следует выводимость правой посылки фГ - А. Более того, во всех случаях вывод посылки имеет высоту, не превосходящую высоты вывода заключения. [37]