Inteligenta Artificiala Universitatea Politehnica Bucuresti Anul universitar 2008
Inteligenta Artificiala Universitatea Politehnica Bucuresti Anul universitar 2008 -2009 Adina Magda Florea http: //turing. cs. pub. ro/ia_08 si curs. cs. pub. ro
Curs nr. 4 Reprezentarea cunostintelor in IA Modelul logicii simbolice n n n Reprezentarea logicii simbolice Sistem formal Logica propozitiilor Logica predicatelor Demonstrarea teoremelor
1. Reprezentarea cunostintelor n n n Logica – avantaje Puterea de reprezentare a diverselor logici simbolice Conceptualizare + exprimarea in limbaj Limbaj formal: sintaxa, semantica Reguli de inferenta
2. Sistem formal n Un sistem formal este un cuadruplu O regula de inferenta de aritate n este o corespondenta: n Fie multimea de premise n Un element x din este o consecinta a multimii de premise n
Sistem formal - cont n n n Daca atunci | S x Secventa r. i. - deductie Daca teoreme este deductibil din atunci elementele lui Ei se numesc Fie o teorema; se obtine prin aplicarea succesiva a r. i. asupra formulelor din Ei Secventa de reguli - demonstratie. | R x
3. Logica propozitiilor n Limbaj formal n 3. 1 Sintaxa n Alfabet O formula bine formata in calculul propozitional se defineste recursiv astfel: (1)Un atom este o formula bine formata (2)Daca P este formula bine formata, atunci ~P este formula bine formata. (3)Daca P si Q sint formule bine formate atunci P Q, P Q sint formule bine formate. (4)Multimea formulelor bine formate este generata prin aplicarea repetata a regulilor (1). . (3) de un numar finit de ori. n
3. 2 Semantica n n n Interpretare Functia de evaluare a unei formule Proprietatile fbf n Valida/tautologie n Realizabila n Inconsistenta n Formule echivalente
Semantica - cont n n n O formula F este o consecinta logica a unei formule P daca F are valoarea adevarat in toate interpretarile in care P are valoarea adevarat. O formula F este consecinta logica a unei multimi de formule P 1, …Pn daca formula F este adevarata in toate interpretarile in care P 1, …Pn sunt adevarate. Consecinta logica se noteaza P 1, …Pn F. Teorema. Formula F este consecinta logica a unei multimi de formule P 1, …Pn daca formula P 1, …Pn F este valida. Teorema. Formula F este consecinta logica a unei multimi de formule P 1, …Pn daca formula P 1 … Pn ~F este inconsistenta.
Legi de echivalenta
3. 3 Obtinerea de noi cunostinte n n n Conceptualizare Reprezentare in limbaj Teoria modelului KB || S x Teoria demonstratiei KB | R x Logici monotone Logici nemonotone
3. 4 Reguli de inferenta n Modus Ponens Substitutia Regula inlantuirii n Regula introducerii conjunctiei n Regula transpozitiei n n
Exemplu n n n n Mihai are bani Masina este alba Masina este frumoasa Daca masina este alba sau masina este frumoasa si Mihai are bani atunci Mihai pleaca in vacanta B A F (A F) B C
4. Logica cu predicate de ordinul I 4. 1 Sintaxa Fie D un domeniu de valori. Un termen se defineste astfel: n (1) O constanta este un termen cu valoare fixa apartinand domeniului D. n (2) O variabila este un termen ce poate primi valori diferite din domeniul D. n (3) Daca f este o functie de n argumente si t 1, . . tn sint termeni, atunci f(t 1, . . tn) este termen. n (4) Toti termenii sunt generati prin aplicarea regulilor (1)…(3).
Sintaxa LP - cont Predicat de aritate n n Atom sau formula atomica. n Literal O formula bine formata in logica cu predicate de ordinul I se defineste astfel: (1) Un atom este o formula bine formata (2) Daca P[x] este fbf, atunci ~P[x] este fbf. (3) Daca P[x] si Q [x] sunt fbf atunci P[x] Q[x], P Q si P Q sunt fbf. (4) Daca P[x] este fbf atunci x P[x], x P[x] sunt fbf. (5) Multimea formulelor bine formate este generata prin aplicarea repetata a regulilor (1). . (4) de un numar finit de ori. n
Sintaxa pe scurt
FNC, FND n n O formula bine formata este in forma normala conjunctiva, pe scurt FNC, daca formula are forma F 1 … Fn, unde este Fi , i=1, n sunt formule formate dintr-o disjunctie de literali (Li 1 … Lim). O formula bine formata este in forma normala disjunctiva, pe scurt FND, daca formula are forma , F 1 … Fn, unde Fi , i=1, n sunt formule formate dintr-o conjunctie de literali (Li 1 … Lim)
4. 2 Semantica LP n n Interpretarea unei formule F in logica cu predicate de ordinul I consta in fixarea unui domeniu de valori nevid D si a unei asignari de valori pentru fiecare constanta, functie si predicat ce apar in F astfel: (1) Fiecarei constante i se asociaza un element din D. (2) Fiecarei functii f, de aritate n, i se asociaza o corespondenta , unde (3) Fiecarui predicat de aritate n, i se asociaza o corespondenta
Interpretare I D={1, 2} X=1 X=2
4. 3 Proprietatile fbf in LP Valida/tautologie n Realizabila n Inconsistenta n Echivalente F - consecinta logica a unei formule P F - consecinta logica a unei multimi de formule P 1, …Pn Teorema. Formula F este consecinta logica a unei multimi de formule P 1, …Pn daca formula P 1, …Pn F este valida. Teorema. Formula F este consecinta logica a unei multimi de formule P 1, …Pn daca formula P 1 … Pn ~F este inconsistenta. n n n
Exemple n n Toate merele sunt rosii Toate obiectele sunt mere rosii Exista un mar rosu Toate pachetele din camera 27 sunt mai mici decat orice pachet din camera 28 Toate ciupercile purpurii sunt otravitoare n x (Purpuriu(x) Ciuperca(x)) Otravitor(x) n x Purpuriu(x) (Ciuperca(x) Otravitor(x)) n x Ciuperca (x) (Purpuriu (x) Otravitor(x)) ( x)( y) iubeste(x, y) ( y)( x) iubeste(x, y)
4. 4. Reguli de inferenta in LP n Modus Ponens (MP) § § § § Substitutia Regula inlantuirii Transpozitia Eliminarea conjunctiei (Elim. C) · Introducerea conjunctiei (Intr. C) · Instantierea universala (Inst. U) · Instantierea existentiala (Inst. E) · Rezolutia
Exemplu n n Caii sunt mai rapizi decat cainii si exista un ogar care este mai rapid decat orice iepure. Se stie ca Harry este un cal si ca Ralph este un iepure. Sa se demonstreze faptul ca Harry este mai rapid decat Ralph. Cal(x) Ogar(y) Caine(y) Mai. Rapid(y, z) Iepure(z) x y Cal(x) Caine(y) Mai. Rapid(x, y) y Ogar(y) ( z Iepure(z) Mai. Rapid(y, z)) Cal(Harry) Iepure(Ralph) y Ogar(y) Caine(y) x y z Mai. Rapid(x, y) Mai. Rapid(y, z) Mai. Rapid(x, z)
Exemplu de demonstrare n Teorema: Mai. Rapid(Harry, Ralph) ? n Demonstrare folosind reguli de inferenta 1. x y Cal(x) Caine(y) Mai. Rapid(x, y) 2. y Ogar(y) ( z Iepure(z) Mai. Rapid(y, z)) 3. y Ogar(y) Caine(y) 4. x y z Mai. Rapid(x, y) Mai. Rapid(y, z) Mai. Rapid(x, z) 5. Cal(Harry) 6. Iepure(Ralph) 7. Ogar(Greg) ( z Iepure(z) Mai. Rapid(Greg, z)) 2, Inst. E 8. Ogar(Greg) 9. z Iepure(z) Mai. Rapid(Greg, z)) 7, Elim. C
Exemplu de demonstrare - cont 10. Iepure(Ralph) Mai. Rapid(Greg, Ralph) 9, Inst. U 11. Mai. Rapid(Greg, Ralph) 6, 10, MP 12. Ogar(Greg) Caine(Greg) Inst. U 3, 13. Caine(Greg) 12, 8, MP 14. Cal(Harry) Caine(Greg) Mai. Rapid(Harry, Greg) 1, Inst. U 15. Cal(Harry) Caine(Greg) 5, 13, Intr. C 16. Mai. Rapid(Harry, Greg) 14, 15, MP 17. Mai. Rapid(Harry, Greg) Mai. Rapid(Greg, Ralph) Mai. Rapid(Harry, Ralph) 4, Inst. U 18. Mai. Rapid(Harry, Greg) Mai. Rapid(Greg, Ralph) 16, 11, Intr. C 19. Mai. Rapid(Harry, Ralph) 17, 18, MP
- Slides: 25