1.

Introducere
Ce este logica? Logica este ramura filosofiei care se ocup cu analiza
modelelor de raionament prin care o concluzie este obinut dintr-un set de
premize, fr referire la neles sau context (Collins English Dictionary).
Logica este studiul inferenei i argumentrii. Inferenele sunt reguli de
determinare pas cu pas din una sau mai multe propoziii, cunoscute ca
premize, o alt propoziie, numit concluzie. O inferen deductiv este acea
inferen care are scopul de a fi valid, atunci cnd inferena este una n care
concluzia poate fi adevrat dac premizele sunt adevrate. Toate celelalte
inferene se numesc inductive (Britanica Cocise Encyclopedia).
Ce studiaz logica? Logica lucreaz cu dou componente cheie, pe
care orice om de tiin sau tehnician din domeniul IT le are: abstracia i
formalismul.
De ce este important logica? Logica este o formalizare a
raionamentului. Ea este un limbaj formal pentru deducerea cunotinelor
dintr-un numr mic de premize stabilite explicit (axiome, ipoteze, fapte).
Logica asigur un cadru formal de reprezentare a cunotinelor. Deasemenea,
logica separ, ntr-un argument, structura de coninut.
1.1 Scurt istoric al logicii
Istoric, privind dezvoltarea logicii, se pot distinge urmtoarele perioade:
logica antic, logica medieval i tradiional, apoi logica modern (logica
computaional).
Logica antic
Logica antic se regsete n diverse culturi i tradiii de-a lungul
istoriei. Se pot distige dou feluri de sisteme logice n aceste culturi: sisteme
de raionament ilizibile (greu decodabile) care se ntlnesc n multe culturi, i
Logic computaional 2
logici inteligibile care se ntlnesc respectiv n cultura greac, chinez,
indian, islamic. Tratarea, sofisticat formal, a logicii moderne descinde din
tradiia greac, parial din Europa, transmis prin filozofi islamici n Europa
medieval. In logica greac se regsesc dou tradiii logice principale rivale:
logica stoic (logica din coala greac fondat de Zeno prin care se credea c
Dumnezeu determin orice lucru pentru a nvinge iar virtutea este suficient
pentru fericire) i logica peripatetic (logica discipolilor lui Aristol).
Colecia de lucrri a lui Aristotel, cunoscut ca Organon, a fost prima
lucrare sistematic de logic reprezentat prin silogisme. Silogismul este o
form de raionament deductiv care conine: o premiz major, o premiz
minor i o concluzie. Un exemplu de silogism:
Toi oamenii sunt muritori. Premiz major
Eu sunt un om. Premiz minor
Aadar, eu sunt muritor. Concluzie
Notaia arta astfel:
OsM
EsO
EsM
EsM se deduce logic
OsM i EsO
In India din ase coli antice dou au tratat gndirea logic:
Nyaya - coal realist care dezvolt o schem rigid cu cinci
componente logice: o premiz iniial, un raionament, un exemplu, o
aplicaie i o concluzie;
Vaisheshira filosofie Budist idealist a crei analiz se centraz pe
definirea deduciei logice necesare, cunoscut ca i concomiten
invariabil sau pervasiune.
China antic este reprezentat prin logicienii: Confucius (simbolul
culturii chineze), Mozi (coala de Mohism), Chuang Tzu, Hui Tzu, Gongsun
Long.
Introducere 3

