Lgica e Raciocnio

Universidade da Madeira

http://dme.uma.pt/edu/LeR/

Raciocnio no Dedutivo

1
 Raciocnio
Existem diferentes formas pelas quais um ser
humano obtm informao til a partir do que ele
considera o seu corpo de conhecimento.
Chamaremos a este stock Base de Conhecimento e
utilizaremos Kb para referi-lo.
O dispositivo pelo qual conseguimos elaborar
informao a partir da KB denomina-se
Mecanismo de Inferncia ou Mquina de
Inferncia.
O processo que utiliza o mecanismo inferencial
denomina-se Raciocnio.

Raciocnio
O Raciocnio permite obter informao que se encontra
explcita na KB ou que se encontra implcita na KB.
O seguinte um exemplo duma base de conhecimento
expressada em Lgica Proposicional:
KB = { A, A B }
Se supomos que o seu mecanismo de inferncia est
baseado no Modus Ponens, podemos ver que:

KB infere A (trivial e explicitamente)

KB infere A B (trivial e explicitamente)
KB infere B (por aplicao do Modus
Ponens)

2
 Representao e Raciocnio
Na anlise e na resoluo dos problemas
normalmente necessria uma grande quantidade
de conhecimento, e, portanto os mecanismos para
geri-lo tornam-se complexos.
Ao longo do desenvolvimento da disciplina,
foram propostas vrias formas de representar o
conhecimento.
Todas elas apresentam uma habilidade especial
em relao a uma classe particular de domnios.
Isto natural, j que podem-se aproveitar as
caractersticas particulares do domnio.
)Ex.: Lgica dentica em domnios jurdicos.

Representao e Raciocnio
Os diferentes mtodos e tecnologias partilham
os elementos para defini-los.
Num sistema de Representao de
Conhecimento e Raciocnio distinguem-se as
seguintes componentes:
1. Uma linguagem formal de representao.
2. Uma semntica que relaciona a representao com
seu significado.
3. Uma teoria de raciocnio ou teoria de prova ou
procedimento de prova que implementa a mquina de
inferncia.

3
 O que Raciocnio Inteligente?
A lgica toma como ponto de incio a
hiptese de que o raciocnio inteligente
alguma forma de clculo formal.
Estes clculos envolvem alguma forma de
deduo.
A Psicologia v o raciocnio como um
comportamento caracterstico dos seres
humanos.

O que Raciocnio Inteligente?

Outro caminho para aproximar-se a este problema
utilizado pela Biologia.
A pressuposio fundamental que a chave do
raciocnio est na arquitectura da maquinaria que
realiza esta tarefa.
Ento, o raciocnio caracterizado por um
comportamento de estmulo/resposta emergente da
interaco de uma enorme quantidade de
processadores simples conectados em paralelo.
Esta rea recebe o nome de Coneccionismo.

4
O que Raciocnio Inteligente?
Um quarto ponto de vista, derivado da teoria da
probabilidade agrega lgica a noo de incerteza.
Assim, raciocinar inteligentemente significa obedecer
alguma forma dos axiomas da probabilidade.
Finalmente, a viso da Economia agrega a noo de
valor e preferncia.
Desta forma, o raciocnio inteligente obedece aos
princpios da teoria da utilidade.

Raciocnio Dedutivo
) a classe de raciocnio onde uma concluso alcanada a partir
das premissas, isto , de factos previamente conhecidos.

) Por exemplo:
Todos os homens so mortais.
Scrates um homem.
Ento, Scrates mortal.

5
Mundo de Wumpus

Mundo de Wumpus

6
Mundo de Wumpus

Mundo de Wumpus

7
Mundo de Wumpus

Mundo de Wumpus

8
Mundo de Wumpus

Mundo de Wumpus

9
Mundo de Wumpus

Mundo de Wumpus

10
Mundo de Wumpus

Mundo de Wumpus

11
A deduo no sempre o melhor

Alguns exemplos onde a deduo (a

monotonia, etc.) no so apropriadas.

A lgica apropriada nas nossas vidas?

Ontem cheguei a casa e tive o seguinte dilogo

com a minha esposa:

- Hoje ests to bonita que no te reconheci

(B R)

(Ok, ofendeu-se com B R, isto R B, ento ela

quer que Eu diga R B, ou seja B R)

