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. Pentru acesta se traseaz tabela de adevr. Se pune problema formalizrii limbajului natural adic gsirii unui mod de substituie a limbajului natural cu un limbaj formal. Pentru o asemenea descriere vom folosi notaii speciale pentru categoriile: 1. Constante referitoare la obiecte 2. Predicate referitoare la relaia dintre obiecte 3. Argumente de tip predicat cu nume specifice (ex: studenii de la IDD sunt cu taxe=> cu taxe (studeni IDD)) 4. Argumente de tip predicat pentru adjective (Leul este instabil => instabil(leu)) 5. Verbele sunt reprezentate ca predicate cu argumente care pot fi subiecte sau obiecte (ex: plou =>plou(); creterea leului => crete(leu); A pltete lui B 100 lei =>pltete(A,B,100)) 6. Timpurile se introduc ca i argumente (A a pltit lui B 100 lei =>pltete(A,B,100,trecut)) 7. Articolele nedeterminate se reprezint cu ajutorul cuantificatorilor existeniali (exist cel puin un pentru care propoziia este adevrat): Un client a deschis un cont => (x,y):client(x) cont(y) deschis(x,y,trecut) 8. Analog se procedeaz cu expresii ca este, exist,sunt : Exist un venit diferit de salariu sau pensie => (x):venit(x) este-un(x,y) diferit(y,salariu) diferit(y,pensie) 9. Expresii de genul oricare, totul, fiecare se reprezint cu ajutorul cuantificatorului universal (propoziie adevrat pentru oricare ..): Orice persoan trebuie s plteasc impozit => (x):persoana(x) trebuie-platit(x,impozit) 10. Implicaiile reprezint expresii condiionale. IF este premisa sau condiia, iar THEN este aciunea sau concluzia: Dac un om este fericit, el este prietenos => (x):fericit(x) prietenos(x) O alt metod de utilizare a logicii este inferarea, adic derivarea unor propoziii noi din propoziii existente. P=Tribuna economic apare joi Q=Astzi este luni --------------------------------------R=Tribuna economic nu apare azi Pentru a nu scrie ntotdeauna toate propoziiile, acestea vor fi nlocuite cu litere. 1

Calculul propoziional are n vedere enunurile declarative repartizate n dou grupe: Adevrat i Fals. O propoziie compus este format din propoziii elementare legate cu conectorii (AND) (OR), iar pentru negarea unei propoziii se folosete ~(NOT) . Pentru a stabili valoarea de adevr a unei propoziii vom folosi urmtorul tabel: Tabela de adevr pentru cteva propoziii logice A A A F F B A F A F ~A F F A A ~B F A F A A B A F F F A B A A A F

Calculul predicatelor Calculul predicatelor permite fragmentarea propoziiilor n obiecte (argumente) i predicate (aseriuni despre atributele obiectelor); calculul predicatelor permite, de asemenea, utilizarea variabilelor i funciilor de variabile. Aceste proprieti fac din calculul predicatelor un instrument mai puternic dect calculul propoziional. Trecerea de la propoziie la forma de calcul predicativ arat n felul urmtor: Crediteaz 101 cu 70.000.000 crediteaz(101,70000.000) sau (crediteaz 101 70.000.000) n exemplul de mai sus am utilizat valori concrete, dar la fel de bine se pot utiliza n descrierea formal a predicatelor variabile cont-de-activ(x), deci putem scrie propoziii generalizate. Cuantificatorii universal i existenial enunai mai sus se pot folosi i la calculul predicatelor: Ex: Toi Popescu sunt ceteni ai Romniei (x),Popescu(x)->cetean-romn(x) acesta se poate citi astfel Daca x este Popescu atunci x este romn (x),cont(x)->cont-de-activ(x) AND cont(5121)=>cont-de-activ(5121) Contul 5121 este un cont de activ dac 5121 este un cont i toate conturile sunt de activ Exerciii: 1. Transformai urmtoarele predicate n propoziiile corespunztoare: ESTE(INFLAIA MARE) DEBITEAZ(X, CONT(5131)) 2. Utilizai urmtoarele enunuri pentru scrierea de formule n calculul predicatelor:

