Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ѕр€мой логический вывод




ѕри обратном логическом выводе работа начинаетс€ с гипотез (например, о том, что утечка Ч в кухне) и происходит в обратном направлении согласно правилам в базе знаний, в цел€х получени€ легко подтверждаемых фактов (допустим, таких, что в гостиной вода). Ќо иногда более естественным способом €вл€етс€ формирование рассуждений в противоположном направлении, от части "if к части "then". ѕр€≠мой логический вывод начинаетс€ не с гипотез, а с некоторых подтвержденных фак≠тов. ќбнаружив, что в гостиной вода, а в ванной сухо, можно сделать вывод, что не≠исправность в кухне; кроме того, заметив, что окно кухни закрыто, можно сделать


√лава 15. ѕредставление знаний и экспертные системы



заключение, что вода не поступает снаружи; это ведет к окончательному выводу, что утечка в кухне.

–еализации в программе Prolog простой процедуры пр€мого логического вывода все еще остаетс€ простой, хот€ и не столь тривиальной, как и реализаци€ процедуры обратного логического вывода. ¬ листинге 15.5 показан интерпретатор пр€мого логи≠ческого вывода, в котором предполагаетс€, что правила, как и прежде, представлены в следующей форме: if condition then Conclusion

¬ качестве услови€ (Condition) здесь может быть задано любое выражение AND/OR. ƒл€ простоты во всей данной главе предполагаетс€, что правила не содер≠жат переменных. »нтерпретатор начинает свою работу с того, что известно (задано в отношении fact), выводит все заключени€ (Conclusion), которые следуют из этого отношени€, и добавл€ет (с помощью предиката assert) эти заключени€ к отноше≠нию fact. ѕоэтому база знаний, рассматриваема€ в качестве примера, обрабатывает≠с€ этим интерпретатором следующим образом:

?- forward.

Derived: problЂ_iїjcitehЂi Derived: no_Water_from_outside Derived: ieak_in_kitchen No more facts

Ћистинг 15.5. »нтерпретатор правил пр€мого логического вывода

I ѕростой интерпретатор пр€мого логического вывода на €зыке Prolog


forward:- new_derived_fact{ P), !,

write — 'No mote facts').

write! 'Derived: '), write (P), nl, assert (fact(P)), forward

I Ќовый факт

I ѕродолжить работу

ѕроцесс порождени€ правил завершен


new_derived_f act [ Concl)

if Cond then Concl, not fact — Concl), compcsed_fact(Cond).


-


<k Ќекоторое правило % «аключение правила

I ”словие истинно?


еще не факт


 


composed_fact(Cond)

fact(Cond).


-


простой факт


 


composed_fact Condi and Cond2) composed _fact [ Condi), composed_fact (Cond2).


-


* ќба конъюнкта истинны


 


compOsed_faCt Condi or Cond2) composed_fact[ Condi )


: -


compcsed_fact [ Cond2





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-10-01; ћы поможем в написании ваших работ!; просмотров: 627 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

Ћучша€ месть Ц огромный успех. © ‘рэнк —инатра
==> читать все изречени€...

1167 - | 1139 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.01 с.