Log Prop PDF

EA072 Prof. Fernando J.
Von Zuben
DCA/FEEC/Unicamp
Lgica matemtica,
representao e inferncia
1 Introduo.................................................................................................................................................................................................. 2
2 Sistemas de Inteligncia Artificial mais realsticos................................................................................................................................... 4
3 Lgica proposicional ................................................................................................................................................................................. 5
3.1 Sintaxe em lgica proposicional .................................................................................................................................................. 5
3.2 Propriedades do conectivo lgico implicao ............................................................................................................................ 10
3.3 Semntica e Mtodos para Satisfao de Proposies ............................................................................................................... 13
4 Processos de inferncia em lgica proposicional .................................................................................................................................... 16
4.1 Vinculao de Proposies......................................................................................................................................................... 16
4.2 Sistema de prova e regras de inferncia ..................................................................................................................................... 22
4.3 Mecanismos de inferncia sound e completo............................................................................................................................. 25
4.4 Resoluo ou prova por refutao .............................................................................................................................................. 26
5 Lgica de Primeira Ordem ...................................................................................................................................................................... 29
5.1 Escolha da representao dos predicados................................................................................................................................... 31
5.2 Proposies categricas e predicados quantificados .................................................................................................................. 33
5.3 Sentenas em lgica de primeira ordem..................................................................................................................................... 35
6 As limitaes da lgica segundo von Neumann...................................................................................................................................... 36
Tpico P2.1: Lgica matemtica, representao e inferncia 1
EA072 Prof. Fernando J. Von Zuben

DCA/FEEC/Unicamp
1 Introduo
lgica:
tpico de matemtica discreta (lgica matemtica);
seu estudo sistemtico deriva da poca de Aristteles (384-322 a.C.);
promove o tratamento matemtico da manipulao do conhecimento.
a lgica uma linguagem formal, contendo:
uma sintaxe: indica se uma expresso legal na linguagem;
uma semntica: indica o significado das expresses legais na linguagem;
um modo de manipular expresses na linguagem para se obter outras
expresses na linguagem (inferncia).
a sintaxe a forma e a semntica o contedo.
o que se quer obter com a manipulao de expresses na linguagem? Ou seja, o
que se quer obter com os mecanismos de inferncia?

DCA/FEEC/Unicamp
espera-se que as novas expresses obtidas, alm de serem sintaticamente

corretas, tenham um significado (valor semntico) que represente uma
novidade acerca do mundo.
como caracterizar as novidades acerca do mundo?
a partir de mltiplas percepes do mundo, um agente inteligente precisa
chegar a algumas concluses sobre o mundo;
a partir do que se sabe sobre o estado atual do mundo (via percepes) e do
que se sabe sobre as conseqncias de uma ao que se pretende tomar, um
agente inteligente precisa chegar a algumas concluses caso a ao seja
tomada (inferir sobre o prximo estado do mundo).
h outras formas de inferncia possveis.
Estado corrente
Mltiplas Prximo
Concluses +
percepes estado
Operao

DCA/FEEC/Unicamp
se o raciocnio e o comportamento inteligente pudessem ser completamente

formalizados em termos de lgica matemtica, a Inteligncia Artificial seria de
fcil implementao.
por outro lado, no parece ser de alguma utilidade sistemas de Inteligncia
Artificial que formulam concluses ilgicas.
logo, a lgica matemtica representa um mecanismo rigoroso para realizar
inferncias e o fundamento de sistemas baseados em regras.
2 Sistemas de Inteligncia Artificial mais realsticos

projetos mais realsticos de Inteligncia Artificial devem incluir:
lgica multivalorada;
lgica no-monotnica;
lgica temporal.
a lgica multivalorada pode ser representada, por exemplo, pela lgica nebulosa.

DCA/FEEC/Unicamp
numa lgica monotnica, qualquer coisa que deriva de um conjunto de fatos CF

