|
primu2002 |
Applicazione della Resolution |
23-02-2009 18:19 |
|
|
primu2002 |
.amico.
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline
Edit | Report | IP: Logged |
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))?
|
23-02-2009 18:19 |
|
|
| |
|
primu2002 |
oppure:
... |
23-02-2009 18:40 |
|
|
primu2002 |
.amico.
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline
Edit | Report | IP: Logged |
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 ?
|
23-02-2009 18:40 |
|
|
| |
|
NoWhereMan |
vado di fretta, ma velocemente:
... |
23-02-2009 19:37 |
|
|
NoWhereMan |
.illuminato.
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
Edit | Report | IP: Logged |
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
|
23-02-2009 19:37 |
|
|
| |
|
primu2002 |
fantastico! Provo subito!
... |
23-02-2009 21:14 |
|
|
primu2002 |
.amico.
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline
Edit | Report | IP: Logged |
fantastico! Provo subito!
Grazie 1.000,99!!
|
23-02-2009 21:14 |
|
|
| |
|
primu2002 |
fantastico! Provo subito!
... |
23-02-2009 21:14 |
|
|
primu2002 |
.amico.
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline
Edit | Report | IP: Logged |
fantastico! Provo subito!
Grazie 1.000,99!!
[Diego grazie anche a te!!]
|
23-02-2009 21:14 |
|
|
| |
|
All times are GMT. The time now is 07:40. |
|
|
|
|
|
|
|
| |
Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
|
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
|
|
|
|
|
|