Filosofii islamici au fondat legi importante bazate pe formulri
argumentate, care au determinat o abordare nou pentru argumentaia numit
kalam. Kalam a fost puternic influenat de colecia Organon a lui
Aristotel. Logica islamic cuprinde: studiul modelelor formale de inferen i
validitatea acestora, precum elemente de filosofie a limbajului i elemente de
epistemologie i metafizic. Deasemenea filosofii islamici au lucrri foarte
intersante cu privire la relaiile dintre logic i limbaj.
Logica medieval i logica tradiional
Logica medieval, cunoscut ca i Logica scolastic, n general se
manifest sub forma logicii Aristoteliene dezvoltat n Europa medieval pe
perioada 1200-1600. Peter al Spaniei sec. al XIII-lea elaboreaz lucrarea
Tractatus. Lucrrile lui William Ockham i Jean Buridan dezvolt logica
aristotelian cu Teoria supoziiei prin studiul semanticii termenilor i
propoziiilor. In aceast perioad tradiional ultimele lucrri sunt Logica
lui John Poinsot (1589-1644) i Disputele Metafizice a lui Francisco Suarez
(1548-1617).
Logica tradiional se refer la textele tradiionale care ncep cu Logica
lui Antoine Arnault i Pierre Nicole. Cartea publicat n 1662, cu texte de
lgic tradiional, a influenat mult lucrrile de logic din Anglia i Sistemul
logic al lui Mill din 1843. Lucrrile din perioada tradiional includ: Logic:
the Right Use of Reason (1725) a lui Isaac Watts,Logic a lui Richard
Whately (1826), Un Sistem Logic a lui John Stuart Mill (1843).
Logica modern (Logica Computaional)
Logica modern este reprezentat de: Descartes, Leibnitz, De Morgan,
Boole, Frege, Hilbert, Charles Peirce, Whitehead, Russel, Tarsi, Turing,

Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 4
Rene Descartes (1596-1650) a combinat formalismul cu calculaia, a
demonstrat c geometria clasic poate fi dezvoltat cu metode algerice pure
utiliznd sistemul de coordonate i ecuaii. El a lansat idea c raionamentul
formal este calcul.
Gottfried Wilhelm Leibniz a cultivat idea calcului raional i a propus
un limbaj universal, prin care fiecare adevr posibil poate fi exprimat i
raionamentul poate fi fcut ntr-un mod precis sistematic i matematic
utiliznd o enciclopedie universal. El a fost primul care a formulat noiunea
de sistem aplicabil la scar larg a logicii matematice.
Augustus de Morgan (1806-1871) and George Boole(1815-1864) au
dezvoltat logica propoziiilor.
Gottlob Frege(1848-1925) specific n faimoasa lucrare Begrisschrift
primul calcul complet al logicii de ordinul nti utiliznd conectivitatea
boolean, cuantificatorii, relaiile i funciile. El extinde logica formal peste
logica propoziiilor pentru a include constructorii oricare i nite. Frege
arat cum se introduc variabilele i cuantificatorii pentru a releva structura
logic a enunurilor, care ar fi fost obscure prin structura lor gramatical.
Charles Peirce a introdus termenul Logic de ordinul doi i a inclus
simboluri prefixate pentru cuantificatorii universali i existeniali.
Giusepe Peano n 1889 a publicat prima versiune a axiomatizrii logice a
aritmeticii cunoscut ca Axiomele lui Peano. Una din cele 5 axiome
stabilete formalizarea principiului induciei matematice.
David Hilbert (1862-1943) a vrut s realizeze o baz logic pentru
matematica clasic, astfel ca matematica clasic s poat fi tratat axiomatizat
i formal prin calcul logic.
Introducere 5

Alfred North Whitehead (1861-1947) i Bertrand Russel (1872-1970) n
faimoasa Principia Mathematica (1910-1913) sunt cei care stabilesc
axiomatizarea i formalizare prin calcul logic.
Alfred Tarski (1902-1983), utiliznd logica de ordinul I, arat c
sistemul sintactic poate fi acompaniat de sistemul semantic i c acesta din
urm d semnificaie construciilor sintactice. El a dezvoltat conceptul
matematic de interpretare n 1929.
Kurt Godel (1906-1978) i Jacques Herbrand (1908-1931) au prezentat
independent n anul 1930 conceptul de completitudine. In 1931 Godel a
dezvoltat conceptul de funcie computabil. El a definit noiunea de funcie
recursiv primitiv precum i funciile recursive. Funciile recursive au fost
utilizate de Godel pentru a arta nedecidabilitatea logicii predicatelor.
Alan Turing (1913-1954) a dezvoltat un dispozitiv mecanic abstract aa-
numita Main Turing care a fost capabil s calculeze orice funcie
calculabil. Turing a formulat faimosul Test Turing , care imit un joc cu
trei juctori: O persoan masculin A, o persoan feminin B i o persoan C
masculin sau feminin. C este singur ntr-o camer i nu poate vedea nici pe
A nici pe B, dar poate vorbi cu A i cu B prin intermediul unei maini de scris.
Scopul acestui joc este ca eventual C s poat spune care dintre celelalte dou
persone este masculin i care este feminin. Ce se ntmpl dac jocul este
uor modificat n sensul ca rolul lui A s fie jucat de o main ? Va avea
succes juctorul C jucnd n acest caz diferit ? Turing i pune ntrebarea
dac pot trece calculatoarele acest test.
Coninutul logicii moderne este urmtorul:
logica propoziiilor;
logica de ordinul I;
logica ecuaiilor;
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 6
logica de ordin superior;
inducia i abducia;
logici non clasice;
programarea logic;
programarea cu restricii: probleme de planificare, probleme de
plasament, planificare i programare, proiectare i configurare,
managementul logisticii i resurselor, costul stocurilor on-line;
baze de date logice : baze de date deductive;
dezvoltarea de programme : sinteza programelor, verificarea
programelor, corectitudinea parial, terminarea, evaluarea
paral, absena erorilor de execuie, semantica formal a
limbajelorde programare, ingineria software, reutilizarea
software;
procesarea limbajelor naturale;
maina de nvat : programarea logic inductiv;
logica i conecionismul;
ageni raionali : sisteme multi-agent;
programarea Internet: reele inteligente.
n universul logicii, printre cei care practic problemele acestei discipline,
s-a instituit o ierarhizare pe mai multe nivele. Abordarea logicii, n care
factorul dezvoltrii acesteia n timp a devenit o caracteristic de stratificare, se
prezent astfel:
Logica de ordin zero (zeroth-order logic) cunoscut ca: funciile
booleane sau calculul predicatelor monovalent sau calculul
propoziiilor;
Logica de ordin unu (fist-order logic): o extensie a logicii
propoziiilor numit i calculul predicatelor sau logica predicatelor;
Introducere 7

