.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- sussunzione!! aiuto (http://www.dsy.it/forum/showthread.php?threadid=29697)

sussunzione!! aiuto

Ho un problema, spero che qualcuno riesca a darmi una soluzione:

durante il loop della given clause spass fa la seguente operazione:

BSubsumption: 33[0:Res:5.2,29.1] C(boxc, apple) _> C(boxa,orange) C(boxa,banana)*. by 34


considerando che apple, banana, orange e boxa,boxb,boxc sono delle funzioni di arietà zero, e che:

5: _> C(U,orange) C(U,banana) C(U,apple)*
29: C(boxc,U) C(boxa,U)*_>
34: C(boxc,apple)*_>

nella prima parte dovrebbe fare l'unificazione ottenendo
U=boxa ed apple=U

invece nell'atomo negativo mi mette U=apple mentre negli atomi positivi mette U=boxa

inoltre mi dice che la 34 sussume la 33

qualcuno sa dirmi come ha fatto??? grazie

__________________
Algoweb Rulez
Algoweb Rulez
Algoweb Rulez