Logica proposizionale Sintassi vs Semantica

Slides:



Advertisements
Presentazioni simili
Linguaggi  naturali e linguaggi formali Sistemi formali  
Advertisements

Calcolo Relazionale.
Punti Fissi.
Algebra parziale con predicati
Intelligenza Artificiale
Intelligenza Artificiale
Agenti logici: la logica del prim’ordine
Deduzione naturale + Logica & Calcolabilità
Semantica, inferenza e logica
Il ragionamento classico
Introduzione alla Logica Modale.
L’ALGEBRA NEI PROGRAMMI
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
Intelligenza Artificiale 1 Gestione della conoscenza lezione 7 Prof. M.T. PAZIENZA a.a
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
Introduzione alle reti semantiche R. Basili. Sistemi basati su conoscenza Fanno uso di una rappresentazione esplicita del: –Mondo/Ambiente –Dominio di.
Sistemi basati su conoscenza Conoscenza e ragionamento Prof. M.T. PAZIENZA a.a
1 Le competenze di base dell'asse matematico Utilizzare le tecniche e le procedure del calcolo aritmetico ed algebrico, rappresentandole anche sotto forma.
AGENTI CHE RAGIONANO LOGICAMENTE E.Mumolo
Corso di Laurea Ingegneria Informatica Fondamenti di Informatica
Intelligenza Artificiale II Dimostrazione automatica di Teoremi
Linguaggi elementari p. 14.
Intelligenza Artificiale
Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Conoscenza e ragionamento.
Intelligenza Artificiale
Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Conoscenza e ragionamento Logica dei predicati del primo ordine.
Ingegneria della conoscenza e sistemi esperti Dario Bianchi, 1999 Logica dei predicati del primo ordine.
Linguaggi di Programmazione Cenni di logica proposizionale
IL LAVORO SUL TESTO Si incrociano le “operazioni mentali” con i “nodi” di un testo narrativo Operazioni mentali ° Focalizzazione (identificazioni di dati.
Intelligenza Artificiale - AA 2001/2002 Logica formale (Parte 2) - 1 Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra.
Intelligenza Artificiale - AA 2002/2003 Logica formale (Parte 2) - 1 Intelligenza Artificiale Breve introduzione alla logica classica (Parte 2) Marco Piastra.
Logica formale e logica discorsiva 2° Lezione
Riassumendo le teorie sulla comunicazione
Logica Matematica Seconda lezione.
Lo sviluppo del software e i linguaggi di programmazione
Introduzione ai linguaggi formali e alle stringhe
Pierdaniele Giaretta Linguaggio della logica predicativa
COMUNICAZIONE: PROBLEMI E STRATEGIE Marco Galiano
Agenti logici: calcolo proposizionale Maria Simi a.a. 2008/2009.
Basi di conoscenza: cenni di logica Fabio Massimo Zanzotto.
Pierdaniele Giaretta Linguaggio della logica predicativa
1 Nuovo Obbligo Scolastico: Gli Assi Culturali. 2 Asse dei Linguaggi Asse Matematico Asse Scientifico-Tecnologico Asse Storico Sociale.
Linguaggi per COMUNICARE
Corso di logica matematica
Watzlawick: pragmatica della comunicazione
“… QUESTO BAMBINO NON COMUNICA!...”
FMZ Sistemi basati su conoscenza Da logica proposizionale a logica del primo ordine Dott. Fabio Massimo Zanzotto a.a
FMZ Sistemi basati su conoscenza Prolog (1) Dott. Fabio Zanzotto a.a
Cenni di Logica Fabio Massimo Zanzotto. Calcolo proposizionale.
FMZ1 Sistemi basati su conoscenza Cenni di logica proposizionale Dott. Fabio Zanzotto a.a
Logica A.A Francesco orilia
Logica A.A Francesco orilia
Logica Lezz Nov Reiterazione (RE) P |- P 1 P A 2 P & P 1,1, &I 3 P 2, & E.
Logica Lezione Nov
Linguaggi di programmazione: panoramica Linguaggi di programmazione ad alto livello: – –Programmazione procedurale – –Programmazione object oriented –
Linguaggi e Modelli dei dati e della conoscenza Introduzione all’Intelligenza Artificiale “ragionamento automatico e logica” Maria Teresa PAZIENZA Fabio.
1 Linguaggi di Programmazione Cenni di logica proposizionale.
Query languages per Basi di Dati Relazionali  Algebra Relazionale:  basato sulla teoria degli insiemi  procedurale  usato per l’implementazione di.
AOT Lab Dipartimento di Ingegneria dell’Informazione Università degli Studi di Parma Intelligenza Artificiale Rappresentazione della Conoscenza e Ragionamento.
Intelligenza Artificiale
Intelligenza Artificiale - AA 2002/2003 Logiche non classiche - 1 Intelligenza Artificiale Breve introduzione alle logiche non classiche Marco Piastra.
Agenti logici: calcolo proposizionale Maria Simi a.a. 2006/2007.
Logica Lezione 19 Compito in classe. Versione A A. Tradurre nel linguaggio della logica proposizionale gli enunciati delle seguenti argomentazioni.
Intelligenza Artificiale – M. Ornaghi 1 Lezione 17 Rappresentazione della conoscenza.
Basi di conoscenza: cenni di logica Fabio Massimo Zanzotto.
Introduzione alla LOGICA MATEMATICA Corso di Matematica Discreta. Corso di laurea in Informatica. Prof. Luigi Borzacchini III. La logica delle proposizioni.
Logica Lezione 8, DISTRIBUIRE COMPITO 1.
Logica Lezione 19, Distribuire compito 3 DATA esame in classe intermedio: Lunedì 20 aprile.
Logica Lez. 5, Varzi su affermazione del conseguente Malgrado alcuni esempi di questa forma siano argomentazioni valide, altri non lo sono.
GLI AUTOMI INGRESSIUSCITE Un Automa è un sistema con le seguenti caratteristiche: 1.Dinamico : evolve nel tempo; 2.Invariante : la risposta del sistema.
Transcript della presentazione:

Linguaggi di Programmazione Da logica proposizionale a logica del primo ordine

Logica proposizionale Sintassi vs Semantica Mondo Simboli FBF ASSIOMI Regole di inferenza Funzione di interpretazione S F S F Concetto di modello ???

Sintassi vs Semantica Osservazioni Una dimostrazione per è una sequenza DIM=P1,P2,…,Pn Pn=F PiS PiASSIOMI Pi è ottenibile da Pi1,…,Pim (con i1<i,.., im<i) applicando una regola di inferenza S F

Sintassi vs Semantica Osservazioni DIM=P1,P2,…,Pn Problema: introduciamo sempre formule vere? PiS vere per ipotesi PiASSIOMI veri poiché tautologie Pi è ottenibile da Pi1,…,Pim (con i1<i,.., im<i) applicando una regola di inferenza anello debole

Sintassi vs Semantica Regole di inferenza e veridicità B AB A1,…,An AI V V V A1… An V F F F V F F F F A1… An AE Ai A B AB P  B , P V V V MP V F F B F V V F F V

Sintassi vs Semantica La preservazione della veridicità è osservabile per induzione Formalmente: (Meta)Teorema di completezza (Meta)Teorema di Deduzione (+ Ogni teorema di L è una tautologia)

Logica proposizionale (limiti) Socrate è un uomo. Gli uomini sono mortali. (A) Allora Socrate è mortale. Traduzione di (A) nella logica proposizionale Se Gino è un uomo, allora Gino è mortale. Se Pino è un uomo, allora Pino è mortale. Se Rino è un uomo, allora Rino è mortale. Se Socrate è un uomo, allora Socrate è mortale. … Se X è un uomo, allora X è mortale.

Logica del primo ordine (logica dei predicati del primo ordine) Sintassi Ingredienti: Simboli L Letterali Costanti individuali Ai Variabili individuali ai Lettere funzionali fi Lettere predicative Pi Connettivi Logici: {,,,,(,)},

Logica del primo ordine Sintassi Ingredienti: Termine T costanti individuali T variabili individuali T Se t1,…,tn T allora fi(t1,…,tn) T (applicazione di un simbolo di funzione n-ario a n termini) Termine ground - senza variabili (oggetti dell'Universo del discorso) Es.: padre(padre(giovanni))

Logica del primo ordine Sintassi Formule Atomiche (atomi) Se t1,…,tn T allora Pi(t1,…,tn) è una formula atomica Esempi: uomo(paolo) maggiore(X,3) maggiore(più(X,1),Y) ama(giovanni,maria) ama(padre(giovanni),giovanni) ama(padre(padre(giovanni)),giovanni) maggiore(più(più(1,giovanni),Y),padre(3))

Logica del primo ordine Sintassi Ingredienti: Formule Ben Formate Le Formule Atomiche sono FBF Se f1 e f2FBF e x è una variabile individuale allora x.f1FBF x.f1FBF  f1FBF f1 f2FBF f1 f2FBF f1f2FBF

Logica del primo ordine Sintassi Ingredienti: Regole di inferenza Eliminazione del quantificatore universale Eliminazione del quantificatore esistenziale Introduzione del quantificatore esistenziale x.F(…x…) SUBST({x/a},F(…x…)} x.F(…x…) Dove a non appartiene a costanti già introdotte SUBST({x/a},F(…x…)} F(…a…) x.F(…x…)

Logica del primo ordine Sintassi esempi 1) un esempio filosofico ("X)(uomo(X) ® mortale(X)) Ù uomo(socrate) ® mortale(socrate) 2) due degli assiomi di base dei numeri naturali interpretare f e g come funzioni successore e predecessore la costante 0 come zero il predicato u come uguaglianza ) ("X)($Y)(u(Y,f(X)) Ù ("Z)(u(Z,f(X)) ® u(Y,Z))) ("X)( ~u(X,0) ® (($Y)(u(Y,g(X)) Ù ("Z)(u(Z,g(X)) ® u(Y,Z))))) 3) nella formula ("X) p(X,Y), tutte le occorrenze di X sono vincolate, mentre Y è libera

Logica del primo ordine Semantica Dare una interpretazione alle espressioni sintatticamente corrette. Definire se certe espressioni sono vere o false in base al significato che si dà ai componenti dell'espressione. Interpretazione (I): Insieme D (dominio) I(ai) = di per ciascuna costante individuale Insieme di funzioni I(fi) = fi fi: Dn  D per ciascuna lettera funzionale fi Insieme di relazioni I(Pi)=Pi Pi  Dn per ciascuna lettera predicativa Pi

Logica del primo ordine Semantica Interpretazione Interpretazione delle formule atomiche I(Pi(a1,…,an)) =V se (I(a1),…,I(an))I(Pi) =F altrimenti I(x.Pi(a1,…,x,…,an)) =V se per tutti gli x d accade che (I(a1),…,x,…,I(an))I(Pi) =F altrimenti

Logica del primo ordine Semantica Interpretazione Interpretazione delle formule quantificate I(x.Pi(a1,…,x,…,an))=V se per tutti gli x D accade che (I(a1),…,x,…,I(an))I(Pi) =F altrimenti I(x.Pi(a1,…,x,…,an)) =V se esiste x D tale che (I(a1),…,x,…,I(an))I(Pi)

Sostituzione una sostituzione J è un insieme finito della forma {v1 ¬ t1,…, vn ¬ tn} vi è una variabile ti è un termine diverso da vi le variabili vi, i=1,…,n sono tra loro distinte una sostituzione è una funzione da variabili a termini l’applicazione di J ad E è l’espressione ottenuta da E sostituendo simultaneamente ogni occorrenza della variabile vi, i=1,…,n con il termine ti il risultato dell’applicazione (denotato da EJ) è una istanza di E.

Sostituzione: Composizione siano J = {X1 ¬ t1,…, Xn ¬ tn} e l = {Y1 ¬ u1,…, Ym ¬ um} due sostituzioni la composizione di J e l (denotata da J ° l) è la sostituzione così definita i) costruiamo l’insieme {X1 ¬ t1l,…, Xn ¬ tnl, Y1 ¬ u1,…, Ym ¬ um} ii) eliminiamo dall’insieme gli elementi Xi ¬ til tali che til = Xi iii) eliminiamo dall’insieme gli elementi Yj ¬ uj tali che Yj occorre in {X1,…, Xn}

Sostituzione: Composizione J = {X ¬ f(Y), Y ¬ Z} l = {X ¬ a, Y ¬ b, Z ¬ Y} costruzione di J ° l i) {X ¬ f(b), Y ¬ Y, X ¬ a, Y ¬ b, Z ¬ Y} ii) {X ¬ f(b), X ¬ a, Y ¬ b, Z ¬ Y} iii) {X ¬ f(b), Z ¬ Y} costruzione di l ° J i) {X ¬ a, Y ¬ b, Z ¬ Z, X ¬ f(Y), Y ¬ Z} ii) {X ¬ a, Y ¬ b, X ¬ f(Y), Y ¬ Z} iii) {X ¬ a, Y ¬ b}

