Você está na página 1de 42

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?