Lógica e Raciocínio - Universidade da Madeira

Lógica e Raciocínio
Universidade da Madeira
http://dme.uma.pt/edu/LeR/
Raciocínio não Dedutivo
1
Imaginem um macaco ….
Era este?
2
Ou este?
Agora pensem em Ronaldo …
3
Porque agora perguntaram qual?
Qual beco é mais seguro?
4
O que é que todos estes exemplos
têm em comum?
ÎNão possuímos informação completa
ÎUtilizamos “o nosso bom senso”
ÎPensamos nas “hipóteses mais viáveis”
ÎNova informação pode fazer-nos mudar de
opinião
Raciocínio Não Monótono
ÎHipótese de Mundo Fechado (CWA)
ÎRaciocínio Por Omissão
5
Hipótese de Mundo Fechado
Closed World Assumption - CWA
ÎEsta suposição baseia-se em assumir que toda a
informação positiva que é necessário saber está na
nossa KB
ÎEsta suposição permite obter informação negativa.
A informação negativa não está representada
frequentemente de uma maneira explícita.
ÎA informação que não é mencionada na KB
assume-se como falsa, isto é se não encontra-se
uma instancia positiva na KB, então é valida a
negação.
Hipótese de Mundo Fechado
ÎAssumamos a seguinte base de dados de voos entre
Funchal e Lisboa:
Partida
Destino
Hora
FNC
LIS
08:10
FNC
LIS
19:25
LIS
FNC
09:50
LIS
FNC
21:15
Î Una consulta sobre a existência dum voo de FNC a LIS as 08:10 se
responderá afirmativamente.
Î Una consulta sobre a existência dum voo de FNC a LIS as 17:00 se
responderá negativamente, i.e. a negação da existência está certa.
6
Lógica de Omissões (Default Logic)
Î Lógica de omissões = Lógica Clássica + Regras de omissão
Î Uma regra de omissão é uma regra de inferência revogável na forma:
F:G
H
Î Onde F, G, H são frases da linguagem, chamadas, respectivamente,
pré-requisito, justificação e conclusão da regra de omissão.
Î A interpretação da regra é: se F é conhecida e não há qualquer prova
de que G seja falsa, então H pode ser inferida.
Î Uma regra por omissão normal é uma regra de omissão da forma:
F:G
G
Lógica de Omissões (Default Logic)
ÎO que está por trás deste sistema Formal?
Vamos discutir!
7
Mudanças de Crenças
Î Revisão de Crenças
ÎMudanças no Mundo
ÎQuais são as diferencias?
ÎPorqué?
VAMOS DISCUTIR!
8