Logica predicatelor(IA) - rezolvarea laborator

Laborator
7.5/10 (2 voturi)
Conține 1 fișier: doc
Pagini : 6 în total
Cuvinte : 1595
Mărime: 16.66KB (arhivat)
Publicat de: Rafael Buzatu
Puncte necesare: 0

Extras din laborator

1. Logica propoziţiilor. Calculul predicatelor

Logica propoziţiilor

Logica propoziţiilor se bazează pe determinarea stării de adevărat sau fals ale conţinutului acestora sau a modului de implicare (o afirmaţie are o implicaţie într-o altă afirmaţie), iar când avem mai multe propoziţii se aplică axiomele pentru determinarea stării logice finale. Pentru acesta se trasează tabela de adevăr.

Se pune problema formalizării limbajului natural adică găsirii unui mod de substituţie a limbajului natural cu un limbaj formal. Pentru o asemenea descriere vom folosi notaţii speciale pentru categoriile:

1. Constante referitoare la obiecte

2. Predicate referitoare la relaţia dintre obiecte

3. Argumente de tip predicat cu nume specifice (ex: studenţii de la IDD sunt cu taxe=> cu taxe (studenţi 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ă(); creşterea leului => creşte(leu); A plăteşte lui B 100 lei =>plăteşte(A,B,100))

6. Timpurile se introduc ca şi argumente (A a plătit lui B 100 lei =>plăteşte(A,B,100,trecut))

7. Articolele nedeterminate se reprezintă cu ajutorul cuantificatorilor existenţiali “”(există cel puţin un… pentru care propoziţia este adevărată): 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 “”(propoziţie adevărată pentru oricare ..): Orice persoană trebuie să plătească impozit => (x):persoana(x) trebuie-platit(x,impozit)

10. Implicaţiile reprezintă expresii condiţionale. IF este premisa sau condiţia, iar THEN este acţiunea 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 propoziţii noi din propoziţii existente.

P=Tribuna economică apare joi

Q=Astăzi este luni

R=Tribuna economică nu apare azi

Pentru a nu scrie întotdeauna toate propoziţiile, acestea vor fi înlocuite cu litere.

Calculul propoziţional are în vedere enunţurile declarative repartizate în două grupe: Adevărat şi Fals. O propoziţie compusă este formată din propoziţii elementare legate cu conectorii (AND) (OR), iar pentru negarea unei propoziţii se foloseşte ~(NOT) . Pentru a stabili valoarea de adevăr a unei propoziţii vom folosi următorul tabel:

Tabela de adevăr pentru câteva propoziţii logice

A B ~A ~B AB AB

A A F F A A

A F F A F A

F A A F F A

F F A A F F

Calculul predicatelor

Calculul predicatelor permite fragmentarea propoziţiilor în obiecte (argumente) şi predicate (aserţiuni despre atributele obiectelor); calculul predicatelor permite, de asemenea, utilizarea variabilelor şi funcţiilor de variabile. Aceste proprietăţi fac din calculul predicatelor un instrument mai puternic decât calculul propoziţional.

Trecerea de la propoziţie la forma de calcul predicativ arată în felul următor:

“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 propoziţii generalizate.

Cuantificatorii universal şi existenţial enunţaţi mai sus se pot folosi şi la calculul predicatelor:

Ex: “Toţi Popescu sunt cetăţeni ai României”  (x),Popescu(x)->cetăţean-român(x) acesta se poate citi astfel Daca x este Popescu atunci x este român

(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

Preview document

Logica predicatelor(IA) - rezolvarea laborator - Pagina 1
Logica predicatelor(IA) - rezolvarea laborator - Pagina 2
Logica predicatelor(IA) - rezolvarea laborator - Pagina 3
Logica predicatelor(IA) - rezolvarea laborator - Pagina 4
Logica predicatelor(IA) - rezolvarea laborator - Pagina 5
Logica predicatelor(IA) - rezolvarea laborator - Pagina 6

Conținut arhivă zip

  • Logica Predicatelor(IA) - Rezolvarea Laborator.doc

Alții au mai descărcat și

Mediul Turbo Prolog

- Mediul de programare Turbo Prolog. Meniul principal,Ferestrele Turbo Prologului, Lansarea/trasarea programului. - Clauze Turbo Prolog. Fapte,...

Limbajul Prolog

În Prolog se poate ajunge la soluţii prin inferenţă logică (deducţie logică) pornind de la ceva cunoscut în prealabil. Tipic, un program în...

Structura unui program prolog

Structura unui program VISUAL PROLOG Un program PROLOG conţine 4 secţiuni de bază: “clauses” “predicates” “domains” “goal” Secţiunea...

Unificare și Backtracking

Capitolul de faţă cuprinde 4 secţiuni mari. În prima secţiune se prezintă în detaliu ceea ce face Prolog atunci când încearcă să găsească o...

Sistemele expert - inteligență artificială

Sistemele expert sunt produse ale inteligentei artificiale, ramura a stiintei calculatoarelor ce urmareste dezvoltarea de programe inteligente....

Laborator

1) Trei prieteni au obtinut primul, al doilea si respectiv al treilea loc intr-un concurs. Fiecare dintre ei au nume diferite, prefera un alt...

Aparatul de anestezie

Prin structura lor aparatele de anestezie asigura doua functii : - formarea amestecului anestezic - asigura administrarea amestecului anestezic...

Te-ar putea interesa și

Domeniul Inteligenței Artificiale

Domeniul inteligenţei artificiale Este greu de dat o definiţie precisă a domeniului inteligenţei artificiale. În general, se consideră că obiectul...

Noțiuni de Teoria Informației

Reprezentarea cunoaşterii prin cadre şi scenarii Reprezentarea cunoaşterii prin cadre Se ştie că oamenii nu interpretează noile situaţii...

Sisteme informatice inteligente

INTRODUCERE PROLOG Scurt istoric. Bibliografie. Mod de operare. Scurt istoric - Limbajul PROLOG (PROgrammation en LOGique) a fost elaborat la...

Inteligență Artificială - Prolog

Consecinte logice: Definitie: Daca F1,..,Fn,G sunt f.b.f., si daca pentru orice interpretare I pentru care F1^F2^...^Fn este adevarata, atunci G...

Ai nevoie de altceva?