Agentes lgicos

Prof. Msc. Eng. Solander Patrcio Lopes Agostinho

 Como agentes podem formar representaes do mundo, usar um
Questo processo de inferncia para derivar novas representaes e utilizar
essas novas representaes para deduzir o que fazer?
 Agentes baseados em conhecimento
Podem lidar mais facilmente com ambientes parcialmente
observveis.
O que so??? A base de conhecimento formada por um conjunto de sentenas
expressadas atravs de uma linguagem lgica de representao
de conhecimento.
possvel adicionar novas informaes a base de conhecimento
 Porque utilizar uma linguagem lgica de representao
de conhecimento?

Facilita a criao dos agentes. possvel dizer o que o

Agentes agente sabe atravs de sentenas lgicas.
Basead0s em
O agente pode adicionar novas sentenas a sua base de
conhecimento conhecimento enquanto ele explora o ambiente.

Abordagem declarativa de criao de sistemas.

 Jogo Wumpus...

Caso de
estudo...
 Salas conectadas por passagens;

Ouro em alguma sala;

Configurao Poos sem fundo nos quais cair qualquer um que passar pela
sala, exceto o Wumpus;
do ambiente...
Wumpus: monstro que devora qualquer guerreiro que entrar
em sua sala. O Wumpus pode ser morto pelo agente, mas o
agente s tem uma flecha.
 Medida de desempenho: +1.000 por pegar ouro, -1.000 se cair em
um poo ou for devorado pelo Wumpus, -1 para cada ao
executada, -10 pelo uso da flecha.

Ambiente: malha 4x4 de salas. O agente sempre comea no

Configurao quadrado identificado como [1,1] voltado para a direita. As
do ambiente... posies do Wumpus, ouro e poos so escolhidas aleatoriamente.

Aes posiveis: O agente pode mover-se para frente, virar

esquerda, virar direita, agarrar um objeto e atirar a flecha.
 Sensores:
Em quadrados adjacentes ao Wumpus, exceto diagonal, o
agente sente o cheiro do Wumpus;
Em quadrados adjacentes a um poo, exceto diagonal, o
Percepo do agente sente uma brisa;
Quadrados onde existe ouro o agente percebe o brilho do
agente... ouro;
Ao caminhar contra uma parede o agente sente um impacto;
Quando o Wumpus morre o agente ouve um grito;
 Passo 1:

Sensores:
[nada, nada, nada, nada, nada]
Avaliando
possibilidades. Concluso:
[1,2] e [2,1] so seguros
..
Movimento escolhido:
[2,1]
 Passo 2:

Sensores:
[nada, brisa, nada, nada, nada]
Avaliando
possibilidades. Concluso:
H poo em [2,2], [3,1] ou ambos
..
Movimento escolhido:
[1,1] e depois [1,2]
 Passo 3:
Sensores:
[fedor, nada, nada, nada, nada]

Concluso:
Avaliando H Wumpus em [1,3] ou [2,2]
Wumpus no pode estar em [2,2]
possibilidades. Wumpus em [1,3]
.. No existe poo em [2,2]
Poo em [3,1]
[2,2] seguro

Movimento escolhido:
[2,2]
 A base de conhecimento de um agente formada por
um conjunto de sentenas expressadas atravs de uma
linguagem lgica de representao de
conhecimento.

O conceito de lgica foi organizado principalmente por

Aristteles. o conhecimento das formas gerais e
Lgica regras gerais do pensamento correto e verdadeiro,
independentemente dos contedos pensados
Todo homem mortal
Scrates um homem
Logo, Scrates mortal

Todo X Y. Z X. Portanto, Z Y.
 Lgica proposicional: (ou lgica Booleana) lgica que representa
a estrutura de sentenas usando conectivos como: "e", "ou" e
"no.
Lgica de predicados: lgica que representa a estrutura de
sentenas usando conectivos como: alguns, todos e
nenhum.
Lgica multivalorada: estende os tradicionais valores
verdadeiro/falso para incluir outros valores como "possvel ou um
Tipos de lgica nmero infinito de "graus de verdade, representados, por
exemplo, por um nmero real entre 0 e 1.
Lgica modal: o estudo do comportamento dedutivo de
expresses como: necessrio que e possvel que.
Lgica temporal: descreve qualquer sistema de regras e smbolos
para representar e raciocinar sobre proposies qualificadas em
termos do tempo.
Lgica paraconsistente: lgica especializada no tratamento de
bases de dados que contenham inconsistncias.
 Sintaxe: especifica todas as sentenas que so
bem-formadas.
Exemplo na aritmtica: x+y=4, x4y+=.

Conceitos de Semntica: Especifica o significado das

lgica sentenas. A verdade de cada sentena com
relao a cada mundo possvel.
Exemplo: a sentena x+y=4 verdadeira em um
mundo no qual x=2 e y=2, mas falsa em um
mundo em que x=1 e y=1.
 Modelo: um mundo possvel.
