Log Prop

EA072 Prof. Fernando J.
Von Zuben DCA/FEEC/Unicamp
Lgica matemtica, representao e inferncia

1 2 3 Introduo.................................................................................................................................................................................................. 2 Sistemas de Inteligncia Artificial mais realsticos................................................................................................................................... 4 Lgica proposicional ................................................................................................................................................................................. 5 3.1 3.2 3.3 4 Sintaxe em lgica proposicional .................................................................................................................................................. 5 Propriedades do conectivo lgico implicao ............................................................................................................................ 10 Semntica e Mtodos para Satisfao de Proposies ............................................................................................................... 13
Processos de inferncia em lgica proposicional .................................................................................................................................... 16 4.1 4.2 4.3 4.4 Vinculao de Proposies......................................................................................................................................................... 16 Sistema de prova e regras de inferncia ..................................................................................................................................... 22 Mecanismos de inferncia sound e completo............................................................................................................................. 25 Resoluo ou prova por refutao .............................................................................................................................................. 26
Lgica de Primeira Ordem ...................................................................................................................................................................... 29 5.1 5.2 5.3 Escolha da representao dos predicados................................................................................................................................... 31 Proposies categricas e predicados quantificados .................................................................................................................. 33 Sentenas em lgica de primeira ordem..................................................................................................................................... 35
As limitaes da lgica segundo von Neumann...................................................................................................................................... 36
Tpico P2.1: Lgica matemtica, representao e inferncia
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?
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 percepes Concluses
+ Operao
Prximo estado
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.
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
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.
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
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 pTp pFp pTT pFF ppp ppp ( p) p pqqp pqqp (p q) r p (q r) (p q) r p (q r) p (q r) (p q) (p r) p (q r) (p q) (p r) (p q) p q (p q) p q
Denominao Leis de Identidade Leis de Dominncia Leis de Idempotncia Lei da dupla negao Leis Comutativas Leis Associativas Leis Distributivas Leis de De Morgan
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: menor precedncia
maior precedncia pqr pqrz pqrz p(qr) (pq)(rz) (p(qr))z
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 V V F F q V F V F pq V F V V
p q uma proposio composta verdadeira sempre que p F ou q V.

10
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.
11
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
12
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.
13
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.
14
( 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:
15
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)
16
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 F F F F
V V F F V V F F
V F V F V F V F
17
o que conduz aos seguintes valores-verdade para as regras e eventos presentes na base de conhecimento: E V V V V F F F F P V V F F V V F F B V F V F V F V F REGRA 1 V V F F V V V V REGRA 2 V F V V V F V V EVENTO 1 V V V V F F F 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
18
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 visitlo. Inicialmente, iremos converter este texto descritivo em regras que compem uma base de conhecimento. Para tanto, considere as seguintes proposies:
19
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:
20
P V V F F
Q V F V F
QP V V F V
(PQ)(PQ) FV=F VV=V VV=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.
21
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.
22
mecanismos de inferncia para a deduo natural pq p q

Modus ponens
pq q p
Modus tolens
p q pq
Introduo de AND
pq p
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:
23
Prove S Passo 1 2 3 4 5 6 7 8 Proposio PQ PR (QR)S P R Q QR S Derivao Premissa Premissa Premissa

(1) Eliminao de AND
(2,4) Modus ponens

(1) Eliminao de AND
(6,5) Introduo de AND (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
24
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.
25
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:
26
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
27
de (2) e (3), pela regra da resoluo, deduz-se p z, que produz a seguinte configurao para a base de conhecimento: (1) (2) (3) (4) (5) p p q q z z p z
de (4) e (5), pela regra da resoluo, deduz-se p, que produz a seguinte configurao para a base de conhecimento: (1) (2) (3) (4) (5) (6) p p q q z z p z 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.
28
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 funopredicado.
29
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 valorverdade 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.
30
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:
31
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.
32
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:
33
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) )
34
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.
35
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.
36

Log Prop

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

Enviado por

Direitos autorais:

Formatos disponíveis

EA072 Prof. Fernando J.

Von Zuben DCA/FEEC/Unicamp

Lgica matemtica, representao e inferncia

As limitaes da lgica segundo von Neumann...................................................................................................................................... 36

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Mltiplas percepes Concluses

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

2 Sistemas de Inteligncia Artificial mais realsticos

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

maior precedncia pqr pqrz pqrz p(qr) (pq)(rz) (p(qr))z

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

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

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

4 Processos de inferncia em lgica proposicional

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

(PQ)(PQ) FV=F VV=V VV=V VF=F

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

mecanismos de inferncia para a deduo natural pq p q

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Prove S Passo 1 2 3 4 5 6 7 8 Proposio PQ PR (QR)S P R Q QR S Derivao Premissa Premissa Premissa

(2,4) Modus ponens

(6,5) Introduo de AND (3,7) Modus ponens

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

5 Lgica de Primeira Ordem

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

EA072 Prof. Fernando J. Von Zuben DCA/FEEC/Unicamp

Tpico P2.1: Lgica matemtica, representao e inferncia