You are on page 1of 13

# II .BAZELE LOGICE ALE A.I.

„Erorile nedetectabile sunt infinite în varietate, spre deosebire
de erorile detectabile care sunt limitate prin definiţie.”

2.1.

Logica şi logica simbolică

[DEX03] "LOGICA este ştiinţa demonstraţiei al cărui obiect este stabilirea
condiţiilor corectitudinii gândirii, a formelor şi legilor generale ale raţionării
corecte, conforme prin ordinea ideilor cu organizarea legică a realităţii
obiective".
[Larouse1998] „Teorie ştiinţifică a raţionamentului 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 ştiinţe – grecii antici pentru a obţine avantaj verbal
asupra
oponenţilor
î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)

1

ştiinţa care se ocupă cu gândirea şi raţionamentele. Pentru informatică şi pentru IE în special. logica formală = tratarea formei şi structurii. In logica matematică.  asigură deducerea unor cunoştinţe noi pe baze altora deja existente. judecata sau raţionamentul. logica formală prezintă un interes aparte. dar şi deciziile de zi cu zi ale managerului sau omului de afaceri se bazează pe raţionamente logice.  Practic nu există domeniu de afaceri în care logica să nu joace un rol major. 3 [Maliţa&Maliţa87] 1 2 . logica formală sau simbolică2.. El a dezvoltat un sistem informal al silogismelor proprii raţionamentelor. în baza cărora pornind de la premise se pot genera mecanic concluzii [Rusell&Norwig03] 2 Exprimarea ideilor logicii formale aşa cum a fost ea definită de grecii antici sub o formă matematică a început cu lucrările lui George Bool (1815-1864). Dicţionarele de informatică se mărginesc în general numai la acestea:  [Colin90]: "logica = substantiv.avantaje:  asigură expresivitatea şi rigurozitatea în reprezentarea cunoştinţelor. logice Logica simbolică fundamentul raţionamentului uman3 . care a dezvoltat în 1847 logica propoziţiilor.Dintre principalele aplicaţii ale logicii din domeniul IE:  baze de date şi de cunoştinţe. SSE. Gottlab Forge (1848-1925) a dezvoltat teoria lui Bool incluzând obiecte şi relaţii creând astfel logica predicatelor de ordinul I utilizată astăzi în reprezentarea cunoştinţelor.reprezentarea obiectelor şi a operaţiilor executate asupra simbolurilor. Logica are două ramuri esenţiale:  logica clasică.  [Oxford91] "Logica este un formalism de reprezentare a cunoştinţelor şi a raţionamentelor. ignorând conţinutul". Utilizează simboluri .n) a fost cel care a definit pentru prima dată precis o serie de reguli care guvernează partea raţională a gândirii.  logica matematică.  SE. a căror interogare se bazează pe logică.e.categoriile fundamentale: noţiunea. sau logica aristoteliană1 . Alfred Tarski (19021983) a introdus o teorie referenţială prin care leagă obiectele logicii de cele din lumea reală [Rusell&Norvig03. Luger02]. investigaţia cuprinde metode matematice împrumutate din algebră şi teoria Aristotel (384-322î. dezvoltat iniţial de către matematicieni pentru a formaliza raţionamentele matematice. SSD.

Diferenţa dintre gramatică şi logica simbolică. în tratatele de informatică [Patterson90]. Logica propoziţiilor (PL) Conform [DEX03]. Mihăiescu." [Boden87] Calculatorul şi deci. logica propoziţiilor + logica predicatelor de ordinul I4. Semantica .ataşat propoziţiei “Grivei latră” ia valoarea adevărat (True .obiectivele:  notarea propoziţiilor ataşate universului problemei cu ajutorul unor simboluri şi fixarea valorii de adevăr a acestor simboluri.aspectele intime (interne) ale universului problemei . Exemplu: propoziţia „Ionescu este managerul societăţii comerciale” sau „Ionescu manager”. Nilson98.vanDalen84.T) dacă într-adevăr latră. o judecată etc. Bibliografie foarte vastă în domeniu chiar şi în limba română [Florea&Boangiu94. Din această cauză logica formală..algoritmilor. apare în general sub denumirea de logică simbolică. Sistemele cele mai uzuale sunt calcul propoziţiilor şi cel al predicatelor. valoarea de adevăr a propoziţiei este calitatea acesteia de a fi adevărată sau falsă în întregul ei şi nu interesează obiectele constitutive ale sale. informatica prelucrează simboluri. utilizată în gramatică. Ca orice limbaj. Gray85. 66] sau [D.  semantica pentru asocierea elementelor limbajului de semnificaţia lor. noţiunea de propoziţie are atât semnificaţia de CEA MAI MICĂ UNITATE SEMANTICĂ care exprimă o idee. prin care se manevrează propoziţiile limbajului. are două aspecte esenţiale:  aspectul semantic sau abordarea semantică. Logica simbolică de ordinul I. Alţi autori [Nilson98] consideră logica sub 3 aspecte:  limbajul (cu sintaxă care specifică expresiile corecte în acest limbaj). Maliţa&Maliţa87. 2.  regulile inferenţiale. cât şi cea de enunţ a cărui valoare de adevăr este întemeiată pe bază de reguli explicit exprimate. Teoria logică este în esenţă un limbaj de reprezentare a cunoştinţelor. În PL. utilizată în logica simbolică. Turner84] 4 3 . Exemplu: simbolul p .  aspectul sintactic sau abordarea sintactică.2. respectiv fals (False-F) dacă nu latră. Graham88.