tambm deriva de um conjunto de fatos que corresponde a uma extenso de CF.
numa lgica temporal, pressupe-se que as proposies so verdadeiras em
momentos particulares e que esses momentos (que podem ser pontos ou
intervalos) esto ordenados. So muito utilizadas em programao concorrente.
3 Lgica proposicional
3.1 Sintaxe em lgica proposicional
a sintaxe em lgica proposicional indica que tipo de smbolos podem ser utilizados
e em que ordem. No necessrio saber o seu significado (semntica). Tambm
no necessrio saber que tipo de conhecimento eles simbolizam.
para ilustrar essa idia, geralmente emprega-se um exemplo famoso devido a
Chomsky, usando linguagem natural: Idias verdes descoloridas descansam
furiosamente. Trata-se de uma sentena sintaticamente bem-formada, mas

DCA/FEEC/Unicamp
semanticamente sem sentido algum. Substantivo, verbo, adjetivos e advrbio esto

corretamente posicionados. Nada alm disso.
uma seqncia de smbolos (sintaticamente correta) forma uma proposio ou
sentena declarativa.
por isso que uma proposio ou sentena declarativa tambm chamada de
frmula bem-formada.
uma proposio ou sentena declarativa uma afirmao que verdadeira ou
falsa, mas nunca ambos.
uma tabela verdade apresenta as relaes entre os valores-verdade de proposies.
inferncia o processo de deduo de novas proposies a partir de proposies
existentes.
um axioma uma proposio que sempre verdadeira.
um procedimento de inferncia baseado em lgica proposicional parte de um
conjunto de axiomas e de uma proposio cujo valor-verdade deve ser deduzido.

DCA/FEEC/Unicamp
uma proposio composta formada usando conectivos lgicos:

negao (~) (NOT)
conjuno (AND)
disjuno (OR)
implicao ()
bi-implicao ou equivalncia ()
logo, se p e q so proposies (simples ou compostas), ento tambm so
proposies:
(p)
p
pq
pq
pq
pq

DCA/FEEC/Unicamp
nada mais proposio, alm do que foi indicado acima.

seguem algumas equivalncias lgicas, onde V verdadeiro, F falso e p, q e r
so proposies:
Equivalncias Denominao
pTp Leis de Identidade
pFp
pTT Leis de Dominncia
pFF
ppp Leis de Idempotncia
ppp
( p) p Lei da dupla negao
pqqp Leis Comutativas
pqqp
(p q) r p (q r) Leis Associativas
(p q) r p (q r)
p (q r) (p q) (p r) Leis Distributivas
p (q r) (p q) (p r)
(p q) p q Leis de De Morgan
(p q) p q

DCA/FEEC/Unicamp
duas proposies equivalentes no tm que apresentar o mesmo significado, mas

apenas o mesmo valor-verdade.
relaes de precedncia: formalmente, no haveria necessidade de definir
precedncia entre conectivos lgicos, pois as proposies sintaticamente corretas
deveriam utilizar tantos parnteses quanto necessrios. No entanto, para permitir a
escrita de proposies mais enxutas, estabelecem-se as seguintes relaes de
precedncia:
maior precedncia
pqr p(qr)
pqrz (pq)(rz)
pqrz (p(qr))z
menor precedncia

DCA/FEEC/Unicamp
3.2 Propriedades do conectivo lgico implicao

p q ou p q
SE antecedente ENTO conseqente
antecedente: proposio simples ou composta
conseqente: proposio simples ou composta
Tabela Verdade ( p q p q )
p q pq
V V V
V F F
F V V
F F V
p q uma proposio composta verdadeira sempre que p F ou q V.

DCA/FEEC/Unicamp
uma proposio simples pode ser vista como uma implicao sem antecedentes.
se uma implicao verdadeira, o fato do antecedente ser verdadeiro fora o
conseqente a ser verdadeiro. Essa a base lgica para o encadeamento direto.
no entanto, o conectivo lgico implicao possui uma fraca capacidade
representacional:
p e q no precisam fazer sentido juntos.
Exemplo: A implicao
SE 4+2=3 ENTO O cachorro mais esperto que o homem.
verdadeira pela 4a. linha da tabela verdade, pois uma hiptese falsa implica uma
concluso com qualquer valor-verdade.
a implicao p q no determina que p cause q, embora no impea que
isso ocorra. De fato, no h uma relao de causa-efeito intrnseca. H
simplesmente uma relao entre os valores-verdade de antecedente e
conseqente e valores-verdade da implicao em si.