P(x)= x este un economist S(x)= x este inteligent L(x,y)= x iubete y a) toi economitii sunt inteligeni ((x),P(x)->S(x)) b) unii economiti sunt inteligeni c) nici un economist nu este inteligent d) unii sunt economiti e) nici unul nu este economist f) unii economiti nu sunt inteligeni g) exista economiti h) unii iubesc pe alii i) j) l) toi l iubesc pe economist nimeni nu iubete economistul toi iubesc economitii inteligeni

k) unii economiti sunt iubii Not: modul de scriere a formularelor poate varia n funcie de modul de interpretare.

2. Reguli de producie Metoda regulilor de producie are la baz conceptul de reprezentare a cunoaterii sub forma unor reguli de forma: DAC premis ATUNCI concluzie1 ALTFEL concluzie2. Att premisele ct i concluziile sunt stabilite de expert. Premisa este, de obicei, o afirmaie care este evaluat dac este adevrat sau fals. Concluziile pot fi soluiiaciuni. O concluzie poate deveni la rndul lui premis ntr-o alt regul. De asemenea, acest tip de reprezentare a cunoaterii permite folosirea variabilelor. Regulile 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) Reguli de producie deductive (RPD). Sunt de forma: DAC <premise> ATUNCI <concluzie> n acest caz se utilizeaz implicaia logic n sensul c dac premisele sunt adevrate, atunci i concluzia este adevrat i aceasta se adaug i ea bazei de fapte. Ca urmare, se pot aplica alte reguli care conin ntre premise i fapta nou adugat. b) Reguli de producie inductive (RPI). Sunt de forma: <concluzie> DAC <premise> Aceste reguli declaneaz deducii succesive, plecnd de la concluzie i verificnd fiecare premis. Dac premisele se gsesc a fi adevrate se conchide c i concluzia este adevrat. Din punct de vedere logic, regulile deductive i cele inductive sunt formulri echivalente. c) Reguli de producie cu variabile (RPV) Utilizarea unor reguli care conin doar constante este neeconomic datorit faptului c trebuie scris cte o regul pentru fiecare caz n parte, chiar dac sunt mai multe cazuri similare. Ca i n cazul predicatelor, folosirea variabilelor ofer o modalitate general de exprimare. Exemplu : Presupunem c sunt necesare reguli pentru pensionarea unui angajat de forma: 4

IF Ionescu V. este salariat AND Ionescu V. a depit vrsta de 65 ani THEN Ionescu V. se poate pensiona Astfel de reguli trebuie scrise pentru fiecare angajat, soluie greoaie i neeconomic. Se poate scrie ns o regul cu variabile care s fie valabil pentru toi angajaii: IF ?x este SALARIAT

AND ?x are vrsta > 65

THEN ?x se poate pensiona n continuare vom reda o posibil list de reguli de producie care vor fi de folos la alegerea unui tip de imprimant. Avem trei tipuri de imprimante: 1. 2. cu ace (costul de ntreinere redus, calitate rea, pre mediu) recomandat pentru contabilitate cu jet (calitate bun, pre mic, costuri relativ mari) recomandat pentru birouri mici sau pentru casa cu numr redus de listri

3. cu laser (calitate foarte bun, costuri mici, pre foarte mare) recomandat birourilor, firmelor mari unde calitatea documentelor este important. Vom face mai nti un tabel n care vom include datele de mai sus: Tip imprimant Proprieti Pre Costuri Calitate Ace mediu F_mic rea Jet mic mare buna Laser mare mic F_bun

O regul de producie ar arta astfel:

DAC calitate=f_bun

AND costuri=mici AND pre_achiz=mare THEN Alege imprimanta laser Putem constata c pentru a lua n considerare toate posibilitile trebuie s scriem 3x3x3=27 reguli de producie. Evident sunt combinaii (ilogice) care nu ne duc la nici o soluie concret (ex: pre-mare costuri-mari calitate-rea).

Exerciiu 1: scriei celelalte reguli de producie logice. Exerciiu 2: Stabilii criteriile i concepei regulile de producie pentru un sistem expert care s ne asiste n alegerea unei anumite metode de investiii financiare (banc, valut, aciuni). Observaie pentru a rezolva problema trebuie s utilizai posibilitatea utilizrii variabilelor i valorilor numerice n scrierea regulilor de producie.