Logica de ordin doi (second-order logic): o extensie a logicii de
ordin I prin introducerea teoriei tipurilor (teorie care se refer la
proiectarea, analiza i studiul sistemelor de tipuri);
Logica de ordin superior (higher-order logic): o extensie a logicilor
de ordin inferior prin introducerea tipurilor de variabile n
cuantificare i prin introducerea predicatelor care pot avea ca
argumente unul sau mai multe predicate.
1.2 Logica uman
Oamenii, printre altele, sunt i procesoare de informaii. Noi captm
informaii despre lumea inconjurtoare i utilizm aceste informaii pentru a
ne fi de folos acum sau mai trziu. Una dintre caracteristicile puternice ale
procesrii informaiei de ctre om este abilitatea de a reprezenta i manipula
informaia n mod raional, nu numai direct a faptelor simple ci i a formelor
complexe de informaii cum ar fi negarea, alternana, constrngerea, s.a.m.d.
Pentru a ilustra aceast abilitate, s considerm un simplu joc din lumea
copiilor, cel cu nite cuburi colorate. Avem date cteva fapte despre aranjarea
a cinci cuburi ntr-o stiv i ni se cere s determinm exact aranjarea acestora.
Faptele date sunt exprimate prin cteva propoziii simple care constituie
premizele problemei.
Prima aseriune ne spune exact locaia cubului rou. A doua sentin nu
este aa de exact ca prima i ne d numai o restricie pe locaiile relative la
cubul verde i la cubul albastru. A treia afirmaie ne d prin negare o
informaie despre cubul verde relativ la cubul albastru. A patra judecat
statueaz condiional faptul c blocul galben este aezat pe blocul verde sau
pe blocul albastru. Al cincilea enun ne asigur c exist un obiect aezat pe
cubul negru, dar nu ne d identitatea acestuia.
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 8
Chiar dac nu sunt date toate informaiile (literar prezentate) este posibil
s derivm aceste informaii. n particular, concluziile prezentate mai jos toate
deriv din premizele de sus. Datele problemei (fapte prezentate sintetic):
Cubul rou este pe cubul verde.
Cubul verde este undeva deasupra cubului albastru.
Cubul verde nu este pe cubul albastru.
Cubul galben este pe cubul verde sau pe cubul albastru.
Exist un oarecare cub pe cubul negru.
Din nefericire, nu totdeauna este evident care concluzii pot fi rezultate ca
sigure dintr-o mulime de premize. Ba mai mult, chiar atunci cnd sunt
obinute concluzii, acestea nu pot fi imediat observate cu claritate c sunt
corecte. Pentru a convinge pe alii despre o concluzie pe care am obinut-o, de
care suntem noi convini, este util s dm o demonstraie, i.e o serie de
concluzii intermediare unde fiecare pas este evident imediat. Ca i exemplu,
s considerm urmtoarea demonstraie informala c, din premizele date mai
sus, cubul galben este pe cubul albastru. (rvna)
Am spus c blocul galben este pe blocul verde sau pe blocul albastru.
Deasemenea am spus c blocul rou este pe blocul blocul verde. Fiind dat
aseriunea c poate fi numai un bloc pe altul i c un bloc nu poate fi de dou
culori, putem trage concluzia c blocul galben nu este pe blocul verde. Apoi,
prin eliminare, blocul galben poate fi pe blocul albastru.
Conceptul de demonstraie, pentru a fi bineneles, cere ca s fim capabili
s recunoatem paii raionali siguri ca imediat evideni. Cu alte cuvinte,
trebuie s fim familiari cu raionamente atomi cu care s demonstrm
construirea moleculelor complexe.
Considerm exemplul urmator: Stim c maina Logan este marc
Renault i tim c toate mrcile Renault sunt maini franceze. Consecvent,
putem trage concluzia c toate mainile Logan sunt maini franceze. (?)
Introducere 9