DCA/FEEC/Unicamp
o que p q produz :
q V se p V, ou seja, p uma condio suficiente para q;
p V somente se q V, ou seja, q uma condio necessria para p.
formas lgicas relacionadas com a implicao p q:
converso: q p;
inverso: ( p ) ( q );
contrapositivo: ( q ) ( p ).
equivalncias lgicas envolvendo implicaes:
pqpq
pqqp
pq(p)q
p q ( p q)
(pq)p(q)
(pq)(pr)p(qr)
(pr)(qr)(pq)r
(pq)(pr)p(qr)
(pr)(qr)(pq)r

DCA/FEEC/Unicamp
se uma implicao e a sua conversa so ambas verdadeiras, ento elas so

equivalentes (SE E SOMENTE SE).
equivalncias envolvendo bi-implicaes:
pq(pq)(qp)
pq(p)(q)
pq(pq)(pq)
(pq)pq
3.3 Semntica e Mtodos para Satisfao de Proposies

como j mencionado, a semntica de uma proposio o seu significado;
a busca de significado para proposies se justifica em bases de conhecimento, as
quais dizem alguma coisa sobre o mundo.
em lgica proposicional, o significado de uma proposio p, em uma dada
situao do mundo, V ou F.

DCA/FEEC/Unicamp
a interpretao de uma proposio a atribuio de valor-verdade a ela.

uma proposio satisfazvel se ela tiver valor-verdade V em pelo menos uma
interpretao.
uma proposio que sempre verdade uma tautologia.
uma proposio que sempre falsa uma contradio.
Exemplos:
p q satisfeita quando p V e q F
p p p p uma tautologia
p p uma contradio
fumaa fogo no satisfeita quando fumaa V e fogo F, sendo

satisfeita nas outras situaes.
( fumaa fogo ) ( fumaa fogo ) no satisfeita quando
fumaa F e fogo V, sendo satisfeita nas outras situaes.

DCA/FEEC/Unicamp
( fumaa fogo ) ( fogo fumaa ) uma tautologia

para satisfao de proposies compostas, existe o mtodo da fora bruta, que
enumera todas as interpretaes possveis para as proposies l contidas (tambm
chamadas de variveis da proposio composta) e verifica o valor-verdade em
cada caso.
vai haver situaes em que enumerar todas as interpretaes conduz a uma
situao infactvel, o que remete a mtodos alternativos, como:
busca heurstica (por exemplo, via algoritmos evolutivos);
propagao de restries, backtracking e ordenamento de variveis.
um problema de satisfao em lgica proposicional encontrar um conjunto de
atribuies de valores-verdade para as variveis que compem uma proposio
composta de modo que esta proposio composta seja verdadeira. Isso s vai ser
possvel, obviamente, se a proposio composta no for uma contradio.
podem ser formulados como problemas de satisfao em lgica proposicional:

DCA/FEEC/Unicamp
escalonamento de professores em instituies de ensino;

controle de trfego areo;
descoberta de bugs em programas computacionais.
geralmente, problemas de satisfao so formulados como uma conjuno de
disjunes.
4 Processos de inferncia em lgica proposicional
4.1 Vinculao de Proposies

uma motivao para se dispor de bases de conhecimento representadas pela
descrio lgica de situaes a possibilidade de extrair concluses que remetem
a outros aspectos das situaes j conhecidas.
Exemplo de contedo de uma base de conhecimento:
Se o dia est ensolarado, ento o professor est feliz. (REGRA 1)
Se o professor est feliz, ento a aula vai ser boa. (REGRA 2)

DCA/FEEC/Unicamp
O dia est ensolarado. (EVENTO 1)

Pergunta: pode-se inferir que a aula vai ser boa?
Existem trs proposies envolvidas neste processo de inferncia:
O dia est ensolarado
O professor est feliz
A aula vai ser boa
Logo, existem 8 possibilidades de valores-verdade para elas:
O dia est ensolarado E O professor est feliz P A aula vai ser boa B
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

