Inteligenta Artificiala: Inferenta in Logica Propozitionala Si Predicativa

Inteligență artificială
6. Metode de inferență în logica

propozițională și predicativă
Florin Leon
Universitatea Tehnică „Gheorghe Asachi” din Iași
Facultatea de Automatică și Calculatoare
http://florinleon.byethost24.com/curs_ia.html
v2022.1
Metode de inferență în logica
1. Logica propozițională 2. Logica predicatelor
1.1. Modus Ponens 2.1. Raționamentul înainte
1.2. Modus Tollens 2.2. Raționamentul înapoi
1.3. Rezoluția propozițională 2.3. Rezoluția predicativă
Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 2

Raționamentul logic
 În limbajul natural, multe propoziții sunt ambigue și pentru ele
există mai multe moduri de reprezentare. Reprezentările simple
sunt preferabile, însă pot face imposibile unele tipuri de
raționament
 Logica aduce formalizarea codării cunoștințelor
 Formalismul logic permite derivarea de noi cunoștințe din
cunoștințe deja existente, prin deducție logico-matematică sau
inferență
 O propoziție este adevărată dacă derivă din propoziții cunoscute
ca adevărate
 Domeniu strâns legat de demonstrarea automată a teoremelor

Demonstratoarele automate
de teoreme: utilizări practice
 Automatizarea demonstrațiilor
 Algebra Robbins (sau + non) echivalentă cu algebra booleană (1996)
 Prima demonstrație formală riguroasă pentru teorema
incompletitudinii a lui Gödel (2014)
 Cea mai lungă demonstrație: 200 TB ~ 65 de miliarde de pagini
(Boolean Pythagorean triples problem, 2016)
 Verificarea și sinteza componentelor software și hardware
 Algoritmul de criptare RSA
 Algoritmul de string-matching Boyer-Moore
 Verificare CPU
 Proiectarea circuitelor
 Remote Agent (NASA Deep Space 1)


Formule bine formate
 În logica propozițională, cunoștințele se reprezintă
sub forma formulelor bine formate
 Afirmație: E soare.
 Reprezentare: soare
 Afirmație: Dacă plouă, nu e soare.

 Reprezentare: plouă →  soare

Literali și clauze
 Un literal este o propoziție atomică sau negația unei
propoziții atomice, de exemplu: p și ¬p
 O clauză este un literal sau o disjuncție de literali,
de exemplu: p, ¬p, ¬p ∨ q etc.

Deducție și teoremă
 O deducție în calculul propozițional este un șir
p1, p2 ..., pn de formule (clauze) dintr-o mulțime de
formule Γ, astfel încât pentru orice i (1 ≤ i < n),
pi este o axiomă sau există j < i și k < i, astfel încât:
pj  pk → pi
 În acest caz, pn este o teoremă a calculului
propozițional, notată: Γ ⊢ pn

Tautologie
 Se numește tautologie a sistemului logic considerat orice formulă bine
formată care este adevărată pentru orice interpretare
 O tautologie p se notează: Γ ⊨ p
 De exemplu, formula ¬(p ∨ q) → (¬p ¬q) este adevărată indiferent
de valorile de adevăr ale propozițiilor p și q
Demonstrație semantică

Teorema de completitudine a
calculului propozițional
 În calculul propozițional, mulțimea teoremelor
coincide cu mulțimea tautologiilor
 Noțiunea de teoremă este de natură sintactică, în

timp ce noțiunea de tautologie are o natură
semantică
 Teorema subliniază faptul că aceste noțiuni sunt
echivalente
 Orice tautologie poate fi dedusă pe cale sintactică
 Orice propoziție adevărată în orice caz este o teoremă și
poate fi folosită ulterior pentru inferențe
2.2. Raționamentul înapoi
1.2. Modus Tollens
2.3. Rezoluția predicativă
1.3. Rezoluția propozițională

Metode de inferență
 Modus ponendo ponens (prescurtat modus ponens)
 Premise: P → Q și P
 Concluzie: Q
 Lat. „ponere” = a pune, a afirma
 Modalitatea care, afirmând P, afirmă Q
 Afirmarea antecedentului
 Modus tollendo tollens (prescurtat modus tollens)
 Premise: P → Q și ¬Q
 Concluzie: ¬P
 Lat. „tollere” = a lua, a nega
 Modalitatea care, negând Q, neagă P
 Negarea consecventului

2.2. Raționamentul înapoi
1.2. Modus Tollens
2.3. Rezoluția predicativă
1.3. Rezoluția propozițională

Reguli de transformare a
formulelor
 Legile de Morgan
 Proprietatea de comutativitate
 Proprietatea de distributivitate

Reguli de transformare a
formulelor
 Legea contrapozitivă
 Implicație, echivalență