Ceea ce este interesant din exemplul dat este c noi am folosit
urmtoarea structur de raionament:
Orice x este y.
Orice y este z.
Aadar, orice x este z.
Existena unor raionamente de acest fel (abloane - patterns) este
fundamental n logic dar apar chestiuni importante. Care patente sunt
corecte? Sunt mai multe asemenea modele sau doar cteva? S lum prima
dintre chestiuni. Evident c sunt modele care conduc la concluzii incorecte.
Considerm, ca i exemplu, modelul prezentat mai jos (greit).
Orice x este y.
Niste y sunt z.
Asadar, unii x sunt z.
Acum s vedem o instaniere a acestui model. Dac nlocuim x cu maini
Toyota i y cu maini Japoneze iar z cu produs n America ajungem la o
concluzie care devine incorect.
Toate mainile Toyota sunt maini Japoneze.
Unele maini Japoneze sunt produse n America.
Aadar, nite maini Toyota sunt fcute n America.
Care dintre modele se disting a fi corecte i care nu sunt corecte i care
pot conduce totdeauna la concluzii corecte?
Acum, este cunoscut faptul c sunt modele de raionament care uneori
sunt utile dar nu satisfac criteriul de valabilitate general.
Exist raionamente inductive, raionamente abductive, raionamente prin
analogie, etc.
Inducia este raionamentul de la particular la general. De exemplu: dac
vedem cazuri suficiente n care ceva este adevrat i nu vedem nici un caz fals,
tindem s tragem concluzia c toate sunt adevrate.
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 10
Am vzut 1000 de corbi negrii.
Nu am vzut un corb care s nu fie negru.
Aadar, orice corb este negru.
Abducia este raionamentul de la efect la cauz. Mai multe lucruri pot
cauza un rezultat observabil. Avem des tendina de a deduce o cauz chiar i
cnd nirarea de cauze posibile este incomplet.
Dac nu exist combustibil maina nu va porni.
Dac nu exist nici scnteie maina nu va porni.
Exist o scnteie.
Maina nu va porni.
Aadar, nu exist combustibil.
Ce se ntmpl dac maina nu are combustibil?
Raionamentul prin analogie este raionamentul prin care deducem o
concluzie bazat pe similaritatea a dou situaii ca n exemplul urmator:
Debitul dintr-o conduct este proporional cu diametrul su.
Cablurile sunt asemntoare cu conductele.
Aadar, curentul dintr-un cablu este proporional cu diametrul su.
Din toate tipurile de raionamente, raionamentul deductiv este singurul
care are concluzii garantate n orice situaie. Are nite proprieti foarte
speciale i ocup un loc unic n istoria logicii.
Introducere 11

1.3 Logic Formal

Logica Formal este o versiune formal a logicii umane deductive. Ea
furnizeaz un limbaj formal cu o sintax neambigu i un neles precis, iar
aceasta produce reguli pentru manipularea expresiilor intr-un mod care
respect acest neles. n aceast accepiune exist o analogie puternic ntre
metodele Logicii Formale i cele ale algebrei din coal.
Pentru a ilustra aceste analogii, considerm urmtoarea problem de
algebra.

Daniel este de trei ori mai n vrst dect Iolanda. Vrsta lui Daniel i
a Iolandei au suma 12. Ce vrst are Daniel? Dar Iolanda?

n mod tipic, primul pas n rezolvarea unei asemenea probleme este
exprimm informatia sub form de ecuaie. Dac x reprezint vrsta lui
Daniel, iar y reprezint vrsta Iolandei, putem forma sistemul de ecuaii

x 3y = 0
x + y = 12

Rezolvnd sistemul de ecuaii vom obine
x = 9
y = 3
Acum, s considerm urmtoarea problem de logic.

Dac Maria l iubete pe Pavel, atunci Maria l iubete i pe Vasile.
Dac este Luni i plou, atunci Maria l iubete pe Pavel sau pe Vasile.
Dac este Luni i plou, Maria l iubete pe Pavel?