Propoziţiile simple . respectiv p. adică este ea adevărată indiferent de faptul că are părţile componente adevărate sau false?” Within the study of logic. dar nu amândouă deodată (legea terţului exclus) .  principiile teoriei logice.nici o parte a lor nu este o propoziţie. sau nu?”. o tautologie. 4 .r.orice propoziţie poate fi T sau F..R. 2.Q. PL. Teoremele în logică.se vor nota cu câte un simbol .  valoarea de adevăr a simbolurilor ataşate propoziţiilor (respectiv predicatelor). trebuie să răspundă la întrebarea: “Este o formulă demonstrabilă în cadrul unui sistem logic.  mecanismul de raţionament reprezentat de consecinţele logice. numite concluzii.propoziţii simple . Din acest motiv.  stabilirea valorii de adevăr a noilor propoziţii astfel obţinute (compuse). numite ipoteze (premise). se ajunge la alte propoziţii.wikipedia. semantica este asemănată cu studiul expresiilor din algebră.org/wiki/Tautology] Spre deosebire de abordarea semantică.tratate atomic. unde se demonstrează corectitudinea formulelor. în timp ce sintaxa se aseamănă cu rezolvarea sistemelor de ecuaţii prin metoda substituţiei. stabilirea simbolurilor care joacă rolul de conectori. PL clasic . ca un tot unitar . Abordarea semantică În cadrul abordării semantice trebuie fixate 5 elemente de bază [Patterson90]:  limbajul de descriere a formulelor logice (alfabetul limbajului).. şi aplicând o serie de reguli de raţionare (reguli inferenţiale).1.q. a tautology is a statement that is true by its own definition. sisteme în care se pleacă cu valoarea de adevăr a unor propoziţii.2. de regulă.…. [http://en. Conceptul central în abordarea semantică este cel de „valoare de adevăr”: „Este o formulă. cea sintactică are ca şi concept central “demonstraţia logică” şi anume.  funcţiile de evaluare. adică leagă simbolurile ataşate propoziţiilor. operaţii şi funcţii logice.litere mari sau mici de la mijlocul alfabetului P..logică bivalentă.

A mathematical statement which is believed to be true but has not been proven is known as a conjecture. Usually presented without proof. any provable statement is called a theorem.  claim: a very easily proven. In mathematical logic. The distinction between theorems and lemmas is rather arbitrary. which is assumed to be obvious. Despite the name. and a conclusion that can be derived from the given assumptions according to the inference rules of the formal system comprising the formal language. Limbajul de descriere a formulelor (sistemul notaţional) 5 . As noted above. though necessary to the statement's classification as a theorem. Gödel'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. Less important statements are called:  lemma: a statement that forms part of the proof of a larger theorem. The proof. In general. is not considered part of the theorem. as well as a process of inference.  remark: similar to claim. stated in a formal language – a set of assumptions. are interesting enough per se that some authors present the nominal lemma without going on to use it in the proof of any theorem.[Wikipedia] A theorem is a proposition that has been or is to be proved on the basis of explicit assumptions. since one mathematician's major result is another's minor claim. but necessary or interesting result which may be part of the proof of another statement. a statement must not have a trivially simple derivation to be called a theorem. a theorem must exist in the context of some formal system. A proposition B is a corollary of a proposition or theorem A if B can be deduced quickly and easily from A. This will consist of a basic set of axioms (see axiomatic system). which allows one to derive new theorems from axioms and other theorems that have been derived earlier. claims are proven. Gauss' lemma and Zorn's lemma.  proposition: a result not associated with any particular theorem. 1. A theorem has two parts.  corollary: a proposition that follows with little or no proof from one already proven. Proving theorems is a central activity of mathematicians. for example.

P .[French91]: "not. notate în literatură cu wff – well formatted formulas . (iv) mulţimea wff-urilor este generată de regulile (i)-(iii).conjuncţia V – disjuncţia → . sunt: negaţia. Negaţia – unei propoziţii. ataşate propoziţiilor. (P→ (Q^~R)).  conectori logici: ~ sau .. Q sau P&Q. cum ar fi de exemplu: (. aşa după cum s-a prezentat mai sus.echivalenţa  alte simboluri.  PL .cu ajutorul tablelor de adevăr (corespunzătoare tablelor operaţiilor aritmetice elementare). atunci P^Q. (P→). Propoziţiile compuse sunt wff-uri care se realizează pe baza unor conectori sau operatori logici.P".“P şi Q” . Exemplu: P = “Pământul este rotund” şi Q= “impozitul este o datorie faţă de stat”.and.formulele corecte. (ii) dacă P este un wff . negaţia ~P.În PL .q. sau ~P.R. care are valoarea T.se notează cu P  Q. Conjuncţia – propoziţiilor P şi Q .  P. un wff în paranteză.r. P . “Bugetul nu trebuie aprobat anual”.implicaţia ↔ . are valoarea F. (iii) dacă P şi Q sunt wff.. conjuncţia şi disjuncţia.Q. P F T ~P T F Exemplu: P = “Bugetul trebuie aprobat anual”.definesc recursiv: (i) un atom (simbol ataşat unei propoziţii simple) este un wff. PVQ.…sau mari P. Notaţii [French91]: P. 6 .Q. ). P&Q va fi “Pământul este rotund” şi „impozitul este o datorie faţă de stat”. Principalii operatori logici. negatul său ~P este un wff. P→Q şi P↔Q au aceeaşi proprietate. corect formulate sau bine formulate. Operaţiile logice . “non P” .negaţia ^ .alfabetul este format din simboluri propoziţionale definite astfel:  litere mici.. p. Aceste table indică valoarea de adevăr a rezultatului în funcţie de valorile de adevăr ale componentelor.