A frase m modelo de a indica que a sentena a
verdadeira no modelo m.

Conceitos de Consequncia lgica: utilizada quando uma

lgica sentena decorre logicamente de outra.
Notao: a b (b decorre logicamente de a).

Pode ser aplicada para derivar concluses, ou seja, para

conduzir inferncia lgica.
 Base de conhecimento:
Nada em [1,1];
Brisa em [2,1];
Regras do mundo de Wumpus;
Consequncia
lgica no Interesse do agente:

Mundo de Saber se os quadrados [1,2],

[2,2] e [3,1] contm poos.
Wumpus
Possveis modelos:
2=8
Possveis
modelos
 A base de conhecimento (BC) falsa em modelos que contradizem o
que o agente sabe. Nesse caso, h apenas 3 modelos em que a base
de conhecimento verdadeira:

Consequncia
lgica no
Mundo de
Wumpus
 Considerando a possvel concluso:
a = no existe nenhum poo em [1,2]

possivel afirma que

Consequncia BC a
lgica no BC

Mundo de a
Wumpus
 Considerando a possvel concluso:
a = no existe nenhum poo em [2,2]

Consequncia possivel afirma que

lgica no BC
BC a
Mundo de a

Wumpus
 Ilustra a consequncia lgica.

Mostra como a consequncia lgica pode ser

aplicada para produzir inferncia lgica (derivar
concluses).
Inferncia
lgica O algoritmo ilustrado no exemplo se chama model
checking. Ele numera todos os possveis modelos
para checar se a verdade em todos os modelos
onde BC verdade.
 Como representar a base de conhecimento do
agente?
Agente
baseado em Lgica Proposicional
conhecimento Lgica de Primeira ordem
Outras linguagens lgicas
 Lgica simples.

A sentenas so formadas por conectivos como: e,

ou, ento.

Lgica necessrio definir:

Proposicional Sintaxe (sentenas vlidas).
Semntica (modo pelo qual a verdade das sentenas
determinada).
Consequncia lgica (relao entre uma sentena e outra
que decorre dela).
Algoritmo para inferncia lgica.
 A sintaxe da lgica proposicional define as
sentenas permitidas. formada por:
Smbolos: nomes em letras maisculas (P, Q, R, ...) que
podem assumir verdadeiro e falso;

Sintaxe da Sentenas atmicas: constitudas por elementos sintticos

indivisveis (smbolo proposicional);
lgica
proposicional Sentenas complexas: so construdas a partir de sentenas
mais simples com a utilizao de conectivos lgicos: (no),
(e), (ou), (implica), (dupla implicao)
Sentena cujo principal conectivo : conjuno
Sentena cujo principal conectivo : disjuno
 Sentena Sentena Atmica | Sentena Complexa

Sentena Atmica Verdadeiro | Falso | Smbolo

Smbolo P | Q | R | ...
Gramtica da
lgica Sentena Complexa Sentena

proposicional | (Sentena Sentena)

| (Sentena Sentena)
| (Sentena Sentena)
| (Sentena Sentena)
 P
Verdadeiro
PQ
Exemplos... (P Q) S
(P Q) R S
(P Q)
(P Q) R S
 PQ

Implicao da Se P verdade ento Q tambm verdade.

lgica...
Exemplo:
Se est chovendo ento as ruas esto molhadas.
 PQ

Se P verdade ento Q tambm verdade. Se Q

verdade ento P tambm verdade.

Equivalncia Exemplo:
da lgica... Se dois lados de um triangulo so iguais ento os dois
ngulos da base do tribulo so iguais.

A equivalncia por ser substituda por duas

sentenas de implicao: (P Q) (Q P)
 Descreve como calcular o valor verdade de qualquer
sentena com base em um mesmo modelo.
necessrio definir como calcular a verdade de
sentenas atmicas e como calcular a verdade de
sentenas formadas com cada um dos cinco conectivos
(, , , , ).

Semntica em Sentenas atmicas:

Lgica Verdadeiro verdadeiro e falso falso em todo modelo.
O valor-verdade de todos os outros smbolos proposicionais
Proposicional deve ser especificado diretamente no modelo.

Sentenas complexas:
As regras em cada conectivo so resumidas em uma tabela-
verdade.
 Para os cinco conectivos lgicos apresentados,
teremos:

Tabela verdade

(*) Lgica proposicional no exige relao de causa e efeito entre P e Q.

Deve-se entender esta relao como se P verdadeira, ento Q
verdadeira. Caso contrrio, no estou fazendo nenhuma afirmao.
Exemplo:
5 mpar implica que Tquio capital do Japo (V)
5 par implica que Joo inteligente (V)
 Vocabulrio de smbolos
proposicionais:

Seja Pi,j verdadeiro se existe

Voltando ao poo em [i,j]
Wumpus... Seja Bi,j verdadeiro se existe
brisa em [i,j]
 Base de Conhecimento:

R1: P1,1 No h poo em [1,1].