Ca i la problema de logic primul pas este s formalizm situaia. S fie
p posibilitatea c Maria l iubete pe Pavel; fie q posibilitatea c Maria l
iubete pe Vasile; fie m posibilitatea c este Luni; i fie r posibilitatea c
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 12
plou. Cu aceste abreviaii, putem reprezenta the informatiile esentiale din
aceast problem cu urmtoarele trei propoziii logice. Prima pune c p
implic q, i.e. dac Maria l iubete pe Pavel, atunci Maria l iubete pe Vasile.
A doua spune c m i r implic faptul c p este adevrat (true) or q este
adevrat (true), i.e. dac este Luni i plou, atunci Maria l iubete pe Pavel
sau Maria l iubete pe Vasile.
p q
m r p q
Ca i n Algebr, Logica Formal definete cteva operaii care pot
manipula expresii. Operaia prezentat mai jos este o variant a ceea ce
numim resoluie propoziional.
p
1
... p
k
q
1
... q
l
r
1
... r
m
s
1
... s
n
p
p
1
... p
k
r
1
... r
m
q
1
... q
l
s
1
... s
n

Exist dou elaborri ale acestei operaii.
(1) Dac p
i
din partea stng a unei propoziii este acelai cu q
j
din
partea dreapt a celeilalte propoziii, se poate renuna la unul din cele dou
simboluri (cu condiia ca s se renune numai la un termen din perechea de
simboluri).
(2) Dac o constant se repet pe aceeai parte a unei singure propoziii,
pot fi terse toate apariiile mai puin una.
Putem utiliza aceast operaie pentru a rezolva problema Mariei.
Uitndu-ne la cele dou premize de sus, notm c p apare pe latura din stnga
a unei propoziii i pe partea dreapta a celeilalte. n mod consecvent, putem
Introducere 13

renuna la p i n consecin derivm concluzia c, dac este Luni i plou,
atunci Maria l iubete pe Pavel sau Maria l iubete Vasile.
Eliminnd repetarea simbolului din partea dreapt, ajungem la concluzia
c, dac este Luni i plou, atunci Maria l iubete pe Vasile.
p q
m r p q
m r q q
m r q

Acest examplu este interesant n formalizarea limbajului pentru
codificarea logic a informaiilor. Ca i n algebra, utilizm simboluri pentru a
reprezenta relevant aspecte din mediul ecuaiilor, unde utilizm operatori
pentru a conecta acele simboluri pentru a exprima informaii despre lucrurile
ce sunt reprezentate de ecele simboluri.
Exemplul deasemenea introduce mai multe operaii n Logica Formal,
vezi resoluia (n acest caz o restrictie a formei de resoluie). Resoluia are
proprietatea de a fi complet pentru o clas important a problemelor logice,
de exemplu, este necesar numai o operaie pentru a rezolva orice problem
din acea clas.

1.4 Logica Computaional

Existena unui limbaj formal pentru reprezentarea informatiei i existena
unei mulimi de reguli corespunztoare manipulri mecanice au o consecin
important, vizavi de posibilitatea raionamentului automatizat utiliznd
computere digitale.
Ideea este simpl. Utilizm reprezentarea formal pentru a codifica
premizele unei probleme ca i structuri n computer i programm calculatorul
pentru a aplica reguli mecanic intr-un mod sistematic. Regulile sunt applicate
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 14
att timp ct concluzia dorit este realizat sau att timp ct este stabilit ca s
nu fie realizat. (Din nefericire, n unele cazuri, aceast determinare nu poate
fi fcut; iar procedura nu se oprete niciodat. Cu toate acestea ideea este n
esen clar.)
Logica Computaionl este o ramur a matematicii care se ocup cu
susinerea teoretic a raionamentului automatizat. Ea are n comun multe cu
Logica Formal, dar sunt i unele diferene.
Logica Formal este n mod exclusiv consacrat preciziei sintacticii i
semanticii, corectitudinii i completitudinii raionamentului. Numai cu acest
scop, specialitii n Logic Formal plaseaz interesul lor pe o mulime
minimal de reguli deductive pentru a simplifica analizele lor. Din nefericire,
aceste reguli nu sunt totdeauna uor de implementat sau de aplicat eficient.
La fel ca i Logica Formal, Logica Computaional tratez sintaxa i
semantica precis, cu corectitudinea i completitudinea raionamentului.
Totui, ea se ocup i cu eficiena. Consecina acestei diferene este c
specialitii pun accentul pe diferite limbaje i diferite mulimi de reguli,
consacrnd mai mult atenie specificrii acestora, pentru ca ei s realizeze
mai bine automatizarea i eficiena aplicaiilor.
Aadar, logica computaional este att transdisciplinar (matematici,
cercetri operaionale, lingvistic) ct i disciplin tehnologic (tiina
calculatoarelor). In logica computaional se combin concepte din zone
diferite cum ar fi formalizarea, calcul i automatizarea pentru a realiza att
raionamente logice ct i realizri tehnice.
1.5 Dimensiunile unui sistem logic
Introducere 15

