5/23/2012 5:22:00 AM FOL La logica proposizionale assume che li mondo contenga fatti.

fatti. La FOL assume invece che il mondo contenga: Oggetti (persone, cose, numeri) Relazioni (rosso, tondo, possiede) Funzioni (padre di, pi di, fine del)

Pro e contro della logica proposizionale + dichiarativa: pezzi di sintassi corrispondono a fatti + permette informazioni parziali/negate/disgiunte + composizionale, ovvero derivato dal significato di

+ il significato indipendente dal contesto potere espressivo limitato (non posso dire ad esempio i fossi causano vento nelle celle adiacenti) Sintassi di FOL: elementi di base Costanti ReJohn, 2, UCB, Predicati Fratello, >, Funzioni Sqrt,LeftLegOf, Variabili x,y,a,b Connettivi - , ,-> Equalit - = Quantifiatori Frasi atomiche Atomic sentence = predicato(termine1.terminineN) oppure termine1=termine2 Termine=funzione(termine1,.termineN) o costante o variabile Esempi: Fratello(ReJohn,RiccardoCuorDiLeone)

>(Lunghezza(GambaSinistraDi(Riccardo)),Lunghezza(GambaS inistraDi(ReJohn))) Frasi complesse Le frasi complesse sono costruite da frasi atomiche utilizzando connettivi S, , Esempio: Parenti(ReJohn,Riccardo)=>Parenti(Riccardo,ReJohn) Truth nella FOL Le frasi sono vere rispetto ad un modello ed uninterpretazione. Un modello contiene 1 o pi oggetti (elementi del dominio) e le relazioni tra loro. Linterpretazione specifica referenti per: simboli delle costanti -> oggetti simboli dei predicati -> relazioni simboli delle funzioni -> relazioni funzionali Una frase atomica predicato(termine1.termineN) vero SE E SOLO SE gli oggetti referenziati da termine1.....termineN sono nella relazione referenziata dal predicato Esempio: Consideriamo linterpretazione in cui: Richard -> Riccardo cuor di leone John -> Il cattivo re John Fratello -> la relazione di fratellanza

In questa interpretazione Fratello(Richard, John) vera solo nel caso in cui Riccardo cuor di Leone e il cattivo re John sono nel modello della relazione di fratellanza. Modelli per FOL: molti

Le implicazioni in logica proposizionale possono essere computate enumerando i modelli. Possiamo enumerare i modelli FOL per un dato vocabolario del KB. Quantificazione universale

Tutti a Berkley sono intelligenti: x At(x,Berkley) => Smart(x) vero in un modello m se e solo se P vero con x essendo qualunque oggetto possibile i quel modello. Errore tipico da evitare Di solito => il connettivo principale di Errore classico: usare come connettivo principale di Esempio: ( ) ( )

che significa: tutti sono a Berkley e tutti sono intelligenti

Quantificatore esistenziale

Qualcuno a Stanford intelligente: ( ) ( ) vero in un modello m se e solo se P vero con x appartenente a qualche possibile oggetto del modello

Errore comune da evitare Solitamente il connettivo principale di Un errore comune utilizzare => come connettivo principale di Esempio: (

( )

vera per chiunque non sia a Stanford. Propriet dei quantificatori

5/23/2012 5:22:00 AM