Logică Computaţională (LC)

Introducere

Note de lectură

5/19/2009 dr. I. POP 1

 Poziţia LC între limbaje

Logică Computaţională

Limbajul Computerului Limbaj Formal Limbaj Natural Reţele Neurale

5/19/2009 dr. I. POP 2

 Outline

¾ Oamenii nu totdeauna gândesc logic.

Selecţia Wason
Problema reţinerii Byrne
¾ Logica in ciclul observaţie-gândire-acţiune.
Instrucţuni în caz de semnalare urgenţă
¾ Oamenii trebuie să fie logici.
Legi şi Acte Normative

¾ Concluzii.

5/19/2009 dr. I. POP 3

Câteva distincţii

¾Logica o disciplină descriptivă

versus
logica o disciplină normativă model de gândire.

¾Logica o disciplină de subconştient, cugetare

automată
versus
logica o disciplină conştientă, gândire elaborată.

¾Ideea mea este că logica computaţională este

un bun model descriptiv pentru gândirea
subconştientă şi un bun model normativ pentru
gândirea
5/19/2009 conştientă şidr. comunicare.
I. POP 4
Selecţia Wason
Patru carduri, cu letere pe o parte,
cu numere pe cealaltă parte.

A F 2 7

Determinaţi dacă regula următoare este realizabilă:

Dacă există o vocală pe o parte,
atunci există un număr par pe cealaltă parte.

Numai 5-10% din oamenii chestionaţi au selectat corect

cardurile.
5/19/2009 dr. I. POP 5
 Selecţia Wason
Determinaţi dacă urmăoarea regulă este
realizabilă:
Dacă o persoană bea bere intr-un bar,
atunci persoana ar trebui să aibă peste 18 ani.

Cei mai mulţi oameni au dat un răspuns corect.

Concluzie?
Lumea nu utilizează logica, dar dezvoltă o schemă
de identificare nefiabiă :
Dacă obţii un beneficiu,
atunci trebuie să-i întruneşti crinţele.
5/19/2009 dr. I. POP 6
 Problema reţinerii Byrne
Dacă ea are de scris un eseu,
ea va studia până târziu in bibliotecă.
Ea are de sris un eseu.
95% din toţi subiecţii concluzionează:
Ea va studia până târziu in bibliotecă.

Adăugare:
Dacă biblioteca este deschisă
ea va studia până târziu in bibliotecă.
Numai 50% din toţi subiecţii concluzionează:

Ea va studia până târziu in bibliotecă.

Concluzie? Oamenii nu gândesc chiar logic.

5/19/2009 dr. I. POP 7
Logica in ciclul observaţie-gândire-acţiune.
Logica are nevoie să fie pusă la locul ei –
ca modalitate de gândire in ciclul observaţie-gândire-
acţiune al unui agent inteligent
Un agent
gândire

observaţie acţiune

procesare
perceptuală procesare
motorie

5/19/2009 Lumea reală

dr. I. POP 8
 Comportarea în caz de urgenţă

Un agent

întreţinere scop

Dacă există o urgenţă atunci se solicită ajutor

raţionament realizare
apel ajutor scop
forward Există o urgenţă

alertă
Există un incendiu supraveghetor
raţionament
backward
Apăsare buton
alarmă

observare acţionare
Lumea reală
5/19/2009 dr. I. POP 9
 O reprezentare logico/lingvistică
Scop Dacă există o urgenţă atunci solicit ajutor.

Instrucţiuni O persoană cere ajutor dacă (dacă şi numai dacă)

persoana alertează supraveghetorul.

O persoană alertează supraveghetorul dacă (d.n.d.)

persoana apasă butonul de alarmă.

Există o urgenţă dacă (d.n.d.)

există un incendiu sau
o persoană atacă o altă peroană sau
cineva devine bolnav grav sau
există un accident.

Există un incendiu dacă (d.n.d.)

există flăcări sau
5/19/2009
există fum. dr. I. POP 10
 ¾ Oamenii din lumea reală trebuie să fie logici.

The British Nationality Act –

Actul de Naţionalitate Britanic

5/19/2009 dr. I. POP 11

5/19/2009 dr. I. POP 12
Subsection 1.-(1)

1.-(1) O persoană născută in UK după înregistrarea

naşterii ar putea fi cetăţean britanic dacă la
momentul naşterii tatăl său sau mama sa este –
(a) un cetăţean britanic ; sau
(b) stabilit in UK.

5/19/2009 dr. I. POP 13

Logica subsecţionii 1.-(1)

O persoană ar putea fi cetăţean brianic prin 1.-(1)

dacă persoana s-a născut in United Kingdom
şi persoana născută a fost înregistrată
şi un părinte al persoanei a fost cetăţean britanic
în momentul naşterii persoanei sau
un părinte al persoanei a fost stabilit in United
Kingdom în momentul naşterii persoanei .

5/19/2009 dr. I. POP 14

 Logica Computaţională justifică performanţa
la selecţia Wason

Dacă există o vocală pe o parte,

atunci există un număr par de cealaltă parte.

Interpretarea ca program logic este inhibată contrapozitiv:

Dacă nu e cazul să fie o vocală pe o parte,
atunci nu e cazul să fie un număr par pe cealaltă parte.

Interpretarea lui dacă cu d.n.d. justifică conversia:

Dacă există un număr pe o parte,
atunci există o vocală pe cealaltă parte.

5/19/2009 dr. I. POP 15

 Dacă o persoană bea bere intr-un bar,
atunci persoana ar trebui să aibă peste 18 ani.

Aici implicaţia are o utilizare evidentă într-un ciclu

agent observaţie-gândire-acţiune.

Este natural să interpretez implicaţia ca un scop.

Scopul nu are forma tipică d.n.d. şi nu inhibă
contrapositiv:

Dacă o persoană nu are peste 18 ani,

atunci persoana nu poate să bea bere intr-un bar.

5/19/2009 dr. I. POP 16

Concluzii
Limbajul gândirii versus Limbajul natural.
Logica Computaţională este un bun candidat pentru
limbajul gândirii.

Limbajul natural este o exprimare imperfectă a

limbajului gândirii.

Logica pentru lucrul cu lumea reală concretă versus

logica pentru lucrul cu lumile abstracte imaginare.

Scopul primordial al gândirii este să ajute cu reacţie la

observaţii şi cu generarea acţiunilor potrivite.

5/19/2009 dr. I. POP 17

 Poziţia LC între limbaje

Logică Computaţională

Limbajul Computerului Limbaj Formal Limbaj Natural Reţele Neurale

Logica Computaţională e apreciată ca un larg spectru al

limbajului de gândire şi comunicare.

Programarea logică poate fi implementată

prin reţele neurale.

5/19/2009 dr. I. POP 18