O teorie stiintific ncepe cu o mulime de cunotine obinute prin
observaie direct i cu organizarea lor ntr-un sistem de definiii, reguli,
principii, propoziii, algoritmi etc.
Dezvoltarea teoriei n forma deductiv este impus att de raiuni de
sistematizare a cunostinelor, ct i de necesitatea implicrii metodelor logicii
n obinerea unor elemente noi de cunoatere. Organizarea deductiv
presupune concepte primare i concepte derivate, definite pe baza celor
dinti; adevrurile teoriei (teoremele) sunt propoziii obinute prin
demonstraie avand ca punct de plecare o lista de enunuri, numite axiome.
Formalizarea este constructia simbolica a teoriei. Intreaga arhitectura
este realizata din simboluri prin aplicarea unor reguli de combinare a lor.
Pronind de la o mulime initiala de simboluri (alfabet), se definesc expresiile,
teoremele formale i deductiile formale. Motivatia formalizarii este legata de
clarificarea fundamentelor teoriei i de analiza posibilitatilor de calcul ale
acesteia. n acelasi timp, relaia dintre constructia formalizata i forma
naturala de prezentare poate dezvolta teoria, producand noi teoreme n
interiorul sau.
La baza formalizarii unei teorii sta un sistem logic. Alegerea sistemului
logic se raporteaza la teorie, dar definirea i cunoasterea sa va fi realizata n
sine
Vom distinge opt dimensiuni ale unui sistem logic:
1. Sintaxa.
Utilizand o mulime de simboluri primare (alfabet) se formeaza
enunurile sistemului. Ele sunt siruri de simboluri primare (cuvinte), rezultate
prin aplicarea unor reguli de combinare. Astfel este definit limbajul formal al
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 16
sistemului logic. Enunurile reprezinta traducerea n limbaj formal a
propoziiilor din limbajul natural.
Limbajul formal va fi imbogatit cu o structura logic, ce are doua
componente:
- Teoremele formale,
- Mecanismul inferential.
Sunt pecizate axiomele i regulile de deductie ale sistemului. Pornind
de la axiome i aplicand de un numar finit de ori regulile de deductie se obin
teoremele formale. Procedeul se numeste demonstraie formala, iar teoremele
formale sunt enunurile ce admit demonstraii formale.
Mecanismul inferential este transpunerea n limbaj formal a ceea ce
intelegem prin deductie din ipoteza. O mulime de ipoteze este formata
din enunuri ale sistemului. Un procedeu inductiv, care ncepe cu axiomele i
cu enunurile din (ipotezele), iar recurenta consta n aplicarea succesiva a
regulilor de deductie, se va numi demonstraie formala din ipotezele , sau -
demonstraie formala. Enunurile rezultate printr-o -demonstraie vor fi
consecintele formale ale lui .
2. Semantica.
n sintaxa, intregul demers se desfasoara la nivelul semnelor.
Enunurile, demonstraiile formale, demonstraiile formale din ipoteze sunt
siruri de simboluri. Niciunde nu se vorbeste despre enunuri adevarate sau
false.
Atribuirea unor valori de adevr enunurilor ne conduce la semantica
sistemului logic. Mulimea valorilor de adevr poate sa fie formata din doua
elemente 0 i 1 (fals i adevr) sau poate sa fie o scala (finita sau infinita) la
Introducere 17

