Tutti i Forum  Magistrale - Primo Anno  Interazione Uomo-Macchina II  Risoluzione

Nota: Devi essere registrato per poter inserire un messaggio.
Per registrarti, clicca qui. La Registrazione č semplice e gratuita!

Larghezza finestra: 640 x 480 800 x 600 1024 x 768 1280 x 1024 Nome Utente: Password: Modo: Base  Aiuto  Finestra  Formato: Carattere Andale Mono Arial Arial Black Book Antiqua Century Gothic Comic Sans MS Courier New Georgia Impact Lucida Console Script MT Bold Stencil Tahoma Times New Roman Trebuchet MS Verdana   Grandezza 1 2 3 4 5 6   Colore Nero Rosso Giallo Rosa Verde Arancione Viola Blu Beige Bordň Verde Oliva Blu Marino Marrone Verde Limone Icona Messaggio:                             Messaggio:   * Il codice HTML č OFF * Il Codice Forum č ON Smilies [quote][i]Messaggio inserito da Eugenio86[/i] [br]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? [/quote]    Allega file   Clicca qui per inserire la tua firma nel messaggio. Clicca qui per sottoscrivere questa Discussione.