Архитектура и принципы работы эксперных систем
1.4 МАШИНА ВЫВОДА Задача машины вывода состоит в “извлечении” ответа на вопрос задачи. Очевидно, для различных моделей знаний требуются различные машины вывода. Так, логическая машина вывода должна строить доказательства (теорем существования решений, например). Следует иметь в виду, что для неклассических логик, к которым относятся, например, нечеткая логика или многозначные логики, требуется строить собственную машину вывода, учитывающую специфику исчисления. Машина вывода для продукционной базы знаний является интерпретатором правил, который использует факты, содержащиеся в базе знаний. На входе машина вывода получает цель консультации. Машина вывода для табличной базы знаний часто основывается на использовании теоремы Байеса, но может использовать механизм классифицирующего дерева, дискриминантных функций, таблиц решений и поиска по образцу. 1.4 МАШИНА ВЫВОДА Байесовский подход играет существенную роль при создании и использовании экспертных систем, использующих базу данных о предметной области, составленную по результатам наблюдений или экспериментов. Основу байесовского подхода составляют следующие теоретические соотношения (на примере задачи медицинской диагностики). Пусть необходимо производить диагностику между заболеваниями D1 , D2,…, Dn . Для каждого из этих заболеваний известны условные вероятности , характеризующие появление набора симптомов S при заболевании Dj. Здесь S = { S1 , S2 ,…, Sk } и Sk - различные симптомы. Пусть далее P(Dm) − априорная вероятность заболевания Dm. Тогда задача дифференциальной диагностики может быть сведена к статистической задаче выбора гипотез, решение которой основывается на использовании теоремы Байеса: (4.1)