.dsy:it. - Applicazione della Resolution

.dsy:it.
//www.dsy.it

Applicazione della Resolution

Posted by primu2002 on 23-02-2009 18:19

Raga qualcuno riesce a spiegarmi l'applicazione della regola? Non capisco che razza di sostituzione faccia!!!!!

24[0:Inp] || snail(U) -> plant(snail_food_of(U))*.
303[0:MRR:298.0,8.0] || plant(U)+ -> eats(a_fox,a_bird)* eats(a_fox,U)*.

305[0:Res:24.1,303.0] || snail(U) -> eats(a_fox,a_bird) eats(a_fox,snail_food_of(U))*.

Non dovrebbe essere U=snail_food_of(U)? Allora perchè snail(U) rimane snail(U) e non diventa snail_food_of(snail(U))?