R2: B1,1 (P1,2 P2,1) Um quadrado tem uma brisa se e somente se

Voltando ao R3: B2,1 (P1,1 P2,2 P3,1)
existe um poo em um quadrado vizinho
(todos os quadrados devem ser declarados).
Wumpus...
R4: B1,1 Percepes adquiridas pelo agente do
mundo em que ele se encontra.
R5: B2,1
 Inferncia: derivao de novas sentenas a partir de
sentenas antigas.

Objetivo: decidir se BC para alguma sentena .

Exemplos: P1,2? P2,2?
Inferncia no
mundo de
Algoritmo: enumerar todos os modelos e verificar se
Wumpus... verdadeira em todo modelo no qual BC verdadeira.
Smbolos proposicionais relevantes:
B1,1, B2,1, P1,1, P1,2, P2,1, P2,2, P3,1

7 smbolos 27=128 modelos possveis

Inferncia no
mundo de
Wumpus...
 Em trs desses modelos toda a base de conhecimento
verdadeira.
Nesses trs modelos, P1,2 verdadeira. Dessa maneira conclui-se
Conclui-se que no existe poo em [1,2].
que... P2,2 verdadeira em dois dos trs modelos e falsa em um. Assim,
no podemos dizer ainda se existe um poo em [2,2].
 Duas sentenas e so logicamente equivalentes
( ) se so verdadeiras no mesmo conjunto de
modelos.
() () comutatividade de
() () comutatividade de
Eplorando o () () associatividade de
() () associatividade de
principio da eliminao de dupla negao
Equivalncia () () contraposio
() ( ) eliminao de implicao
() (() ()) eliminao de bicondicional
() () de Morgan
() () de Morgan
(()) (()()) distributividade de sobre
(()) (()()) distributividade de sobre
 Modus Ponens: A partir de uma
implicao e a premissa da
implicao, pode-se inferir a
concluso.

Padres de Eliminao de E: De uma

Raciocnio em conjuno, pode-se inferir
qualquer um dos conjuntores.
Logica
Proposicional Resoluo Unitria: De uma
disjuno, se um dos disjuntores
falso, ento pode-se inferir que
o outro verdadeiro.
 Base de Conhecimento:

R1: P1,1 No h poo em [1,1].

De Volta ao R2: B1,1 (P1,2 P2,1) Um quadrado tem uma brisa se e somente se
existe um poo em um quadrado vizinho
Mundo do R3: B2,1 (P1,1 P2,2 P3,1) (todos os quadrados devem ser declarados).

Wumpus...
R4: B1,1 Percepes adquiridas pelo agente do
mundo em que ele se encontra.
R5: B2,1
 Eliminao bicondicional em R2:
R2: B1,1 (P1,2 P2,1)
R6: (B1,1 (P1,2 P2,1)) ((P1,2 P2,1) B1,1)
Eliminao de e em R6: De uma conjuno, pode-se
R7: (P1,2 P2,1) B1,1 inferir qualquer um dos
conjuntores.
Provando P1,2 Contraposio em R7:
em Wumpus R8: B1,1 (P1,2 P2,1)
A partir de uma implicao e a
Modus Ponens (R4 + R8) premissa da implicao, pode-
R4: B1,1 se inferir a concluso.

R9: (P1,2 P2,1)

Regra de Morgan em R9:
R10: P1,2 P2,1
Eliminao de e em R10: P1,2
 A aplicao de uma sequencia de regras de inferncias para
derivar uma concluso chamado de prova lgica.

Prova Lgica... A aplicao de inferncias logicas uma alternativa a

enumerao de modelos vista anteriormente.

Como saber quais regras de inferncia devem ser utilizadas?

 A lgica proposicional simples de mais para representar alguns
problemas do mundo real.
Problemas
inerentes a Em problemas complexos pode ser necessrio a utilizao de um
nmero muito grande de sentenas para a criao de um agente
tcnica... realmente inteligente.
 Use a lgica proposicional para resolver o seguinte caso:
O famoso detetive Percule Hoirot foi chamado para resolver um
assassinato misterioso. Ele determinou os seguintes fatos:
(a) Lord Charles, o homem assassinado, foi morto com uma pancada
na cabea com um castial.
(b) Ou Lady Camila ou a empregada Sara estavam na sala de jantar
no momento do assassinato.
(c) Se o cozinheiro estava na cozinha no momento do assassinato,
ento o aougueiro matou Lord Charles com uma dose fatal de
Exerccio arsnico.
(d) Se Lady Camila estava na sala de jantar no momento do
assassinato, ento o motorista matou Lord Charles.
(e) Se o cozinheiro no estava na cozinha no momento do
assassinato, ento Sara no estava na sala de jantar quando o
assassinato ocorreu.
(f) Se Sara estava na sala de jantar no momento do assassinato,
ento o ajudante pessoal de Lord Charles o matou.
PERGUNTA: possvel para o detetive Percule Hoirot deduzir quem
matou Lorde Charles? Se sim, quem o assassino?