Escolar Documentos
Profissional Documentos
Cultura Documentos
pode combinar o conhecimento geral com percepes correntes para deduzir aspectos ocultos do estado atual antes de selecionar aes.
pode combinar o conhecimento geral com percepes correntes para deduzir aspectos ocultos do estado atual antes de selecionar aes. Grande parte das dedues humanas dependem do tratamento de incertezas
segunda parte do curso...
Agentes lgicos
Representam o mundo Utilizam inferncia para tirar concluses sobre o mundo representado
Agentes lgicos
Conhecimento representado como sentenas em uma linguagem de representao de conhecimento; Um conjunto de sentenas forma a base de conhecimento (BC) do agente.
Informar e perguntar
Novas sentenas so adicionadas base de conhecimento por meio da tarefa TELL; Consultas base de conhecimento so feitas pela tarefa ASK;
ambos processos podem envolver inferncias
INFERNCIA: derivao de novas sentenas a partir de sentenas antigas.
A resposta de uma pergunta (ASK) base de conhecimento deve seguir o que foi informado anteriormente (TELL); Nada inventado medida em que o processo de inferncia se desenrola;
portanto, TELL um processo no clssico (abduo)! E aprendizagem tambm (induo).
Mundo de Wumpus
Desempenho ouro +1000, morte-1000 passo -1 , flecha -10 Ambiente quadrados prximos ao wumpus fedem prximos ao poo: brisa quadrado do ouro: brilho uma flecha somente atirar mata wumpus se em frente Pegar ouro no quad., deixa ouro no quad. Sensores:
[fedor, brisa, brilho, impacto, grito]
Nova percepo: [fedor , nada , nada , nada , nada] Nova deduo: wumpus em [3,1]
Nova deduo: wumpus em [3,1] e poo em [1,3] (pois no havia fedor em [1,2], nem brisa em [2,1])
Nova deduo: wumpus em [3,1] e poo em [1,3] (pois no havia fedor em [2,2] nem brisa em [2,1])
Esta uma inferncia difcil pois se baseia em informao obtida em diferentes instantes e lugares, e se baseia na falta de uma percepo... Est alm das habilidades da maioria dos animais, mas factvel para um agente lgico
Lgica -- sintaxe
...base de conhecimento consiste de sentenas... Sentenas so escritas com uma sintaxe; Sintaxe especifica sentenas bem formadas
ex. em aritmtica: X + Y = 4
x2y+= : no bem formada
Lgica -- semntica
Define o significado das sentenas; em lgica: significado a verdade de cada sentena em relao interpretaes possveis.
Ex. x + y = 4, verdade na interpretao x=2 e y=2, falso na interpretao x=1 e y =1. Em lgica clssica, as sentenas s podem ser verdadeiras ou falsas
Lgica -- semntica
Dizemos que m um modelo de : se verdade na interpretao m
Lgica -- semntica
Dada duas sentenas e , se em todos as interpretaes em que verdadeira, tambm o dizemos que consequncia lgica de : |=
se verdadeira tambm deve ser.
Situao aps detectar nada em [1,1], mover direita e brisa em [2,1] Considerar as interpretaes possveis para poos
Em alguns modelos em que BC verdadeira, 2 falsa, logo no h como deduzir se h um poo em [2,2] nem se no h...
Este algoritmo de inferncia denominado: verificao de modelos pois enumera todos os modelos possveis para verificar se verdadeira em todos os modelos em que BC verdadeira
Derivao lgica
Se um algoritmo de inferncia i pode derivar de BC: BC |-i um algoritmo de inferncia consistente (correto) se deriva apenas sentenas permitidas (pertencentes ao modelo). e completo se puder derivar qualquer sentena permitida.
BC |-i
Se a BC representa fatos no mundo real, qualquer sentena derivada de BC por um procedimento de inferncia consistente tambm ser verdadeira no mundo real
... portanto, embora a inferncia opere sobre a sintaxe, o processo corresponde concluses verdadeiras no mundo real.
Um modelo proposicional simplesmente fixa o valor verdade para todo smbolo proposicional de uma BC:
E.g. P1,2 false P2,2 true P3,1 false
S verdade sse S falso S1 S2 verdade sse S1 verdade e S2 verdade S1 S2 verdade sse S1 verdade ou S2 verdade S1 S2 verdade sse S1 falso ou S2 verdade i.e., falso sse S1 verdade e S2 falso S1 S2 verdade sse S1S2 verdade e S2S1 verdade
Tabela verdade
Assim reduz-se a verdade de sentenas complexas verdade de sentenas mais simples em um processo recursivo. E.g.: P1,2 (P2,2 P3,1) = true (true false) = true true = true Obs. Cada linha da tabela uma interpretao possvel.
Tabela verdade
A busca em profundidade para enumerar todos as interpretaes para encontrar modelos correta e completa.
Equivalncia lgica
Duas sentenas so logicamente equivalentes sse verdadeiras nos mesmos modelos: sse |= e |= :
Validade e satisfatibilidade
Uma sentena vlida se verdadeira em todos os modelos,
e.g., True, A A, A A, (A (A B)) B Tautologias
Validade ligada inferncia via o Teorema da Deduo : KB |= se e somente se (KB ) valida Uma sentena satisfatvel se verdadeira em algum modelo
e.g., A B, C
Teorema da Deduo
Validade ligada inferncia via o Teorema da Deduo : BC |= se e somente se (BC ) valida
Podemos imaginar o algoritmo anterior como a verificao da validade de BC
Exemplo: Wumpus
R8: ( B11 (P12 P21)) Modus ponens com R2 e R8: R9: (P12 P21))
Exemplo: Wumpus
Regra de de Morgan em R9:
R10: P12 P21 i.e. nem [1,2], nem [2,1] possui um poo! [obs. Erro no livro!]
Mtodos de prova
Model checking
enumerao de modelos em tabelas verdade retrocesso melhorado, e.g., Davis--Putnam-LogemannLoveland (DPLL) busca heurstica em um espao de modelos WALKSAT (correto, porm incompleto)
Resoluo
Satisfatibilidade ligada inferncia via o seguinte: BC |= se e somente se (BC ) insatisfatvel
Resoluo
Forma Normal Conjuntiva -- Conjunctive Normal Form (CNF)
conjuno de disjunes de literais E.g., (A B) (B C D)
Regra de inferncia resoluo (para CNF): l1 lk, m1 mn l1 li-1 li+1 lk m1 mj-1 mj+1 ... mn onde li e mj so literais complementares. l1 l2 l2 l3 l1 l3 E.g., P1,3 P2,2, P1,3 P2,2
Resoluo
Qualquer algoritmo de busca completo, aplicando apenas a regra de resoluo, pode derivar qualquer concluso permitida por qualquer base de conhecimento em lgica proposicional!
Algoritmo de Resoluo
Primeiro a entrada convertida em CNF. Em seguida a regra de resoluo aplicada s clusulas restantes. Cada par que contm literais complementares resolvido para gerar uma nova clusula, que adicionada ao conjunto..
Algoritmo de Resoluo
Algoritmo da resoluo
Prova por contradio, i.e., para provar em BC, mostrar que KB insatisfatvel
PL-Resolve retorna o conj. de todas as clusulas possveis obtidas pela resoluo de duas entradas
Exemplo de resoluo
2,1
E.g., C (B A) (C D B)
Podem ser usadas com forward chaining ou backward chaining. Algoritmos simples e de complexidade linear (em rel. ao tamanho da base de conhecimento) !
Forward chaining
Comea a partir de fatos conhecidos (literais positivos) na base de conhecimento. Se todas as premissas de uma implicao forem verdade, sua concluso ser acrescentada ao conjunto de fatos conhecidos.
Backward chaining
CONCLUSO
CONCLUSO
VOCS PRECISAM ESTUDAR!! Leiam o cap. 7 at a p. 214 Prxima aula tem mais!!