Sunteți pe pagina 1din 13

II .BAZELE LOGICE ALE A.I.

Erorile nedetectabile sunt infinite n varietate, spre deosebire


de erorile detectabile care sunt limitate prin definiie.

2.1.

Logica i logica simbolic

[DEX03] "LOGICA este tiina demonstraiei al crui obiect este stabilirea


condiiilor corectitudinii gndirii, a formelor i legilor generale ale raionrii
corecte, conforme prin ordinea ideilor cu organizarea legic a realitii
obiective".
[Larouse1998] Teorie tiinific a raionamentului ce exclude procesele
fiziologice.
http://en.wikipedia.org/wiki/Logic
Logic, from Classical Greek (logos), originally meaning the word, or
what is spoken, (but coming to mean thought or reason) is most often said to be
the study of criteria for the evaluation of arguments, although the exact
definition of logic is a matter of controversy among philosophers. However the
subject is grounded, the task of the logician is the same: to advance an account
of valid and fallacious inference to allow one to distinguish good from bad
arguments.
Traditionally, logic is studied as a branch of philosophy. Since the mid-1800s
logic has been commonly studied in mathematics, and, even more recently, in
computer science. As a formal science, logic investigates and classifies the
structure of statements and arguments, both through the study of formal systems
of inference and through the study of arguments in natural language. The scope
of logic can therefore be very large, ranging from core topics such as the study
of fallacies and paradoxes, to specialist analyses of reasoning such as probably
correct reasoning and arguments involving causality.
Una dintre cele mai vechi tiine grecii antici pentru a obine avantaj verbal
asupra
oponenilor
n
retoric
(Aristotel
384-322
.e.n)
[http://www.neurocomputing.org/Logic_History/body_logic_history.html] The Rationale for Analog Truth Value Operations in the History of Logic
by David D. Olmsted (2000)

Dintre principalele aplicaii ale logicii din domeniul IE:


baze de date i de cunotine, a cror interogare se bazeaz pe logic.
SE, SSD, SSE, dar i deciziile de zi cu zi ale managerului sau omului de
afaceri se bazeaz pe raionamente logice.
Practic nu exist domeniu de afaceri n care logica s nu joace un rol
major.
Logica are dou ramuri eseniale:
logica clasic, sau logica aristotelian1 - categoriile
fundamentale: noiunea, judecata sau raionamentul;
logica matematic, logica formal sau simbolic2..

logice

Logica simbolic fundamentul raionamentului uman3 - avantaje:


asigur expresivitatea i rigurozitatea n reprezentarea cunotinelor;
asigur deducerea unor cunotine noi pe baze altora deja existente.
Utilizeaz simboluri - reprezentarea obiectelor i a operaiilor executate asupra
simbolurilor.
Pentru informatic i pentru IE n special, logica formal prezint un interes
aparte. Dicionarele de informatic se mrginesc n general numai la acestea:
[Colin90]: "logica = substantiv, tiina care se ocup cu gndirea i
raionamentele; logica formal = tratarea formei i structurii, ignornd
coninutul";
[Oxford91] "Logica este un formalism de reprezentare a cunotinelor i a
raionamentelor, dezvoltat iniial de ctre matematicieni pentru a
formaliza raionamentele matematice. In logica matematic, investigaia
cuprinde metode matematice mprumutate din algebr i teoria
Aristotel (384-322.e.n) a fost cel care a definit pentru prima dat precis o serie
de reguli care guverneaz partea raional a gndirii. El a dezvoltat un sistem
informal al silogismelor proprii raionamentelor, n baza crora pornind de la
premise se pot genera mecanic concluzii [Rusell&Norwig03]
2
Exprimarea ideilor logicii formale aa cum a fost ea definit de grecii antici sub
o form matematic a nceput cu lucrrile lui George Bool (1815-1864), care a
dezvoltat n 1847 logica propoziiilor. Gottlab Forge (1848-1925) a dezvoltat
teoria lui Bool incluznd obiecte i relaii crend astfel logica predicatelor de
ordinul I utilizat astzi n reprezentarea cunotinelor. Alfred Tarski (19021983) a introdus o teorie referenial prin care leag obiectele logicii de cele din
lumea real [Rusell&Norvig03, Luger02].
3
[Malia&Malia87]
1

algoritmilor. Sistemele cele mai uzuale sunt calcul propoziiilor i cel al


predicatelor."
[Boden87] Calculatorul i deci, informatica prelucreaz simboluri. Din aceast
cauz logica formal, n tratatele de informatic [Patterson90], apare n general
sub denumirea de logic simbolic.
Logica simbolic de ordinul I, logica propoziiilor + logica predicatelor de
ordinul I4.
2.2.

Logica propoziiilor (PL)

Conform [DEX03], noiunea de propoziie are att semnificaia de CEA MAI


MIC UNITATE SEMANTIC care exprim o idee, o judecat etc., utilizat n
gramatic, ct i cea de enun a crui valoare de adevr este ntemeiat pe
baz de reguli explicit exprimate, utilizat n logica simbolic.
Exemplu: simbolul p - ataat propoziiei Grivei latr ia valoarea adevrat
(True - T) dac ntr-adevr latr, respectiv fals (False-F) dac nu latr.
Diferena dintre gramatic i logica simbolic. n PL, valoarea de adevr a
propoziiei este calitatea acesteia de a fi adevrat sau fals n ntregul ei i nu
intereseaz obiectele constitutive ale sale. Exemplu: propoziia Ionescu este
managerul societii comerciale sau Ionescu manager.
Teoria logic este n esen un limbaj de reprezentare a cunotinelor. Ca orice
limbaj, are dou aspecte eseniale:
aspectul semantic sau abordarea semantic;
aspectul sintactic sau abordarea sintactic.
Ali autori [Nilson98] consider logica sub 3 aspecte:
limbajul (cu sintax care specific expresiile corecte n acest limbaj);
regulile infereniale, prin care se manevreaz propoziiile limbajului;
semantica pentru asocierea elementelor limbajului de semnificaia lor.
Semantica - aspectele intime (interne) ale universului problemei - obiectivele:
notarea propoziiilor ataate universului problemei cu ajutorul unor
simboluri i fixarea valorii de adevr a acestor simboluri;
Bibliografie foarte vast n domeniu chiar i n limba romn
[Florea&Boangiu94, Malia&Malia87, Mihiescu, 66] sau [D.vanDalen84,
Gray85, Graham88, Nilson98, Turner84]
4

stabilirea simbolurilor care joac rolul de conectori, adic leag


simbolurile ataate propoziiilor;
stabilirea valorii de adevr a noilor propoziii astfel obinute (compuse).
Conceptul central n abordarea semantic este cel de valoare de adevr: Este
o formul, o tautologie, adic este ea adevrat indiferent de faptul c are prile
componente adevrate sau false?
Within the study of logic, a tautology is a statement that is true by its own
definition. [http://en.wikipedia.org/wiki/Tautology]
Spre deosebire de abordarea semantic, cea sintactic are ca i concept central
demonstraia logic i anume, trebuie s rspund la ntrebarea: Este o
formul demonstrabil n cadrul unui sistem logic, sau nu?.
Din acest motiv, de regul, semantica este asemnat cu studiul expresiilor din
algebr, unde se demonstreaz corectitudinea formulelor, n timp ce sintaxa se
aseamn cu rezolvarea sistemelor de ecuaii prin metoda substituiei.
2.2.1. Abordarea semantic

n cadrul abordrii semantice trebuie fixate 5 elemente de baz [Patterson90]:


limbajul de descriere a formulelor logice (alfabetul limbajului);
valoarea de adevr a simbolurilor ataate propoziiilor (respectiv
predicatelor);
funciile de evaluare;
mecanismul de raionament reprezentat de consecinele logice;
principiile teoriei logice.
PL- propoziii simple - tratate atomic, ca un tot unitar - se vor nota cu cte un
simbol - litere mari sau mici de la mijlocul alfabetului P,Q,R,, respectiv
p,q,r,... Propoziiile simple - nici o parte a lor nu este o propoziie.
PL clasic - orice propoziie poate fi T sau F, dar nu amndou deodat (legea
terului exclus) - logic bivalent.
Teoremele n logic, sisteme n care se pleac cu valoarea de adevr a unor
propoziii, numite ipoteze (premise), i aplicnd o serie de reguli de raionare
(reguli infereniale), operaii i funcii logice, se ajunge la alte propoziii, numite
concluzii.

[Wikipedia]
A theorem is a proposition that has been or is to be proved on the basis of
explicit assumptions. Proving theorems is a central activity of mathematicians.
A theorem has two parts, stated in a formal language a set of assumptions, and
a conclusion that can be derived from the given assumptions according to the
inference rules of the formal system comprising the formal language. The proof,
though necessary to the statement's classification as a theorem, is not considered
part of the theorem.
In general, a statement must not have a trivially simple derivation to be called a
theorem. Less important statements are called:

lemma: a statement that forms part of the proof of a larger theorem. The
distinction between theorems and lemmas is rather arbitrary, since one
mathematician's major result is another's minor claim. Gauss' lemma
and Zorn's lemma, for example, are interesting enough per se that some
authors present the nominal lemma without going on to use it in the
proof of any theorem.

corollary: a proposition that follows with little or no proof from one


already proven. A proposition B is a corollary of a proposition or
theorem A if B can be deduced quickly and easily from A.

proposition: a result not associated with any particular theorem.

claim: a very easily proven, but necessary or interesting result which may
be part of the proof of another statement. Despite the name, claims are
proven.

remark: similar to claim. Usually presented without proof, which is


assumed to be obvious.

A mathematical statement which is believed to be true but has not been proven
is known as a conjecture. Gdel's incompleteness theorem establishes very
general conditions under which a formal system will contain a true statement for
which there exists no derivation within the system.
As noted above, a theorem must exist in the context of some formal system.
This will consist of a basic set of axioms (see axiomatic system), as well as a
process of inference, which allows one to derive new theorems from axioms and
other theorems that have been derived earlier. In mathematical logic, any
provable statement is called a theorem.
1. Limbajul de descriere a formulelor (sistemul notaional)

n PL - alfabetul este format din simboluri propoziionale definite astfel:


litere mici, p,q,r,sau mari P,Q,R,... ataate propoziiilor;
conectori logici:
~ sau
- negaia
^ - conjuncia
V disjuncia
- implicaia
- echivalena
alte simboluri, cum ar fi de exemplu: (, ).

PL - formulele corecte, corect formulate sau bine formulate, notate n literatur


cu wff well formatted formulas - definesc recursiv:
(i)
un atom (simbol ataat unei propoziii simple) este un wff; un wff n
parantez;
(ii) dac P este un wff , negatul su ~P este un wff;
(iii) dac P i Q sunt wff, atunci P^Q, PVQ, PQ i PQ au aceeai
proprietate;
(iv) mulimea wff-urilor este generat de regulile (i)-(iii).
(P (Q^~R)); (P).
Propoziiile compuse sunt wff-uri care se realizeaz pe baza unor conectori sau
operatori logici. Principalii operatori logici, aa dup cum s-a prezentat mai sus,
sunt: negaia, conjuncia i disjuncia.
Negaia unei propoziii, non P - [French91]: "not.P", P, P , sau ~P.
Operaiile logice - cu ajutorul tablelor de adevr (corespunztoare tablelor
operaiilor aritmetice elementare). Aceste table indic valoarea de adevr a
rezultatului n funcie de valorile de adevr ale componentelor.
P
F
T

~P
T
F

Exemplu: P = Bugetul trebuie aprobat anual, care are valoarea T, negaia ~P,
Bugetul nu trebuie aprobat anual, are valoarea F.
Conjuncia propoziiilor P i Q - P i Q - se noteaz cu P Q. Notaii
[French91]: P.Q, P .and. Q sau P&Q. Exemplu: P = Pmntul este rotund i
Q= impozitul este o datorie fa de stat. P&Q va fi Pmntul este rotund i
impozitul este o datorie fa de stat.

Disjuncia P sau Q i se noteaz cu P Q. Notaii i cu: P+Q, P.or.Q sau


P Q. P Q = T dac P=T, sau Q=T, sau ambele propoziii sunt T. Sau
exclusiv sau Cezar sau nimic. sau logic trebuie interpretat n sensul
limbajului curent astfel: dac P este propoziia Firma X practic comer engros i Q este propoziia Firma X practic comer en-detail, propoziia P
sau Q - sau exclusiv i se noteaz cu xor.
2. Valoarea de adevr
O teorie logic - cel puin dou valori de adevr: true (T) i false (F) - exact
dou valori, avem de a face cu logica bivalent. Aceasta are diferite forme, cum
ar fi: logica propoziiilor, cea a predicatelor, modal sau temporal5.
Klee, Bochvar i Lukasiewicz - logica trivalent adevrat i fals, poate
exista i o a treia valoare, nu tiu sau "necunoscut" sau nedeterminat n
momentul de fa dar urmeaz s fie determinat n viitor, imposibil,
absurd. etc . Ulterior - alte logici trivalente sau cu 4 valori de adevr, logici
denumite neclasice, cum ar fi: logicile lui Lucasiewicz, Post, Klee sau Bochvar.
-> [Turner85], -> logicile fuzzy n care pot exista o infinitate de valori de
adevr, logici bazate pe teoria introdus de Lotfi Zadeh [Zadeh65].
3. Funcia de evaluare
funcie de evaluare - valorizare - de adevr a unui atom, o funcie care ataeaz
atomului respectiv o valoare T sau F n logica bivalent. -> funcia de evaluare a
unei propoziii ataeaz o valoare de adevr propoziiei n funcie de valorile de
adevr ale componentelor, pe baza regulilor de evaluare a conectorilor.
Regulile de evaluare a conectorilor sunt date prin tablele de adevr. n general,
valoarea de adevr a unei propoziii p se noteaz cu pV.
Interpretare a unei formule - atribuirea unei valori de adevr fiecrei
componente a formulei respective. Exemplu, pVq - 4 interpretri posibile, care
formeaz domeniul de interpretare:
I1={T,T},

I2={T,F},

I3={F,T},

I4={F,F}

Considernd, de exemplu, interpretarea I2, valorile componentelor sunt:


pV = T i qV = F

[Turner85, http://plato.stanford.edu/enties]
7

iar valoarea obinut prin funcia de evaluare este:


(p V q)V = T
Pe baza domeniilor de interpretare i a funciilor de evaluare, wff urile se
clasific n:
tautologii sau formule valide T indiferent de interpretare;
consistente care iau valoarea T pentru unele interpretri;
inconsistente (invalide) F pentru unele interpretri;
contradicii - F pentru orice interpretare.
Relaia dintre aceste tipuri de wff - schemele Wyne:

Inconsistent =invalid
pV = F, uneori

Consistent = realizabil
pV = T, uneori
Valid=tautologie
pV = T, ntotdeauna

Contradicie=nerealizabil
pV = F, ntotdeauna

wff-uri - echivalente dac au aceeai valoare de adevr pentru orice interpretare.


modelul unui wff - o interpretare pentru care formula ia valoarea T (n exemplul
nostru I2). Analog, se poate defini modelul unui ansamblu de formule ca fiind o
interpretare pentru care toate formulele sunt adevrate.
4. Principiile teoriei logice
Orice teorie logic trebuie s respecte anumite principii fundamentale.
Respectarea sau dimpotriv, eliminarea unor restricii, stabilete tipul logicii.
a. Principiul fixrii numrului de valori logice
Teoriile logice - un numr fixat, n de valori logice distincte cu 2 n . |V|
cardinalul mulimii V - de cele mai multe ori acest cardinal are o valoare finit.
Exist ns i logici infinite.
Logic este cea bivalent, n care

V = {T,F} i deci |V|=2


n general se consider 3 conectori de baz i anume: ~,
adevr:
P
~P
P^Q
T
F
PVQ
T
F
T
T
F
T
F
T
F
F
F
F

V, ^ cu tablele de
T
T
T

F
T
F

funcie logic - oricrei combinaii de valori logice s-i corespund o valoare


logic. Funciile logice binare, adic acelea care au 2 argumente. Aceste funcii
fac ca la combinaiile FF, FT ,TF i TT s le corespund valorile F sau T. Cum
n domeniul de definiie exist patru combinaii posibile, iar n cel al valorilor,
dou -> [Gray85] exist numai 24=16 funcii logice binare distincte. Se poate
demonstra, de asemenea, c orice funcie binar se poate reprezenta cu ajutorul
celor 3 operatori definii anterior.
Dintre funciile logice, cele mai importante sunt considerate:
Implicaia - inferena logic - operaia principal n domeniul bazelor de
cunotine; notat cu i are semnificaia dac P, atunci Q.
Propoziia PQ ia valoarea fals numai dac din P adevrat rezult Q
fals. Avem, deci, urmtoarele situaii posibile:
o dac P este adevrat, atunci i Q trebuie s fie adevrat;
o dac P este fals, Q poate fi adevrat sau fals;
echivalena logic echivalena - notat cu - reprezentat de dubla
implicaie i deci, genereaz o propoziie compus care este adevrat
dac cele dou propoziii P i Q sunt concomitent adevrate sau false.
Pentru a reprezenta cele dou funcii binare, vom recurge la tabla de adevr:
P
T
T
F
F

Q
T
F
T
F

PQ
T
F
T
T

QP
T
T
F
T

~P
F
F
T
T

~PQ
T
F
T
T

PQ PQQP
T
T
F
F
F
F
T
T

Din tabel se pot deduce o serie de relaii utile, dintre care amintim:
P Q = ~P Q
P Q = ~P Q = ~(~Q) ~P = (~Q) (~ P)
(1)
P Q = P Q Q P

Observaie. n logica formal relaiile de mai sus sunt deosebit de importante.


(1) joac un rol deosebit n raionamentele matematice. De exemplu, o funcie f
este injectiv dac:
pentru orice x y are loc f(x) f(y)
P

Q
Verificarea injectivitii se realizeaz cu implicaia echivalent:
~Q ~P, adic f(x) = f(y) x = y.
Observaie. Formula (1) trebuie tratat cu grij - (1) nu asigur egalitatea P
Q = Q P. Pentru ilustrare s considerm urmtorul exemplu:
avem o cretere a veniturilor avem o cretere a vnzrilor
aceasta este echivalent cu nu avem o cretere a vnzrilor nu avem o
cretere a veniturilor dar aceasta nu este echivalent cu creterea vnzrilor
creterea veniturilor, deoarece vnzrile pot crete i din alte motive, cum
ar fi, solduri, perioad de srbtori, aciuni promoionale, etc.
Algebra boolean nu este singurul sistem logic bivalent - sistemul logic al lui
Hilbert-Ackermann are la baz 3 conectori ~, V i .
Observaie. Pornind de la faptul c au loc relaiile:
P ^ Q = ~ (P ~Q)
P V Q = (~P) Q
Lukasiewicz a definit un sistem logic n care operaiile de baz sunt negaia i
implicaia sistemul logic Lukasiewicz.
n cazul logicii trivalente, deci n cazul |V|=3, avem mai multe sisteme.
Astfel, avem sistemul lui Klee cu V={T,F,U}, unde U este necunoscut, avnd
2 conectori de baz, ~ i ^, definii astfel:
p
T
F
U

~p
F
T
U

p^q
T
F
U

T
T
F
U

F
F
F
F

U
U
T
U

pq
T
F
U

U
U
F
U

De unde se poate deduce:


pVq
T
F
U

T
T
T
T

F
T
F
U

U
T
U
U

pq
T
F
U

T
T
T
T

10

F
F
T
U

T
T
F
U

F
F
T
U

U
U
U
U

Sistemul Lukasiewicz, are V= {T,F,I}, unde I indic un eveniment din viitor


nerealizabil n prezent, dar nu un necunoscut. n acest caz conectorii sunt ~ i
, cu tablele de adevr:
p
T
F
I

~p
F
T
I

pq
T
F
I

T
T
T
T

F I
F I
T T
I T

de unde se deduce:
pVq
T
F
I

T
T
T
T

F
T
F
I

I
T
I
I

p^q
T
F
I

T
T
F
I

F
F
F
I

I
I
I
I

pq
T
F
I

T
T
F
I

F
F
T
I

I
I
I
T

Sistemul Bochvar, creat pentru explicarea unor paradoxuri semantice, are


V={T,F,M}, cu M indicnd absurd i cu conectorii ~ i , avnd tablele de
adevr:
p
~p
pq
T
F
M
T
F
T
T
F
M
F
T
F
T
T
M
M
M
M
M M
T
de unde se deduce:
pVq
T
F
M

T
T
T
M

F
T
F
M

M
M
M
M

p^q
T
F
M

T
T
F
M

F
F
F
M

M
M
M
M

pq
T
F
M

T
T
F
M

F
F
T
M

M
M
M
M

Logicile infinite, cele mai cunoscute, - logicile fuzzy, introduse de Lotfy Zadeh,
pentru a reprezenta cunotinele descrise cu ajutorul incertitudinii lingvistice. V
este o submulime mrginit a lui R +. Aceast mulime - normalizat lund n
locul lui V, mulimea V/|V|, nlocuind fiecare element v din V cu v/|V|. ->
V=[0,1] n toate cazurile. De exemplu, considernd o firm i notnd cu x
beneficiul obinut de firm, putem defini msurile fuzzy de exemplu astfel:
dac beneficiul este de x=1.000.000, Beneficiu (x)=0
dac beneficiul este de x=50.000.000, Beneficiu (x)=0.2

dac beneficiul este de x=1.000.000.000, Beneficiu (x)=0.6

11

b. Principiul consistenei i non-contradiciei


Pentru un domeniu de interpretare dat, o propoziie - o valoare unic din V
principiul valorizri non-contradictorii i consistente. Cu alte cuvinte, fie D
mulimea propoziiilor, considernd V={T,F} i
DT={pD | pV=T}, respectiv DF={pD | pV=F}; se obine DT DF=
Logicile polivalente, cu V={v1, v2, , vn}, Di={pD | pV=vi},condiia de
consisten se poate scrie:
Di Dj = , pentru ij.
Logicile care nu sunt consistente se numesc paraconsistente sau logici
suprasaturate. n aceste logici propoziiile pot primi deodat dou sau mai
multe valori de adevr, deoarece n general
Di Dj , pentru ij.
c. Principiul excluderii celei de a n+1-a valori
Unui atom i se poate asocia o valoare din mulimea V, pe domeniul de
interpretare funcia de evaluare este total definit pe domeniul de
interpretare.
Principiul excluderii celei de a n+1-a valori - n logica bivalent, legea terului
exclus:
DT U DF = D
orice propoziie este ori adevrat, ori fals, nu poate lua o a treia valoare.
n general, legea excluderii celei de a (n+1)-a valori logice are forma:
n
U Di = D, pentru V = {v1, v2, , vn}.
i=1
Pornind de la dou valori logice, admiterea sau respingerea principiilor b. sau c
genereaz diferite logici. Astfel,
admiterea ambelor, duce la logica clasic;
admiterea consistenei b i respingerea c duce la logici lacunare de tipul
logicilor trivalente a lui Klee, Lukasiewicz, Bochvar sau la logici
intuitiviste, unde se admite i a 3-a valoare;
respingerea lui b i admiterea lui c duce la logici paraconsistente;

12

respingerea ambelor principii, duce la logici cu semantici aproximative,


numite i logici relevante, unde o propoziie poate admite mai multe
valori sau rmne neevaluat.
d. Principiul constanei de valorizare a unei propoziii elementare
Unei valori de adevr unei propoziii elementare date trebuie s rmn aceeai
la toate apariiile acesteia atta timp ct se consider o anumit interpretare.
Renunarea la acest principiu duce la logici paraconsistente sau relevante.
5. Mecanismul raionamentului
Realizarea raionamentului ntr-un sistem logic obinerea unor formule noi
pe baza celor existente o extindere consistent a cunotinelor despre
universul problemei.
O formul Q - consecin logic a unei formule P, dac Q ia valoarea T pentru
toate interpretrile pentru care P ia valoarea T. n general, Q - consecin
logic a unei mulimi de formule P1, P2, , Pn, dac Q primete valoarea T
pentru orice interpretare pentru care P1, P2, , Pn iau valoarea T. Consecina
logic se noteaz n general cu simbolul implicaiei .
(P1). Q este consecina logic a lui P1, P2, , Pn este echivalent cu faptul c
P1 ^ P2 ^ ^ Pn Q este valid.
Pe baza proprietilor implicaiei, propoziia de mai sus mai poate fi enunat i
astfel:
(P2). Q este consecina logic a lui P1, P2, , Pn este echivalent cu faptul c
P1^ P2^ ^ Pn~Q
este inconsistent.
(P1), (P2) - constituie baza raionamentului logic i a demonstrrii
corectitudinii, deoarece reduce problema consecinelor logice la cea a
demonstrrii validitii sau inconsistenei unor formule.

13