Inteligen artificial

6-7. Reprezentarea cunoaterii

prin logica predicatelor
Dan Glea, Florin Leon
Universitatea Tehnic Gh. Asachi Iai
Facultatea de Automatic i Calculatoare
http://eureka.cs.tuiasi.ro/~fleon/curs_ia.htm

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Raionamentul

O trstur de baz a inteligenei este capacitatea de a

face asociaii i de a genera noi informaii pe baza celor
existente
Aceast capacitate se manifest prin posibilitatea de a
raiona
Raionamentul este un lan de judeci, al crui obiectiv
este obinerea de noi adevruri
Judecata este o form fundamental de logic, exprimat
prin propoziii prin care se afirm sau se neag ceva i
care are o valoare de adevr (adevrat sau fals)
ntr-un raionament, o judecat numit premis este legat
de o alta, concluzia, prin operaia logic numit inferen

Raionamentul deductiv

Din premise cu caracter general

se extrage o concluzie cu
caracter particular
Putem gndi aceast abordare
ntr-o manier top-down:

se pleac de la o teorie general n

problema studiat
se definesc unele ipoteze care
trebuie testate
se fac observaiile necesare
n funcie de acestea, teoria este
confirmat sau nu

Raionamentul deductiv
Un

exemplu n acest sens

este silogismul clasic:

Socrate este om.

Toi oamenii sunt muritori.
n consecin, Socrate este
muritor.

IQ Test
Nici

un om nu este bun, dar unii oameni

nu sunt ri. Atunci:
toi oamenii nu sunt ri
nici un om nu este ru
toi oamenii nu sunt buni

Raionamentul inductiv

De la premise cu caracter
particular se ajunge la o
concluzie general
Aceast abordare parcurge
drumul invers, bottom-up:

se pleac de la unele observaii

se determin modele
se propun ipoteze care s le
includ
se formuleaz o teorie

Raionamentul inductiv

Spre deosebire de raionamentul deductiv,

cel inductiv nu i propune s produc
informaii sigure
Acesta nu utilizeaz legi logice de inferen,
ci se bazeaz att pe o serie de observaii
apropiate din punct de vedere semantic, ct
i pe cunotine anterioare
De exemplu:

Observaie: Mihai nu a terminat programul pe

care trebuia s l fac la termenul limit fixat.
Observaie: Mihai se intereseaz de preul
componentelor de calculatoare.
Experien anterioar: Mihai i ndeplinete
ntotdeauna sarcinile cu contiinciozitate.
Concluzie: Calculatorul lui Mihai s-a defectat.

IQ Test
Ce

urmeaz n seria urmtoare:

3 Z 5 Y 9 X 17 _ _ ?
(W 33) .

Inducia matematic

n multe situaii, o teorie presupus adevrat n urma unor

raionamente inductive trebuie confirmat pentru a se gsi un
model general de aplicabilitate
Intervine aici metoda induciei matematice, care are scopul de
a produce conluzii sigure din punct de vedere logic i care
nlocuiete analiza unei mulimi infinite de cazuri cu
demonstrarea faptului c, dac o propoziie este adevrat
ntr-un caz, ea se dovedete adevrat i n cazul care
succede acestuia
Propoziia trebuie verificat mai nti pentru o valoare
concret i apoi trebuie demonstrat c adevrul ntr-un pas
implic adevrul n pasul urmtor

Exemplu

Raionamentul transductiv

Premisele i concluzia sunt la acelai nivel de

generalitate
Acest tip de raionament face apel la gsirea unor
analogii
IQ Test:

Trompeta este pentru cntat ceea ce cartea este pentru ...

(citit)

Subiectul trebuie s identifice relaia dintre obiect i

principala proprietate funcional a sa, pentru ca
apoi aceast relaie s fie aplicat celuilalt obiect

Deducie vs. inducie

Deducia i inducia conduc la diferite maniere de

cercetare
Cercetarea inductiv este mai deschis spre
explorare iar rezultatele finale nu sunt ntotdeauna
foarte precis conturate
Inducia matematic are o larg utilizare n
matematic, putnd fi utilizat la calcularea de sume
i produse, la demonstrarea unor egaliti i
inegaliti n probleme de divizibilitate, etc.
Cercetarea deductiv este mai strict i se
concentreaz asupra testrii i confirmrii ipotezelor

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Logica propoziional

Formalismul logic prezint interes deoarece permite

derivarea de noi cunotine din cunotine deja
existente, prin deducie logico-matematic sau
inferen
O propoziie e adevrat dac deriv din propoziii
cunoscute ca adevrate
Acesta a fost unul din primele domenii legate de
inteligena artificial, deoarece este strns legat de
posibilitatea demonstrrii automate a teoremelor,
folosit cu succes n teoria numerelor sau n
geometrie

Formule bine formate

Logica predicatelor

Sunt numeroase cazurile n care un enun depinde

de mai multe argumente
De exemplu, n propoziia Socrate este om, avem
de-a face cu o clas, cea a oamenilor, i cu un
obiect care are proprietile corespunztoare clasei
n aceast situaie, avem de-a face cu un predicat
Instana Socrate face predicatul om adevrat:

Afirmaie: Socrate este om.

Reprezentare: om(Socrate)

Cuantificatori

Cuantificatori

Logica predicativ i
limbajul natural

n limbajul natural, multe propoziii sunt ambigue i

pentru ele exist mai multe moduri de reprezentare
Reprezentrile simple sunt preferabile, ns pot face
imposibile unele tipuri de raionament
Chiar i n unele propoziii simple, cantitatea de
informaii explicite nu este suficient pentru un
raionament apropiat celui uman
Mai este nevoie de alte propoziii, pe care oamenii
le consider prea banale pentru a le meniona

Exemplu

Exemplu

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Propoziie

Deducie. Teorem

Tautologie

Teorema de completitudine a
calculului propoziional
n

calculul propoziional mulimea teoremelor

coincide cu mulimea tautologiilor

Teorema de completitudine a
calculului propoziional

Rezultatul afirm c un sistem logic formal este complet

dac toate formulele sale valide sunt derivabile ca teoreme
Noiunea de teorem este de natur sintactic, n timp ce
noiunea de tautologie are o natur semantic
Teorema subliniaz faptul c acest noiuni sunt
echivalente, adic orice tautologie poate fi dedus pe cale
sintactic i reciproc
Acest lucru ne asigur c teoremele deduse corect dup
regulile de inferen stabilite sunt adevrate n orice
situaie i, reciproc, orice propoziie adevrat n orice caz
este o teorem, care poate fi folosit ulterior n procesul de
inferen

Reguli de inferen complete

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Reguli de transformare
a formulelor
Dac n unele situaii se prefer modalitatea de
raionament nainte, n care se pleac de la
ipoteze i se ncearc dezvoltarea de teoreme,
pn cnd se ajunge la concluzia dorit, n alte
situaii se poate utiliza raionamentul napoi
Rezoluia (Robinson, 1965) este o procedur de
inferen des folosit pentru a modela diversele
procese de raionament din logica predicatelor
Demonstraiile se efectueaz prin reducere la
absurd

Reguli de transformare
a formulelor

Pentru a demonstra c o propoziie (concluzia)

este adevrat, se ncearc demonstrarea
faptului c negata sa produce o contradicie la
nivelul ipotezelor

Pentru a aplica aceast metod, orice enun

predicativ trebuie adus la forma normal conjunctiv,
adic un enun echivalent format dintr-o conjuncie
() de disjuncii ()
n acest sens, asupra enunului iniial trebuie
aplicate o serie de rafinri succesive, bazate pe
cteva reguli de transformare a formulelor

Reguli de transformare
a formulelor

Reguli de transformare
a formulelor

Reguli de transformare
a formulelor

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

FNC
Pentru

transformarea unui enun n forma

normal conjunctiv, se urmrete eliminarea
elementelor de imbricare din enun i
separarea cuantificatorilor de restul formulei,
pentru a fi n final eliminai
De aceea, se recomand ca fiecare
cuantificator s fie legat de propria variabil

Exemplu

Pasul 1

Pasul 2

Pasul 3

Pasul 4

Pasul 5

Pasul 5

Pasul 6

Pasul 7

Pasul 8

Pasul 9

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Rezoluia propoziional
Ideea

de baz a acestei forme de

raionament este deducerea din dou
propoziii, n care unul din termeni apare cu
valori de adevr contrare, a unei concluzii din
care este eliminat termenul respectiv

Exemplu

Rezoluia propoziional

Exemplu

Exemplu

Exemplu

Reprezentarea cunoaterii
prin logica predicatelor
1. Tipuri de raionament
2. Logica propoziional i logica predicatelor
3. Teorema de completitudine a calculului propoziional
4. Procesul de rezoluie
4.1. Reguli de transformare a formulelor
4.2. Forma normal conjunctiv
4.3. Rezoluia propoziional
4.3. Rezoluia predicativ
5. Concluzii

Rezoluia predicativ
n

logica predicativ, formulele depind de

variabile
ns dac ntr-o formul avem o instan
particular a unei anumite clase, trebuie
gsit o modalitate de introducere a acesteia
n algoritmul de rezoluie general

Exemplu

Exemplu

Exemplu

Exemplu

Exemplu

Exemplu
Se

poate constata c 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 contradicie
logic, ci am fi demonstrat c Geta nu este
tatl lui Tudor
n general, dac exist mai multe posibiliti
de substituie i unele ncercri nu dau
rezultate, se recomand un backtracking
pentru gsirea soluiei

Concluzii

Procesul de rezoluie este o modalitate convenabil de a

deduce noi adevruri din premise multiple
Un alt avantaj al su este posibilitatea aplicrii legilor logice,
care au fost studiate intens
Metoda beneficiaz de o formalizare strict, care asigur
consistena deduciilor, nelsnd prea mult loc interpretrilor
subiective
Exist i unele limitri; dac exist o demonstraie, metoda
rezoluiei garanteaz gsirea ei, ns dac nu exist o astfel
de demonstraie, algoritmul poate intra ntr-o bucl infinit
n general, este imposibil de stabilit dac i cnd se va
ntmpla acest lucru