12
A lgica apropriada nas nossas vidas?

- Hoje ests to feia que no te reconheci.

( B R)

Tambm ficou amuada, ento se B R no deu certo,

tentemos com BR.

A lgica apropriada nas nossas vidas?

- Hoje ests to feia que te reconheci ao instante.

( B R)

13
No trabalho
Na secretaria do DME existem 3 secretrios: Anita,
Maria Jos e Nelson.

Um dia o Sr. Nelson faltou. Vejamos o seguinte

dilogo:

No trabalho

EF: Anita, como est tudo pior sem o Sr.

Nelson!
A: Grrrrrrr.

14
No trabalho

EF: Ok, ento Vc considera que tudo fica

pior quando est o Sr. Nelson
A: Ehh, no, eu no disse isso.

No trabalho

EF: Ok, se no est pior nem melhor,

est igual.
A: Pse!

15
No trabalho
EF: Ok, ento acha que a presena do Sr
Nelson irrelevante.
A: ????

O que significa P v Q?
P Q PQ
v v v
v f v
f v v
f f f

16
 PvQ
Desconto a reformados ou estudantes
Maria reformada e estudante. Merece o
desconto?

Por 1 beba ch ou caf

- D-me um ch e um caf
- ok 2
- Cooooomo???

P Q equivalente a Q P?
P Q QP PQ
v v v v
v f f f
f v f f
f f f f

17
P Q equivalente a Q P?
Agora vejamos:

P: Casou-se
Q: Engravidou

Para mim continua a ser a mesma coisa, mas para

as bilhardeiras do meu quarteiro no.

P Q

P Q PQ
v v v
v f f
f v v
f f v

18
 P Q
Se X < 2 ento X > 4

Aparentemente falso. E se X vale 5?

5< 2 5>4, P Q PQ

ou seja f v verdade v
v
v
f
v
f
f v v
f f v

P Q
Se Eu no estivesse aqui, estaria reunido com
o Papa a discutir teologia.

( verdadeiro!!!!)

19
Reforo do antecedente
Em lgica
)Se A B, ento A C B
Nas nossas vidas
)Se vou ao cinema com a minha namorada
bom. (NC B)
)Se vou ao cinema com a minha namorada e a
sua me ... (NC M ?)

P Q equivalente a -Q - P
Contraposio

P Q P Q -Q - P
v v v v
v f f f
f v v v
f f v v

20
Contraposio
Os mdicos no percebem
de cirurgias cerebrais.

Concluso, os que
percebem de cirurgias
cerebrais no so mdicos.

Deduo (Modus Ponens)

A B
A
_______
B
Se tenho gripe tenho febre
Tenho gripe
Ento tenho febre

21
Deduo (Modus Ponens)
No Mdico

EF: Doutor tenho gripe.

Mdico: Ah, deve ter febre.
EF: Por acaso tenho.
Mdico: Ok, 50. Seguinte ...

Raciocnio Indutivo:

)Raciocinar indutivamente partir de premissas

particulares, na busca de uma lei geral, universal.

)Por exemplo:
Todos os dias o sol aparece.
Amanh tambm aparecer.

22
Raciocnio Abdutivo:
Tambm chamado inferncia de diagnstico ou
melhor explicao. Cria hipteses.

Por exemplo:

)Sabemos que o carro no liga.

)Pode ser que acabou a gasolina.

Relao entre diferentes formas

de Raciocnio
Induo (do particular para o geral)

Dados Hipteses
Deduo (do geral para o particular)

Abduo
(gerando explicaes)

Evidncias

23
Outros tipos de Raciocnio
Analogia
Se duas situaes so iguais em alguns dos seus aspectos, o normal que possam s-lo
em outras.
Exemplo:
) Em Estocolmo faz frio, ento em Lund (que perto) tambm faz frio.

Probabilstico

AB com 80%
A com 65%
___________________________
B com X%

Possibilstico

As pessoas altas normalmente caminham depressa.

Joo mede 1,81 m
___________________________
O que podemos inferir?

Concluso
Existem muitas formas de Inferncia
)Deduo apenas uma delas
Requer conhecimento completo sobre o mundo
Nem sempre adequada
Porm correcta
)Induo, Abduo, Analogia
Embora no sejam correctas so teis quando no
temos toda a informao disponvel.

24