capetele careia sa fie 0 sau 1, iar elementele intermediare sa reprezinte diverse
grade de adevr.
Mulimea valorilor de adevr are o structura algebrica: operaiile sale
corespund operaiilor logice ale sistemului i exprima modul n care se
combina intre ele valorile de adevr.
Interpretarile sunt funcii prin care enunurilor le sunt asociate valori de
adevr astfel incat operaiile logice sunt convertite n operaii algebrice. Un
enun va fi adevarat sau fals relativ la o interpretare; daca enunul va fi
adevarat relativ la toate interpretarile, el se va numi universal adevarat. n
acest moment se pune problema compararii teoremelor formale cu enunurile
universal adevarate. Primele reprezinta adevarurile sintactice, obinute prin
demonstraii formale, iar celelalte adevarurile semantice, supuse regulilor
de combinare a valorilor de adevr.
Condiia ca orice teorem formal s fie un enun universal adevrat
inseamn corectitudinea sistemului: structura logic a sistemului reflect n
mod adecvat semantica sistemului. Proprietatea ca orice enun universal
adevrat s fie teorem formal semnific completitudinea sistemului: din
axiome, prin demonstraii formale, pot fi regsite toate propoziiile adevrate
n semantic.
Semantica reprezint o lume reala: regulile dup care se combin
valorile de adevr sunt extrase din reprezentri acceptate ca naturale. Prin
contrast, sintaxa este o lume virtual n care este reprezentat semantica.
3. Dimensiunea algebric.
Exist dou moduri de raportare a sistemului logic la algebre de un
anumit tip:
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 18
- Mulimea valorilor de adevr este organizata ca o structura algebrica.
Operaiile logice (conectori, cuantificatori) sunt n corespondenta cu operaiile
algebrice, iar axiomele sunt inspirate din identitatile algebrei valorilor de
adevr.
- Printr-un procedeu de factorizare, din mulimea expresiilor se obine o
algebra de acelasi tip cu algebra valorilor de adevr. n aceasta algebra,
numita algebra Lindebaum-Tarski, sunt traduse algebric proprietile
sintactice.
Studierea unui sistem logic se concentreaz n principal asupra relaiei
dintre sintaxa i semantica. O privire dintr-un punct de vedere tripartit
sintaxa, semantica, algebra nu numai ca largeste perspectiva, dar produce
conexiuni ce adancesc cunoasterea sistemului. De exemplu, teoremele de
reprezentare ale algebrelor sistemului conduc la teoreme de completitudine.
4. Dimensiunea topologic.
Pentru unele sisteme logice se pot defini topologii canonice. Proprietati
ale sintaxei i semanticii pot avea echivalente topologice. Prin metode de
topologie se obin rezultate noi, formulate n termeni topologici. Transmise
planului sintactic sau celui semantic, ele produc teoreme noi de logic. n
unele cazuri trecerea spre componenta topologica se face prin algebra
sistemului. Tehnicile topologice, uneori mai rafinate decat cele algebrice,
adauga subtilitati de interpretare i de demonstraie.
5. Dimensiunea probabilist.
Evenimentul i probabilitatea sunt cele dou concepte fundamentale ale
teoriei probabilitatilor. Se admite c mulimea evenimentelor asociate unei
experiente aleatoare are o structura de algebra Boole. Aceasta ipoteza decurge
din bivalenta valorilor de adevr; teoria probabilitilor are ca fundament
logica clasic. Evenimentele pot fi identificate cu enunurile ce le descriu,
Introducere 19

deci probabilitile vor fi funcii definite pe mulimi de enunuri. Axiomele
probabilitii exprim comportamentul acestor funcii fa de operaiile logice.
Daca schimbm logica suport, atunci se obine o alt teorie a
probabilitilor. La nceputul elaborrii unei teorii a probabilitilor este
necesar rezolvarea a dou probleme:
- Stabilirea structurii algebrice a mulimii evenimentelor;
- Definirea unui concept de probabilitate.
Algebra Lindenbaum-Tarski asociat sistemului logic va defini
structura algebric a mulimii evenimentelor.
Probabilitile vor fi funcii definite pe mulimi de enunuri, sau
echivalent pe structurile algebrice ale sistemului logic. n cazul logicilor
propoziionale, va fi descris comportarea probabilitilor fa de conectori;
pentru logicile cu predicate, va fi precizat i comportamentul probabilitilor
fa de cuantificatori.
6. Dimensiunea algoritmic.
Aspectele computaionale nsoesc toat problematica sistemelor logice.
Este important a ti dac o problem de logic este rezolvabil prin algoritmi.
Chiar i incercarea de a schia o perspectiv a dimensiunii algoritmice a
sistemelor logice este un demers a crui complexitate depete aceast
discuie.
7. Dimensiunea categorial.
Teoria categoriilor este un domeniu al matematicii ce trateaz, la un
nivel ridicat de abstractizare, unele probleme globale ale diverselor clase de
structuri i ale morfismelor lor. Cu toate acestea, metodele categoriale pot fi
foarte eficiente n studiul sistemelor logice. Un cadru categorial ofer
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 20
generalitate i flexibilitate n tratarea unor probleme de logic existente n
sisteme particulare.
8. Dimensiunea filozofic.
Cunoasterea unui sistem logic trebuie completat cu inscrierea sa intr-
un curent de gandire filozofic. Astfel vom fi mai lamurii asupra originii i a
semnificaiei sale, precum i a mecanismelor sale interioare.