Forma normal conjunctivă
(FNC)
 engl. “Conjunctive Normal Form”
 O conjuncție de disjuncții: un ȘI de SAU-uri

Transformarea în FNC
 1. Se elimină toate implicațiile
 2. Se introduc negațiile în formule
 3. Se mută conjuncțiile () în afara disjuncțiilor ()

Rezoluția propozițională
 Afirmații:
 Afară plouă sau este soare.
 Dacă este soare, atunci este cald.
 Reprezentări:
 ploaie  soare
 soare → cald
 În forma normal conjunctivă, cea de a doua
reprezentare va fi:
 ¬ soare  cald

 Se observă că soare apare în prima expresie afirmat și

în a doua negat. Ambele propoziții trebuie să fie adevărate
 Dacă soare este adevărat, atunci ploaie poate lua orice
valoare, pe când cald trebuie să fie obligatoriu adevărat
 Dacă soare este fals, atunci ploaie trebuie să fie obligatoriu
adevărat, pe când cald poate lua orice valoare
 În orice caz, una din propozițiile ploaie sau cald trebuie să fie
adevărată. Acest lucru corespunde formulei ploaie  cald

 Ideea de bază a acestei forme de raționament este deducerea
din două clauze, în care unul din literali apare cu valori de
adevăr contrare, a unei noi clauze din care este eliminat literalul
respectiv:
 Demonstrarea prin rezoluție se bazează pe reducere la absurd:

se adaugă concluzia negată la baza de cunoștințe și dacă se
poate ajunge la o contradicție, concluzia se poate demonstra

Rezolvenți multipli

Demonstrarea semantică
Termenii nu sunt echivalenți, Clauzele noi sunt adăugate la baza de cunoștințe,

dar implicația este adevărată dar nu înlocuiesc clauzele din care au rezultat

Exemplul 1
 Fie următoarele premise:
 Trebuie să demonstrăm că s este adevărat

FNC
 În primul rând, cele trei premise trebuie aduse la
forma normal conjunctivă

Procesul de rezoluție
 Presupunem că ¬s este adevărat și încercăm să
ajungem la o contradicție

Exemplul 2
Mihai poate participa la un turneu de șah. Dacă va câștiga, va ajunge la
categoria de maestru. Dacă va avea o zi proastă și va pierde, ar putea fi
retrogradat din categoria curentă și își va abandona acest vis.
Concluzie de demonstrat:
Dacă Mihai participă la turneu, își va îndeplini visul de a fi maestru sau îl
va abandona.
Reprezentarea propozițională:
turneu: Mihai participă la turneu.
câștigă: Mihai câștigă.
maestru: Mihai ajunge maestru.
pierde: Mihai pierde.
renunță: Mihai își abandonează visul.

1. turneu ⇒ (câștigă ⋁ pierde)
2. câștigă ⇒ maestru
3. pierde ⇒ renunță
C. turneu ⇒ (maestru ⋁ renunță)
Reprezentarea în forma normal conjunctivă
Premise:
1. ¬ turneu ⋁ câștigă ⋁ pierde
2. ¬ câștigă ⋁ maestru
3. ¬ pierde ⋁ renunță
Concluzia negată:
¬(¬ turneu ⋁ maestru ⋁ renunță)
turneu ⋀ ¬ maestru ⋀ ¬ renunță
Premise:
1. ¬ turneu ⋁ câștigă ⋁ pierde
2. ¬ câștigă ⋁ maestru
Concluzia negată:
4. turneu
5. ¬ maestru
6. ¬ renunță

Rezoluția
1. ¬ turneu ⋁ câștigă ⋁ pierde 5+2⇒
2. ¬ câștigă ⋁ maestru 7. ¬ câștigă
4. turneu 6+3⇒
5. ¬ maestru 8. ¬ pierde
6. ¬ renunță
7+1⇒
9. ¬ turneu ⋁ pierde
Ordinea potrivirilor 8+9⇒

nu este unică. Am fi 10. ¬ turneu
putut începe, de
exemplu, cu 1 + 4 10 + 4 ⇒ contradicție

Decidabilitatea
 Un sistem logic este decidabil dacă există o metodă
eficientă care determină dacă o formulă arbitrară
este o teoremă a sistemului logic considerat
 Dacă se poate stabili că o formulă este adevărată sau nu
 Logica propozițională este decidabilă

 Există metoda clasică a tabelei de adevăr
 Rezoluția propozițională este o metodă alternativă, mai
eficientă


Logica predicatelor de ordin I
 Formulele depind de variabile
 Cuantificatorii se referă la variabile
x = variabilă
muritor = predicat
,  = cuantificatori
Socrate = fapt/instanță/simbol/constantă

Exemple

Reducerea la inferența
propozițională

