Curs AI - Bazele Inteligentei Artificiale

Bazele Inteligentei Artificiale
Curs 3
Logica clasic a propoziiilor
Simboluri, formule
Obiectul logicii este identificarea i folosirea

legilor raionamentului uman.
Logica simbolic utilizeaz simboluri pentru

unitile de gndire i pentru operaiile asupra lor.
Considerm propoziiile:
Simboluri, formule
Notaia de mai sus arat c propoziia Ion citete va fi

reprezentat prin simbolul p.
Propoziia trebuie s fie adevrat sau fals fr a putea fi
adevrat i fals n acelai timp. Pentru propoziia
neadevrat se folosete negaia:
Simboluri, formule
Ct timp nu admitem dect cele dou valori de

adevr (fals, adevrat) suntem n cadrul logicii
clasice sau a logicii bivalente.
n logica de tip propoziional, propoziiile sunt

uniti nedecompozabile.
Orice consideraie asupra structurii lor interne este
irelevant.
Simboluri, formule
Propoziiile simple sau atomi p, q, r, ... sunt

compozabile.
Ele se pot combina dnd natere la noi propoziii,

la rndul lor adevrate sau false.
Simbolurile numite conectori indic operaiile de

asociere sau combinare, care sunt cele mai frecvente
n vorbire sau raionament:
Simboluri, formule
Conectori:
Simboluri, formule
Simboluri, formule
Interpretarea formulei P este: dac Ion citete

i Ion scrie, atunci Ion este mulumit.
Formula P este format din trei atomi. Ea poate
fi privit drept o funcie de atomii p, q, r, care,
din acest motiv, se numesc variabile
propoziionale.
n logica propoziional unitatea principal de
lucru este formula.
Totalitatea simbolurilor logicii propoziiilor
constituie un alfabet.
Simboluri, formule
Simboluri, formule
Simboluri, formule
Simboluri, formule
Legea tautologic enunat pentru atomi poate fi

generalizat prin regula substituiei.
Este convenabil s o enunm ca o schem n forma

general pentru formule, fr a mai meniona
substituia.
Simboluri, formule
Evaluare, funcie de adevr
Introducem pe mulimea atomilor o funcie, numit de

evaluare, care aplic fiecare atom pe mulimea (adevrat,
fals):
v(p)=1 (adevrat) sau v(p)=0 (fals)
Prima problem a calculului propoziiilor const n
determinarea valorii de adevr a unei formule n funcie de
valoarea de adevr a atomilor.
Notm valoarea de adevr a unei formule P cu

sau cu notaia echivalent v(P).
Tautologie, validitate, consisten
O formul este valid, dac i numai dac este adevrat

n toate interpretrile.
Altfel (dac i numai dac nu este valid) este nevalid.
O formul este inconsistent dac i numai dac este
fals n toate interpretrile.
O formul este consistent dac i numai dac nu este
inconsistent.
Denumirea clasic a formulei valide din punct de vedere
semantic este tautologie, iar a celei inconsistente este
contradicie.
ntruct folosirea terminologiei de mai nainte depete

necesitile ce se ivesc n demonstrarea automat a
teoremelor, sunt folosite cu precdere urmtoarele expresii:
- O formul consistent se numete

realizabil.
- O formul este nerealizabil (inconsistent)
dac i numai dac nu este realizabil.
O formul este nerealizabil cnd este fals n

toate interpretrile, deci cnd nu admite model.
Dac reuim s demonstrm c exist cel puin o

interpretare pentru care este adevrat (admite cel
puin un model), ipoteza nu este adevrat i
formula se dovedete a fi realizabil.
Tautologii fundamentale
Urmtoarele formule valide sunt folosite cu precdere, ceea ce le-a fcut s se
disting uneori prin nume proprii. Ele sunt tutologii:
Metoda lui Quine
Un procedeu de a decide asupra realizabilitii unei formule (sau a caracterului de tautologie
sau de contradicie) care nu recurge la tabela de adevr a fost dat de Quine.
Procedeul const din urmtorii pai:
Metoda lui Quine
Metoda lui Quine
Metoda reducerii
Metoda reducerii
Echivalente
Echivalente
Reguli de manipulare i substituie
Reguli de manipulare i substituie
Dualitate
Conectori adecvati
Conectori adecvati
Consecinte logice
Forme normale
Sistemul deductiv al calculului propoziiilor
Demonstraie i deducie
Abordarea sintactic este susceptibil de un grad nalt de

formalizare.
Simbolurile sunt iniial neinterpretate i servesc la construirea
unui sistem deductiv abstract.
Prin interpretarea ca propoziii se obin consecine noi despre
logica acestora.
Un sistem formal este definit de:
1) un alfabet de simboluri,
2) o mulime de formule bine formate,
3) o mulime de axiome,
4) reguli de deducie.
Limbajul calculului cu predicate de ordinul nti
Limbajul calculului cu predicate de ordinul nti reprezint o extensie

a calculului propoziional prin luarea n considerare a componentelor
propoziiilor, pentru a interpreta modul n care acestea particip la
determinarea valorilor de adevr ale formulelor. Extensia se refer la
simbolurile primitive ale limbajului. Propoziia este considerat a avea
o structur cu dou componente:
predicatul ce specific semnificaia funcional a propoziiei;

argumentul predicatului specific semnificaia suportului
funcional al propoziiei.

Curs AI - Bazele Inteligentei Artificiale

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Curs AI - Bazele Inteligentei Artificiale

Încărcat de

Drepturi de autor:

Formate disponibile

Bazele Inteligentei Artificiale

Obiectul logicii este identificarea i folosirea

Logica simbolic utilizeaz simboluri pentru

Notaia de mai sus arat c propoziia Ion citete va fi

Ct timp nu admitem dect cele dou valori de

n logica de tip propoziional, propoziiile sunt

Propoziiile simple sau atomi p, q, r, ... sunt

Ele se pot combina dnd natere la noi propoziii,

Simbolurile numite conectori indic operaiile de

Interpretarea formulei P este: dac Ion citete

Legea tautologic enunat pentru atomi poate fi

Este convenabil s o enunm ca o schem n forma

Introducem pe mulimea atomilor o funcie, numit de

Notm valoarea de adevr a unei formule P cu

O formul este valid, dac i numai dac este adevrat

ntruct folosirea terminologiei de mai nainte depete

- O formul consistent se numete

O formul este nerealizabil cnd este fals n

Dac reuim s demonstrm c exist cel puin o

Abordarea sintactic este susceptibil de un grad nalt de

Limbajul calculului cu predicate de ordinul nti reprezint o extensie

predicatul ce specific semnificaia funcional a propoziiei;

S-ar putea să vă placă și