DCA/FEEC/Unicamp
o que conduz aos seguintes valores-verdade para as regras e eventos presentes na

base de conhecimento:
E P B REGRA 1 REGRA 2 EVENTO 1
V V V V V V
V V F V F V
V F V F V V
V F F F V V
F V V V V F
F V F V F F
F F V V V F
F F F V V F
h apenas uma interpretao para E, P e B que faz com que as regras e eventos
presentes na base de conhecimento sejam todos verdadeiros (1a. linha da tabela) e,
nessa interpretao, tem-se que B V. Logo, conclui-se que a aula vai ser boa.
se toda interpretao que satisfaz o contedo de uma base de conhecimento
tambm satisfaz uma dada proposio, ento diz-se que a base de conhecimento

DCA/FEEC/Unicamp
vincula (entails) aquela proposio, ou seja, a proposio dedutvel a partir da

base de conhecimento.
conclui-se ento que o clculo de vinculao de uma proposio (deduo lgica)
envolve enumerar todas as interpretaes que satisfazem a base de conhecimento
e, ento, verificar se aquela proposio verdadeira em todas elas.
Outro exemplo de processo de inferncia em lgica proposicional:
Considere o seguinte texto descritivo: Suponhamos que Scrates est em tal
situao que ele estaria disposto a visitar Plato, s se Plato estivesse
disposto a visit-lo; e que Plato est em tal situao que ele no estaria
disposto a visitar Scrates se Scrates estivesse disposto a visit-lo, mas
estaria disposto a visitar Scrates se Scrates no estivesse disposto a visit-
lo.
Inicialmente, iremos converter este texto descritivo em regras que compem
uma base de conhecimento. Para tanto, considere as seguintes proposies:

DCA/FEEC/Unicamp
P: Scrates est disposto a visitar Plato.

Q: Plato est disposto a visitar Scrates.
As regras so as seguintes:
Situao de Scrates: Q P
Situao de Plato: ( P Q ) ( P Q )
Pergunta: Scrates est disposto a visitar Plato ou no?
Outra formulao para a pergunta: Quem verdadeiro: P ou P?
Para responder a essa pergunta, necessrio apenas verificar que
interpretao para P satisfaz o contedo da base de conhecimento, ou seja,
que interpretao para P torna as regras da base de conhecimento
verdadeiras.
A tabela verdade com todas as interpretaes possveis para o par de
proposies {P,Q} produz:

DCA/FEEC/Unicamp
P Q QP (PQ)(PQ)
V V V FV=F
V F V VV=V
F V F VV=V
F F V VF=F
Logo, a nica situao em que as duas regras so verdadeiras se d quando

P V e Q F.
Resposta: Scrates est disposto a visitar Plato.
no entanto, com o aumento do nmero de proposies simples (tambm chamadas
de variveis da proposio composta) que esto presentes em regras (proposies
compostas) e eventos da base de conhecimento, a enumerao de todas as
interpretaes possveis para as variveis se torna infactvel.

DCA/FEEC/Unicamp
4.2 Sistema de prova e regras de inferncia

um sistema de prova um modo de testar se uma base de conhecimento vincula
uma dada proposio sem, no entanto, enumerar todas as interpretaes possveis.
a prova trabalha apenas com sintaxe e no emprega semntica, ou seja, no recorre
interpretao das variveis envolvidas.
quase todo sistema de prova envolve uma seqncia de proposies.
ser abordado inicialmente um sistema de prova baseado em deduo natural.
tudo se inicia com as premissas, ou seja, aquilo que se conhece. So as
proposies iniciais.
Com base nessas proposies, procura-se aplicar regras de inferncia.
Quando uma proposio P aparece em uma linha dessa seqncia de proposies,
ento P est provado a partir da base de conhecimento.

DCA/FEEC/Unicamp
mecanismos de inferncia para a deduo natural

pq pq p
p q q pq
q p pq p
Modus ponens Modus tolens Introduo de AND Eliminao de AND
Modus ponens foi proposto por Aristteles, sendo que se trata de uma expresso
em latim cujo significado mtodo de afirmao.
Modus tolens se trata de uma expresso em latim cujo significado mtodo de
negao.
Exemplo de um procedimento de deduo natural, empregando as regras de
inferncia acima:

DCA/FEEC/Unicamp
Prove S
Passo Proposio Derivao

1 PQ Premissa
2 PR Premissa
3 (QR)S Premissa
4 P (1) Eliminao de AND
5 R (2,4) Modus ponens

6 Q (1) Eliminao de AND
7 QR (6,5) Introduo de AND

8 S (3,7) Modus ponens
embora a deduo natural seja um procedimento sistemtico, portanto passvel de

ser implementado em computador, ele pode envolver uma quantidade enorme de
derivaes e deve tratar todas as interpretaes possveis para certas variveis, isso

DCA/FEEC/Unicamp
quando mais de uma interpretao para as variveis torna certas proposies

verdadeiras.
4.3 Mecanismos de inferncia sound e completo

mecanismo de inferncia sound: aquele que somente gera sentenas que sejam
conseqncias lgicas da base de conhecimento.
mecanismo de inferncia completo: aquele que pode encontrar uma prova para
qualquer proposio que seja conseqncia lgica da base de conhecimento.
as regras de inferncia da deduo natural so sound, mas no so completas.
essa a razo pela qual os computadores empregam em sistemas de provas uma
regra de inferncia alternativa, denominada regra da resoluo, a qual sound e
completa, por ser nica.
ela requer que todas as proposies sejam convertidas para a forma normal
conjuntiva.

DCA/FEEC/Unicamp
pq
qr
pr
Regra da resoluo
o mecanismo continua sendo aquele de produzir uma seqncia de proposies a

partir de proposies existentes.
4.4 Resoluo ou prova por refutao

todas as proposies logicamente consistentes podem ser obtidas aplicando-se a
regra de resoluo. por isso que se diz que a resoluo logicamente completa.
a regra da resoluo pode ser empregada para mostrar que um conjunto de
proposies inconsistente, no sentido de que o processo de resoluo conduz a
uma contradio lgica.
a grande utilidade desse procedimento est na prova por refutao ou contradio:
DCA/FEEC/Unicamp
Para provar que uma proposio verdadeira, adiciona-se o negativo dessa

proposio base de conhecimento (conjunto de proposies sabidamente
verdadeiras) e busca-se deduzir uma contradio.
Exemplo: considere o seguinte contedo de uma base de conhecimento:
(1) p
(2) p q
(3) q z
o objetivo provar que z V. Com isso, deve-se adicionar z base de
conhecimento e converter todos os itens da base de conhecimento em disjunes,
produzindo:
(1) p
(2) p q
(3) q z
(4) z

DCA/FEEC/Unicamp
de (2) e (3), pela regra da resoluo, deduz-se p z, que produz a seguinte

configurao para a base de conhecimento:
(1) p
(2) p q
(3) q z
(4) z
(5) p z
de (4) e (5), pela regra da resoluo, deduz-se p, que produz a seguinte
configurao para a base de conhecimento:
(1) p
(2) p q
(3) q z
(4) z
(5) p z
(6) p
chega-se, assim a uma contradio (p p), o que permite concluir que z
inconsistente com a base de conhecimento inicial, levando a deduzir que z V.

DCA/FEEC/Unicamp
5 Lgica de Primeira Ordem

a lgica proposicional simplesmente mapeia o valor-verdade de uma proposio
em verdadeiro ou falso. Sendo assim, no h variveis envolvidas, no sentido de
condicionarem o valor-verdade da proposio dependendo da atribuio feita
varivel. Em outras palavras, no h formas de manipular o contedo de uma
proposio de modo a modificar seu valor-verdade.
essa uma limitao muito forte da lgica proposicional, o que motiva o estudo da
lgica de predicados.
um predicado uma proposio com variveis.
uma funo-predicado um mapeamento que atribui valor-verdade a uma
proposio, dependendo do valor assumido pelas variveis envolvidas na
proposio.
variveis isoladas tambm podem assumir valores-verdade a partir de uma funo-
predicado.

DCA/FEEC/Unicamp
os valores que uma varivel pode assumir so chamados de universo de discurso