Reducerea la inferența
propozițională
 Orice formulă predicativă de ordinul I poate fi propoziționalizată
 Mulțimea de termeni ar putea fi infinită
 Father(Father(... Father(John)))
 Teorema lui Herbrand

 Dacă o propoziție este implicată de o bază de cunoștințe de ordin I,
demonstrația implică o submulțime finită a bazei de cunoștințe
propoziționalizate
 Ordinul termenilor crește iterativ în adâncime
 Mai întâi faptele simple: John
 Apoi la adâncimea 1: Father(John)
 Ș.a.m.d. până când demonstrația reușește

Forma normal conjunctivă
 Pentru transformarea în FNC, se elimină elementele de
imbricare din enunț și se separă cuantificatorii de restul
formulei, pentru a fi în final eliminați și ei
 Legile cuantificatorilor:

Exemplu: transformarea în FNC





Substituția
 Forma normal conjunctivă a exemplului este:
 Pentru a aplica rezoluția, trebuie să facem identificarea variabilei x cu

faptul Socrate, identificare notată x / Socrate. Această substituție se
face în a doua formulă, înlocuind variabila x cu Socrate:
de unde se deduce concluzia muritor(Socrate)

Unificarea
 Unificarea returnează o mulțime de substituții

 Pot exista mai multe unificări posibile
 Pentru orice pereche unificabilă de expresii există
cel mai general unificator (unic)


Raționamentul înainte
 Clauză Horn definită
 Disjuncție în FNC cu un singur termen pozitiv
 Formula este echivalentă cu o implicație
 O procedură de căutare presupune descoperirea unei

căi în spațiul problemei care conduce de la starea
inițială la starea scop
 Când căutarea pornește din starea inițială către
starea scop, avem de-a face cu un raționament
înainte
Raționamentul înainte
 Dacă procesul de căutare este modelat printr-un sistem de
producție, rezolvarea problemei apare drept construirea unui
arbore al operațiilor posibile
 Rădăcina arborelui este starea inițială
 Nivelul următor al arborelui se completează prin determinarea
tuturor regulilor a căror parte stângă se potrivește nodului
rădăcină
 Noile noduri se creează prin intermediul părții drepte a regulilor
considerate
 Procedura se repetă pentru fiecare nod, până când se
generează o configurație identică stării scop

Exemplu
 “The law says that it is a crime for an American to sell
weapons to hostile nations. The country Nono, an
enemy of America, has some missiles, and all of its
missiles were sold to it by Colonel West, who is
American.”
 Trebuie demonstrat (scop): Col. West is a criminal

Exemplu
... it is a crime for an American to sell weapons to hostile nations:
1. American(x)  Weapon(y)  Sells(x,y,z)  Hostile(z) ⇒ Criminal(x)
Nono … has some missiles: x Owns(Nono,x)  Missile(x):
2. Owns(Nono,M1) and Missile(M1) M1: funcție Skolem,
… all of its missiles were sold to it by Colonel West tratată ca un fapt
3. Missile(x)  Owns(Nono, x) ⇒ Sells(West, x, Nono)
Missiles are weapons:
4. Missile(x) ⇒ Weapon(x)
An enemy of America counts as “hostile”:
5. Enemy(x, America) ⇒ Hostile(x)
West, who is American …
6. American(West)
The country Nono, an enemy of America …
7. Enemy(Nono, America)

Exemplu
6 2 2 7

Exemplu
4 3 5

Exemplu

Probleme
 Potriviri redundante de reguli
 Raționament înainte incremental
 Fiecare fapt nou dedus în iterația t trebuie derivat din cel
puțin un fapt nou dedus în iterația t – 1
 Algoritmul Rete (Clips, Jess)

Probleme
 Fapte irelevante
 Mulțime magică: folosirea informațiilor din scop
 Exemplu: scopul este Criminal(West)
 Regula care are drept concluzie acest predicat:
American(x)  Weapon(y)  Sells(x,y,z)  Hostile(z) 
Criminal(x)
este rescrisă: Magic(x)  American(x)  Weapon(y) 
Sells(x,y,z)  Hostile(z)  Criminal(x)
iar faptul Magic(West) este adăugat în baza de cunoștințe
 Acum în baza de cunoștințe pot exista milioane de
americani, dar inferența se poate face numai cu West


Raționamentul înapoi
 Spațiul problemei poate fi explorat și în direcție inversă față de
cea urmată în cazul anterior
 Când căutarea pornește din starea scop către starea inițială,
avem de-a face cu un raționament înapoi
 Aici rădăcina arborelui este starea scop
 Nivelul următor al arborelui se completează prin determinarea
tuturor regulilor a căror parte dreaptă se potrivește nodului
rădăcină
 Noile noduri se creează prin intermediul părții stângi a regulilor
