primu2002

User info:

Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

Applicazione della Resolution

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))?

primu2002

User info:

Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

oppure:

19[0:Inp] || snail(U) bird(V) -> much_smaller(U,V)*.
25[0:Inp] || animal(U) plant(V) animal(W) plant(X) much_smaller(W,U)+ eats(W,X)* -> eats(U,V)* eats(U,W)*.
59[0:Res:19.2,25.4] || snail(U) bird(V) animal(V) plant(W) animal(U) plant(X) eats(U,X)* -> eats(V,W)* eats(V,U)*. Non dovrebbe essere W=U U=V ?

NoWhereMan

.illuminato.

User info:

Registered: Jul 2003
Posts: 222 (0.03 al dì)
Location: Segrate (MI)
Corso: Dottorato in Informatica
Anno:
Time Online: 1 Day, 21:56:46 [...]
Status: Offline

Post actions:

vado di fretta, ma velocemente:

non farti ingannare dai nomi delle variabili, ogni variabile (spero di non dire scemenze ) all'interno delle diverse clausole è da considerarsi diversa

vale a dire

c1 P(X)
c2 M(X)

X non è la stessa variabile, è un qualsiasi X, quel che conta per unificare sono i predicati e le funzioni

se fai fatica a vederlo, prova prima a rinominare su un foglio tutte le variabili della seconda clausola, per capire il meccanismo

questo per quanto riguarda il primo esempio, nel secondo credo il problema sia analogo anche se non ho dato un'occhiata approfondita

ciao

primu2002

User info:

Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

fantastico! Provo subito!
Grazie 1.000,99!!

primu2002

User info:

Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

fantastico! Provo subito!
Grazie 1.000,99!!

[Diego grazie anche a te!!]