Программирование на языке Пролог для искусственного интеллекта

       

Два правила из демонстрационной



Рисунок 14. 3.  Два правила из демонстрационной базы знаний системы
AL/X для диагностики неисправностей (Reiter 1980).    N   и   S   - 
величины "необходимости" и "достаточности", детально описанные
в разд. 14.7. Величина   S   указывает степень, с которой условие
влечет за собой заключение (вывод). Величина    N   указывает, до
какой степени истинность условия необходима для того, чтобы
заключение было истинным.

line();

если
    1        существует гипотеза  H,  что план  Р   ведет к
              успеху, и
    2        существуют две гипотезы
              H1,   что план  Р1  опровергает план  Р,   и
              Н2,   что план  Р2  опровергает план  Р,   и
    3        имеют место факты:        гипотеза  H1   ложна и
                                                        гипотеза   Н2  ложна
то
    1        породить гипотезу  Н3,  что составной план  "Р1
              или Р2"  опровергает план  Р,  и
    2        породить факт: из   Н3  следует  не( Н)

line();



Содержание раздела