da varivel.
como um exemplo, a funo-predicado mpar (Pmpar) pode ser definida como
segue:
V se n mpar
Pmpar (n) = ,
F caso contrrio
sendo que o universo de discurso de n dado pelos nmeros inteiros.
a lgica de predicados o ramo da lgica que permite realizar inferncias com
base em predicados.
dois predicados so considerados equivalentes se eles assumem o mesmo valor-
verdade para todo o universo de discurso de suas variveis.
novamente aqui possvel distinguir valor-verdade de significado, pois dois
predicados equivalentes podem no fazer sentido algum juntos.

DCA/FEEC/Unicamp
predicados com uma nica varivel representam relaes unrias e so chamados

de propriedades. Exemplo:
pode_se_mover(objeto)
com o universo de discurso da varivel objeto sendo dado na forma:
objeto = {carro, cavalo, usina nuclear, montanha }
o predicado acima verdadeiro para os dois primeiros elementos do universo de
discurso e falso para os dois ltimos.
predicados com mltiplas variveis estabelecem relaes n-rias, como:
prximo_a ( regio 1, regio 2 )
no_topo_de ( objeto 1, objeto 2 )
5.1 Escolha da representao dos predicados

a seguinte proposio:
Joo est ferido na perna.
pode ser codificada de variadas formas:

DCA/FEEC/Unicamp
est_ferido ( Joo, perna )

Joo ( perna, est ferido )
perna ( Joo, est ferida )
as quais correspondem s seguintes relaes de duas variveis:
est_ferido ( quem, onde )
Joo ( onde, estado )
perna ( quem, estado )
exemplos de universos de discurso das variveis precedentes so:
quem = { Maria, Gabriel, Joo, Tiago, Pedro }
onde = { Rosto, Peito, Cabea, P, Mo }
estado = { ferido, sadio, marcado, dolorido }
freqentemente, escolhe-se o verbo como nome do predicado, o que viabiliza o
clculo de predicados de primeira ordem.

DCA/FEEC/Unicamp
5.2 Proposies categricas e predicados quantificados

proposies categricas permitem a representao prtica de relaes mais
genricas, alm de quantificar uma grande quantidade de conhecimento.
tomando elementos de duas classes, C1 e C2, as proposies categricas podem ser
de quatro tipos:
todo elemento de C1 elemento de C2;
nenhum elemento de C1 elemento de C2;
algum (pelo menos um) elemento de C1 elemento de C2;
algum (pelo menos um) elemento de C1 no elemento de C2.
todo e nenhum so quantificadores universais.
algum um quantificador existencial.
em lgica de predicados, as proposies categricas podem ser representadas por
dois quantificadores:
quantificador universal:

DCA/FEEC/Unicamp
quantificador existencial:
notao:
X p(X)
X p(X)
equivalncia de predicados quantificados:
( X p(X) ) ( X p(X) )
( X p(X) ) ( X p(X) )
regras teis envolvendo predicados quantificados:
( X p(X) ) p(a)
p(a) ( X p(X) )

DCA/FEEC/Unicamp
5.3 Sentenas em lgica de primeira ordem

uma frmula bem formada em lgica de predicados um predicado ou uma
proposio (simples ou composta), sendo que at agora foram considerados os
seguintes tipos de frmulas:
p (pode ser uma proposio ou um predicado)
p
pz
pz
pz
q(p) onde p qualquer frmula bem formada e q um quantificador.
uma sentena, ou frmula fechada, uma frmula bem formada em que toda
ocorrncia de uma varivel (se houver) est no escopo de um quantificador para
aquela varivel.

DCA/FEEC/Unicamp
caso haja variveis livres, ou seja, variveis no restritas ao escopo de um

quantificador, ento tem-se uma expresso ou frmula aberta.
se o universo das variveis nas sentenas exclui nomes de predicados e de
funes-predicado, ento o conjunto de todas as sentenas derivveis a
linguagem da lgica de primeira ordem.
6 As limitaes da lgica segundo von Neumann

Whatever language the central nervous system is using, it is characterized by less
logical and arithmetic depth than what we are normally used to ... Thus the
outward forms of our mathematics are not absolutely relevant from the point of
view of evaluating what the mathematical of logical language truly used by the
central nervous system is.