1.6 Aplicaii ale logicii n tehnologia informaiei
Logica Computaional are relevan n mai multe zone importante din
tehnologia informaiei.
Matematici. Programele de raionament automatizat pot fi utilizate la
verificarea demonstraiilor i, n unele cazuri, pentu a produce demonstraii
sau poriuni de demonstraie.
Sisteme de baze de date. Limbajul logicii computaionale poate fi utilizat
pentru codarea restriciilor de integritate care captureaz constrngeri pe
bazele de date i poate fi utilizat pentru a definii vederi virtuale a datelor n
termenii tabelelor de stocare explicit. Tehnicile de raionament automat pot
fi utilizate pentru optimizarea interogrilor.
Analiza Software. Instrumentele de raionament automatizat pot fi
utilizate pentru a verifica proprieti variate ale programelor, cum ar fi
corectitudinea (correctness), terminarea, complexitatea, i altele.
Ingineria Hardware. Instrumentele de raionament automatizat pot fi
utilizate pentru a valida proiectarea hardware, depistarea defectelor,
dezvoltarea programelor de testare, i n unele cazuri proiectarea
sintezatoarelor (synthesize).
Introducere 21

Integrarea Informaiilor pe Internet. Limbajul logicii computaional
poate fi utilizat n relaie cu vocabularul i structura surselor de date disparate,
i tehnicile de raionament automat pot fi utilizate pentru a crea programe de
integrare a acestor surse de date.
Legi i Business. Limbajul logicii computaional poate fi utilizat la
codarea regulamentelor i regulilor de business, iar tehnicile de raionament
automat pot fi utilizate pentru a analiza asemenea regulamente pentru
inconsisten i nclcare.
n Logic Data Mining i Web Mining. Mineritul datelor este o ramura a
inteligenei artificiale i utilizeaz tehnici din statistic, probabiliti, algebr,
logic, etc. Procesul de luarea a deciziilor n sisteme bazate pe raionamente
se produce prin motoare de inferen care sunt construite pe baza unui sistem
de clauze logice. Deasemenea procesul de cutare n spaiul Web are la baz
instrumentele logicii computaionale.
Logica computaional a progresat n multe arii astfel c actualmente
metodele i tehnicile ei sunt aplicate n domeniile matematicii, tiinei
calculatoarelor, cercetrilor operaionale i lingvistic. Cmpul de dezvoltare
al logicii computaionale se compune din toate utilizrile logicii n tiina
calculatoarelor.
Noul jurnal ACM (Association for Computing Machinery ) pe tematica
Teoriei Logicii Computaionale listeaz urmtoarele subdomenii explicitate n
tabelul de mai jos:
Artficial Intelligence Inteligen Artificial
Computational Complexity Complexitate Computaional
Data Basis Baze de Date
Programming Languages Limbaje de Programare
Automata and Temporal Logic Logic Temporal i Automate
Automated Deduction Deducie
Automated Software Verification Verificarea Automat de Sofware
Copyright dr. Ioan Pop, Spring 2008. Drepturile de autor sunt protejate de lege.
Logic computaional 22
Commonsense and Nonmonotonic
Reasoning
Raionament Comun i Nemonotonic
Constraint Programming Programare cu Restricii
Finite Model Theory Teria Modelelor Finite
Complexity of Logical Theories Complexitatea Teoriilor Logice
Functional Programming and
Lambda Calculus
Programare Funcional i Calculul
Lambda
Concurrency Calculi And Tools Calcul Concurent i Instrumente
Inductive Logic Programming And
Machine Learning
Programare Logic Inductiv i
Maina de Invat
Logical Aspects of Computational
Complexity
Aspecte Logice a Complexitii
Computaionale
Logical Aspects of Databases Aspecte Logice ale Bazelor de Date
Logic Programming Programarea Logic
Logics of Uncertainty Logica Incertitudinii
Modal Logics Logica Modal
Including Dynamic and Epistemic
Logics
Dinamica Includerii i Logica
Epistemic
Model Checking Verificarea Modelelor
Program Development Dezvoltarea Programelor
Program Specification Specificarea Programelor
Proof Theory Teoria Demonstraiei
Term Rewriting Systems Sisteme de Rescriere a Termenilor
Type Theory and Logical
Frameworks
Teoria Tipurilor i Contexte Logice
Tabela 1.1 Subdomeniile teoriei logicii computaionale dup ACM
journal.

ncearc:
1. Descrie contribuia i limitarea lui Aristotel n istoria logicii.
2. Ce este un silogism? D un exemplu. Cum gndeti relaia dintre
silogism i logica modern (ex. logica propoziiilor i logica de ordinul I)?
3. Care este paradoxul brbierului dat de Russel? Ce este un
paradox?
..........