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




Правила типа "если-то" для представления знаний - часть 4


line();

Рис. 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  следует  не( Н)




Содержание  Назад  Вперед