considerate
 Procedura se repetă pentru fiecare nod, până când se
generează o configurație identică stării inițiale
Exemplu

Exemplu

Exemplu

Exemplu

Exemplu

Exemplu

Exemplu

Comparație
 Raționamentul înainte
 Este dirijat de date (data driven)
 Recunoașterea obiectelor, decizii de rutină
 Clips
 Poate încerca multe acțiuni irelevante pentru atingerea
scopului
 Raționamentul înapoi
 Este dirijat de scop (goal driven)
 Unde sunt cheile de la mașină, cum pot găsi un serviciu bun
 Prolog
 Determină rezolvări cu o complexitate mai mică decât
raționamentul înainte, dar are mai multe constrângeri

Rezoluția predicativă
 În general, procesul decurge la fel ca și în cazul
propozițional, ținându-se cont de substituțiile necesare
 De exemplu:

Exemplul 1
 În forma normal conjunctivă, premisele sunt:
 Negăm concluzia:

Exemplul 1

Exemplul 1
 A treia ipoteză nu este necesară pentru demonstrarea
concluziei. Dacă pe al treilea nivel al arborelui am fi
utilizat-o, nu am fi ajuns la o contradicție logică, ci
am fi demonstrat că Geta nu este tatăl lui Tudor
 În general, dacă există mai multe posibilități de

substituție și unele încercări nu dau rezultate, trebuie
încercate și celelalte pentru găsirea soluției

Exemplul 2

Demonstrarea teoremelor în
logica de ordinul întâi
 Turing, Church: problema demonstrării teoremelor în
logica predicativă de ordin întâi este semidecidabilă
 Se poate afla dacă o propoziție se poate demonstra
 Nu se poate afla că o propoziție nu se poate
demonstra
 Algoritmul de rezoluție poate rula la infinit
 Problemă echivalentă cu determinarea opririi mașinii
Turing

Prover-Mace
 Prover este un program pentru demonstrarea
automată a teoremelor
 Modulul Mace caută contraexemple, în caz că
Prover nu poate demonstra o concluzie

Prover
 A looks at B
 B looks at C
 A is married
 C is not married
 B is married or B is not married
Trebuie demonstrat:
 a married person looks at an unmarried person

Concluzii
 Procesul de rezoluție este o  Dacă există o demonstrație,
modalitate convenabilă de a metoda rezoluției garantează
deduce noi adevăruri din premise găsirea ei, însă dacă nu există o
multiple astfel de demonstrație, algoritmul
 Un alt avantaj al său este poate rula la infinit
posibilitatea aplicării legilor logice,  În general, este imposibil de
care au fost studiate intens stabilit dacă și când se va
 Metoda beneficiază de o întâmpla acest lucru
formalizare strictă, care asigură
consistența deducțiilor, nelăsând
prea mult loc interpretărilor
subiective

Inteligenta Artificiala: Inferenta in Logica Propozitionala Si Predicativa

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Inteligenta Artificiala: Inferenta in Logica Propozitionala Si Predicativa

Încărcat de

Drepturi de autor:

Formate disponibile

Inteligență artificială

6. Metode de inferență în logica

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 2

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 3

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 4

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 5

 Afirmație: Dacă plouă, nu e soare.

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 6

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 7

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 8

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 9

 Noțiunea de teoremă este de natură sintactică, în

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 11

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 12

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 13

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 14

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 15

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 16

 2. Se introduc negațiile în formule

 3. Se mută conjuncțiile () în afara disjuncțiilor ()

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 17

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 18

 Se observă că soare apare în prima expresie afirmat și

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 19

 Demonstrarea prin rezoluție se bazează pe reducere la absurd:

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 20

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 21

Termenii nu sunt echivalenți, Clauzele noi sunt adăugate la baza de cunoștințe,

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 22

 Trebuie să demonstrăm că s este adevărat

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 23

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 24

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 25

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 26

Reprezentarea în forma normal conjunctivă

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 28

Ordinea potrivirilor 8+9⇒

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 29

 Logica propozițională este decidabilă

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 30

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 31

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 32

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 33

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 34

 Teorema lui Herbrand

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 35

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 36

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 37

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 38

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 39

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 40

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 41

 Forma normal conjunctivă a exemplului este:

 Pentru a aplica rezoluția, trebuie să facem identificarea variabilei x cu

de unde se deduce concluzia muritor(Socrate)

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 42

 Unificarea returnează o mulțime de substituții

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 43

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 44

 O procedură de căutare presupune descoperirea unei

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 46

 Trebuie demonstrat (scop): Col. West is a criminal

Florin Leon, Inteligenta artificiala, http://florinleon.byethost24.com/curs_ia.html 47