очень простой пример, но аналогичный
Это, конечно, очень простой пример, но аналогичный подход применяется при анализе и конструировании электрических схем. Однако задачи, представляющие наибольший интерес, не могут быть решены только на основе методов формального логического рассуждения. Сила логических методов в том, что они позволяют представить объекты и связи между ними в виде символов, которыми можно легко оперировать при помощи хорошо изученных методов (таких как метод резолюции) осуществляя тем самым логическое рассуждение. Слабость логических методов в том же, в чем и их сила: многие виды знания, включая недостоверные и неполные знания, столь характерные для большинства задач в реальном мире, не поддаются представлению в рамках строгих логических формализмов. Программы, основанные исключительно на логике, отражают лишь одну компоненту того понимания, которое помогает разумному существу, пытающемуся решить трудную задачу. На сегодняшний день существуют десятки больших программ, решающих трудные задачи в самых различных областях, таких как медицинская диагностика, планирование генетических экспериментов, геологическая разведка и автоматическое конструирование. Главным средством в этих экспертных системах является неформальное рассуждение, основанное на широких знаниях, тщательно собранных у экспертов - людей. В большинстве этих программ знания закодированы в виде сотен правил, типа "если - то", основанных на опыте. Такие правила называются эвристиками. Правила ограничивают поиск, привлекая внимание программы к наиболее вероятным путям решения. Более того - и в этом состоит отличие программ, управляемых эвристиками, от программ, основанных на формальных методах, - эти экспертные системы могут объяснить ход своих рассуждений в форме, понятной для человека. Такие объяснения становятся возможными благодаря тому, что решения, принимаемые программой, основаны на правилах, перенятых у экспертов - людей, а не на абстрактных правилах формальной логики. Рассмотрим программу MYCIN, разработанную Э.
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий