1. Logica propoziiilor.

Calculul predicatelor
Logica propoziiilor
Logica propoziiilor se bazeaz pe determinarea strii de adevrat sau fals ale
coninutului acestora sau a modului de implicare (o afirmaie are o implicaie ntr-o alt
afirmaie), iar cnd avem mai multe propoziii se aplic axiomele pentru determinarea
strii logice finale. entru acesta se traseaz tabela de adevr.
!e pune problema formalizrii limba"ului natural adic gsirii unui mod de substituie
a limba"ului natural cu un limba" formal. entru o asemenea descriere vom folosi notaii
speciale pentru categoriile#
$. %onstante referitoare la obiecte
&. redicate referitoare la relaia dintre obiecte
'. (rgumente de tip predicat cu nume specifice (ex# studenii de la )** sunt cu
taxe+, cu taxe (studeni )**))
-. (rgumente de tip predicat pentru ad"ective (Leul este instabil +, instabil(leu))
.. /erbele sunt reprezentate ca predicate cu argumente care pot fi subiecte sau obiecte
(ex# plou +,plou()0 cre1terea leului +, cre1te(leu)0 ( plte1te lui 2 $33 lei
+,pltete(A,B,100))
4. 5impurile se introduc ca 1i argumente (( a pltit lui 2 $33 lei
+,pltete(A,B,100,trecut))
6. (rticolele nedeterminate se reprezint cu a"utorul cuantificatorilor existeniali
7(eist cel puin un! pentru care propoziia este adevrat)# Un client a deschis un
cont +, (,")#client()cont(")desc$is(,",trecut)
8. (nalog se procedeaz cu expresii ca 7este9,9 exist9,9sunt9 # Exist un venit diferit
de salariu sau pensie +, ()#%enit() este&un(,")di'erit(",salariu)
di'erit(",pensie)
:. ;xpresii de genul 7oricare9, 7totul7, 7fiecare9 se reprezint cu a"utorul
cuantificatorului universal 7(propoziie ade%rat pentru oricare ..)# Orice persoan
trebuie s plteasc impozit +, ()#persoana() trebuie&platit(,i(pozit)
$3. )mplicaiile reprezint expresii condiionale. )< este premisa sau condiia, iar
5=;> este aciunea sau concluzia# Dac un om este fericit, el este prietenos +,
()#'ericit() prietenos()
? alt metod de utilizare a logicii este inferarea, adic derivarea unor propoziii noi
din propoziii existente.
)*Tribuna economic apare joi
+*Astzi este luni
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
,*Tribuna economic nu apare azi
$
entru a nu scrie ntotdeauna toate propoziiile, acestea vor fi nlocuite cu litere.
%alculul propoziional are n vedere enunurile declarative repartizate n dou
grupe# (devrat 1i <als. ? propoziie compus este format din propoziii elementare
legate cu conectorii ((>*) (?@), iar pentru negarea unei propoziii se folose1te
A(>?5) . entru a stabili valoarea de adevr a unei propoziii vom folosi urmtorul tabel#
5abela de adevr pentru cteva propoziii logice
A B -A -B AB AB
A A . . A A
A . . A . A
. A A . . A
. . A A . .
Calculul predicatelor
%alculul predicatelor permite fragmentarea propoziiilor n obiecte (argumente) 1i
predicate (aseriuni despre atributele obiectelor)0 calculul predicatelor permite, de
asemenea, utilizarea variabilelor 1i funciilor de variabile. (ceste proprieti fac din
calculul predicatelor un instrument mai puternic dect calculul propoziional.
5recerea de la propoziie la forma de calcul predicativ arat n felul urmtor#
Crediteaz 101 cu 0!000!000" crediteaz(101,/0000.000) sau (crediteaz 101
/0.000.000)
Bn exemplul de mai sus am utilizat valori concrete, dar la fel de bine se pot utiliza
n descrierea formal a predicatelor variabile cont&de&acti%(), deci putem scrie
propoziii generalizate.
%uantificatorii universal 1i existenial enunai mai sus se pot folosi 1i la calculul
predicatelor#
;x# #o$i %opescu sunt cet$eni ai &om'niei" (),)opescu()&0cetean&ro(1n()
acesta se poate citi astfel Daca x este %opescu atunci x este rom'n
(),cont()&0cont&de&acti%() A23 cont(4151)*0cont&de&acti%(4151)
Contul (1)1 este un cont de activ dac (1)1 este un cont *i toate conturile sunt de activ
6erciii#
$. 5ransformai urmtoarele predicate n propoziiile corespunztoare#
;!5;()><L(C)( D(@;)
*;2)5;(EF(G, %?>5(.$'$))
&
&. Htilizai urmtoarele enunuri pentru scrierea de formule n calculul predicatelor#
(x)+ x este un economist
!(x)+ x este inteligent
L(x,I)+ x iube1te I
a) toi economi1tii sunt inteligeni ((),)()&07())
b) unii economi1ti sunt inteligeni
c) nici un economist nu este inteligent
d) unii sunt economi1ti
e) nici unul nu este economist
f) unii economi1ti nu sunt inteligeni
g) exista economi1ti
J) unii iubesc pe alii
i) toi l iubesc pe economist
") nimeni nu iube1te economistul
K) unii economi1ti sunt iubii
l) toi iubesc economi1tii inteligeni
>ot# modul de scriere a formularelor poate varia n funcie de modul de
interpretare.
'
5. ,eguli de producie
Detoda regulilor de producie are la baz conceptul de reprezentare a cunoa1terii
sub forma unor reguli de forma# 3AC8 premis A9:2C; concluzie1 AL9.6L
concluzie2. (tt premisele ct 1i concluziile sunt stabilite de expert. remisa este, de
obicei, o afirmaie care este evaluat dac este adevrat sau fals. %oncluziile pot fi soluii-
aciuni. ? concluzie poate deveni la rndul lui premis ntr-o alt regul. *e asemenea,
acest tip de reprezentare a cunoa1terii permite folosirea variabilelor.
@egulile de producie pot fi clasificate dup ordinea n care se merge n inferen
(premise -, concluzie, sau concluzie -, premise) sau dup tipul de entiti coninute
(constante sau variabile).
a) ,eguli de producie deducti%e (,)3). !unt de forma#
3AC8
<pre(ise0
A9:2C;
<concluzie0
Bn acest caz se utilizeaz implicaia logic n sensul c dac premisele sunt
adevrate, atunci 1i concluzia este adevrat 1i aceasta se adaug 1i ea bazei de fapte.
%a urmare, se pot aplica alte reguli care conin ntre premise 1i fapta nou
adugat.
b) ,eguli de producie inducti%e (@)). !unt de forma#
<concluzie0
3AC8
<pre(ise0
(ceste reguli declan1eaz deducii succesive, plecnd de la concluzie 1i verificnd
fiecare premis. *ac premisele se gsesc a fi adevrate se concJide c 1i concluzia este
adevrat.
*in punct de vedere logic, regulile deductive 1i cele inductive sunt formulri
ecJivalente.
c) ,eguli de producie cu %ariabile (,)=)
Htilizarea unor reguli care conin doar constante este neeconomic datorit
faptului c trebuie scris cte o regul pentru fiecare caz n parte, cJiar dac sunt mai
multe cazuri similare.
%a 1i n cazul predicatelor, folosirea variabilelor ofer o modalitate general de
exprimare.
;xemplu # resupunem c sunt necesare reguli pentru pensionarea unui anga"at de forma#
-
;. ;onescu =. este salariat
A23 ;onescu =. a depit %1rsta de >4 ani
9?62 ;onescu =. se poate pensiona
(stfel de reguli trebuie scrise pentru fiecare anga"at, soluie greoaie 1i
neeconomic. !e poate scrie ns o regul cu variabile care s fie valabil pentru toi
anga"aii#
;. @ este 7ALA,;A9
AND ?x are vrsta > 65
9?62 @ se poate pensiona
Bn continuare vom reda o posibil list de reguli de producie care vor fi de folos
la alegerea unui tip de imprimant. (vem trei tipuri de imprimante#
$. cu ace (costul de ntreinere redus, calitate rea, pre mediu) recomandat
pentru contabilitate
&. cu "et (calitate bun, pre mic, costuri relativ mari) recomandat pentru
birouri mici sau pentru casa cu numr redus de listri
'. cu laser (calitate foarte bun, costuri mici, pre foarte mare) recomandat
birourilor, firmelor mari unde calitatea documentelor este important.
/om face mai nti un tabel n care vom include datele de mai sus#
5ip imprimant (ce Let Laser
roprieti
re mediu mic mare
%osturi <Mmic mare mic
%alitate rea buna <Mbun
? regul de producie ar arta astfel#
;. calitate*'Abun
A23 costuri*(ici
A23 preAac$iz*(are
9?62 Alege i(pri(anta laser
utem constata c pentru a lua n considerare toate posibilitile trebuie s scriem
'x'x'+&6 reguli de producie. ;vident sunt combinaii (ilogice) care nu ne duc la nici o
soluie concret (ex# pre-mare costuri-mari calitate-rea). 6erciiu 1# scriei celelalte
reguli de producie logice.
6erciiu 5# !tabilii criteriile 1i concepei regulile de producie pentru un sistem
expert care s ne asiste n alegerea unei anumite metode de investiii financiare (banc,
valut, aciuni). ?bservaie pentru a rezolva problema trebuie s utilizai posibilitatea
utilizrii variabilelor 1i valorilor numerice n scrierea regulilor de producie.
.