| V I S U A L I Z Z A D I S C U S S I O N E |
| Eugenio86 |
Inserito il - 12/06/2010 : 17:42:46
Ragazzi ho un dubbio sul principio di risoluzione.
Quando durante il procedimento di risoluzione deduco una nuova clausa applicando l'unificazione, questa si propaga in tutte le altre?
Esempio:
1. { Levriero(L) }
2. { ¬Coniglio(z), PiuVeloce(L,z) }
3. { ¬Levriero(y), Cane(y) }
4. { ¬Cavallo(x), ¬Cane(y), PiuVeloce(x,y) }
5. { ¬PiuVeloce(x,y), ¬PiuVeloce(y,z), PiuVeloce(x,z) }
6. { Cavallo(F) }
7. { Coniglio(R) }
8. { ¬PiuVeloce(F,R) }
----------------------------------------
9. { PiuVeloce(L,R) } z/R (2,7)
...
da questo punto in poi considero l'unificazione z/R su tutte le clause vecchie e nuove? Oppure ad ogni passo considero la z come una variabile ancora unificabile con altri valori? |
| 3 U L T I M E R I S P O S T E (in alto le più recenti) |
| boom2112 |
Inserito il - 12/06/2010 : 18:22:55
EH EH EH |
| Eugenio86 |
Inserito il - 12/06/2010 : 18:22:28
Ok perfetto, se mi dicevi il contrario cominciavo a sbattere la testa sul muro :D |
| boom2112 |
Inserito il - 12/06/2010 : 18:08:55
Yes...tutte le variabili in tutte le clausole che fanno riferimento a quella variata vanno rinominato... |
|
|