Unificazione L’unificazione è un meccanismo che permette di calcolare una sostituzione al fine di rendere uguali due espressioni. Per espressione intendiamo un termine, un letterale o una congiunzione o disgiunzione di letterali. Sia dato un insieme di espressioni (termini, atomi, etc.) {E1,…, Ek} una sostituzione J è un unificatore per {E1,…, Ek}se e solo se E1J = E2J = …= EkJ Un insieme {E1,…, Ek} è unificabile se e solo se esiste una sostituzione J tale che J è un unificatore per {E1,…, Ek} ESEMPIO: l’insieme {p(a,Y), p(X,f(b))} è unificabile dato che la sostituzione J = {X ¬ a, Y ¬ f(b)} è un unificatore per l’insieme

Unificazione

Logica proposizionale vs. Logica del primo ordine “Aggiunte”: Strutturazione dei letterali Introduzione delle variabili Introduzione dei quantificatori

Logica del primo ordine Socrate è un uomo. Gli uomini sono mortali. Allora Socrate è mortale. Costanti individuali {Socrate, Pino, Gino, Rino} Lettere predicative {Uomo,Mortale}

Logica del primo ordine Socrate è un uomo. Gli uomini sono mortali. Allora Socrate è mortale. Traduzione affermazioni Uomo(Socrate) x.(Uomo(x)  Mortale(x)) Traduzione goal Mortale(Socrate)

Logica del primo ordine x.(Uomo(x)  Mortale(x)) Universal Elimination (SUBST({x/Socrate},Uomo(x)  Mortale(x)) Uomo(Socrate)  Mortale(Socrate) , Uomo(Socrate) MP Mortale(Socrate)