Log Prop PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Log Prop PDF

Enviado por

Direitos autorais:

Formatos disponíveis

EA072 Prof. Fernando J.

Tpico P2.1: Lgica matemtica, representao e inferncia 1

EA072 Prof. Fernando J. Von Zuben

Tpico P2.1: Lgica matemtica, representao e inferncia 2

espera-se que as novas expresses obtidas, alm de serem sintaticamente

Tpico P2.1: Lgica matemtica, representao e inferncia 3

EA072 Prof. Fernando J. Von Zuben

se o raciocnio e o comportamento inteligente pudessem ser completamente

2 Sistemas de Inteligncia Artificial mais realsticos

Tpico P2.1: Lgica matemtica, representao e inferncia 4

numa lgica monotnica, qualquer coisa que deriva de um conjunto de fatos CF

Tpico P2.1: Lgica matemtica, representao e inferncia 5

EA072 Prof. Fernando J. Von Zuben

semanticamente sem sentido algum. Substantivo, verbo, adjetivos e advrbio esto

Tpico P2.1: Lgica matemtica, representao e inferncia 6

uma proposio composta formada usando conectivos lgicos:

Tpico P2.1: Lgica matemtica, representao e inferncia 7

EA072 Prof. Fernando J. Von Zuben

nada mais proposio, alm do que foi indicado acima.

Tpico P2.1: Lgica matemtica, representao e inferncia 8

duas proposies equivalentes no tm que apresentar o mesmo significado, mas

Tpico P2.1: Lgica matemtica, representao e inferncia 9

EA072 Prof. Fernando J. Von Zuben

3.2 Propriedades do conectivo lgico implicao

p q uma proposio composta verdadeira sempre que p F ou q V.

Tpico P2.1: Lgica matemtica, representao e inferncia 10

Tpico P2.1: Lgica matemtica, representao e inferncia 11

EA072 Prof. Fernando J. Von Zuben

Tpico P2.1: Lgica matemtica, representao e inferncia 12

se uma implicao e a sua conversa so ambas verdadeiras, ento elas so

3.3 Semntica e Mtodos para Satisfao de Proposies

Tpico P2.1: Lgica matemtica, representao e inferncia 13

EA072 Prof. Fernando J. Von Zuben

a interpretao de uma proposio a atribuio de valor-verdade a ela.

fumaa fogo no satisfeita quando fumaa V e fogo F, sendo

Tpico P2.1: Lgica matemtica, representao e inferncia 14

( fumaa fogo ) ( fogo fumaa ) uma tautologia

Tpico P2.1: Lgica matemtica, representao e inferncia 15

EA072 Prof. Fernando J. Von Zuben

escalonamento de professores em instituies de ensino;

4 Processos de inferncia em lgica proposicional

4.1 Vinculao de Proposies

Tpico P2.1: Lgica matemtica, representao e inferncia 16

O dia est ensolarado. (EVENTO 1)

Tpico P2.1: Lgica matemtica, representao e inferncia 17

EA072 Prof. Fernando J. Von Zuben

o que conduz aos seguintes valores-verdade para as regras e eventos presentes na

Tpico P2.1: Lgica matemtica, representao e inferncia 18

vincula (entails) aquela proposio, ou seja, a proposio dedutvel a partir da

Tpico P2.1: Lgica matemtica, representao e inferncia 19

EA072 Prof. Fernando J. Von Zuben

P: Scrates est disposto a visitar Plato.

Tpico P2.1: Lgica matemtica, representao e inferncia 20

Logo, a nica situao em que as duas regras so verdadeiras se d quando

Tpico P2.1: Lgica matemtica, representao e inferncia 21

EA072 Prof. Fernando J. Von Zuben

4.2 Sistema de prova e regras de inferncia

Tpico P2.1: Lgica matemtica, representao e inferncia 22

mecanismos de inferncia para a deduo natural

Tpico P2.1: Lgica matemtica, representao e inferncia 23

EA072 Prof. Fernando J. Von Zuben

Passo Proposio Derivao

5 R (2,4) Modus ponens