MAC425/5739 Inteligência Artificial Inferência lógica
|
|
- João Victor Azenha Vilaverde
- 6 Há anos
- Visualizações:
Transcrição
1 MAC425/5739 Inteligência Artificial Inferência lógica Denis Deratani Mauá (largamente baseado no material de aula do Profs. Paulo Santos e Peter Norvig)
2 LÓGICA PROPOSICIONAL Assume mundo é composto por fatos! Símbolos: nomes em letras maiúsculas (P, Q, R,...) que podem assumir verdadeiro e falso! Sentenças atômicas: constituídas por elementos sintáticos indivisíveis (símbolo proposicional)! Sentenças complexas: são construídas a partir de sentenças mais simples com a utilização de conectivos lógicos: (não), (e), (ou), (implica), (dupla implicação)! Sentença cujo principal conectivo é : conjunção! Sentença cujo principal conectivo é : disjunção
3 LP: SINTAXE Sentença SentençaAtômica SentençaComplexa SentençaAtômica Verdadeiro Falso Símbolo Símbolo P Q R... SentençaComplexa Sentença (Sentença Sentença) (Sentença Sentença) (Sentença Sentença) (Sentença Sentença)
4 LÓGICA DE PRIMEIRA ORDEM Assume mundos compostos por:!objetos: pessoas, casas, números, cores, jogos de futebol, guerras,!relações: vermelho, redondo, número primo, irmão de, maior que, parte de, entre,!funções: pai de, amigo de, soma, triângulo,
5 LPO: SINTAXE Constantes Jacob, 2, NULO, e,... Predicados IrmãoDe, >,... Funções RaizQuadrada, PaiDe,... Variáveis x, y, a, b,... Conectivos,,,, Igualdade = Quantificadores, Apenas símbolos, não a coisa em si
6 LPO: SINTAXE Termos = função(termo 1,...,termo n ) ou constante ou variável [referem-se a objetos] Sentenças atômicas = predicado(termo 1,...,termo n ) ou termo 1 = termo 2 Sentenças complexas = S, S 1 S 2, S 1 S 2, S 1 S 2, S 1 S 2, Exemplo:! x B(x, K, R) (T(L(R, x)), T(L(K, x))) [enunciam fatos] ( ) <variáveis> S
7 SEMÂNTICA EM LÓGICA DE PRIMEIRA ORDEM Relaciona sentenças a modelos a fim de determinar valor-verdade! Interpretação especifica quais objetos, relações e funções são referidos pelos símbolos de constantes, relações e funções Interpretação é, portanto, um mapeamento entre símbolos de constantes objetos símbolos de predicados relações símbolos de funções funções R J R J R J R J... Uma sentença atômica predicado(termo 1,...,termo n ) é verdadeira se e somente se os objetos relativos a termo 1,...,termo n estão contidos na relação relativa à predicado
8 SUBSTITUIÇÃO Substituição (lista de atribuições): ϴ: Variáveis Termos (variáveis em variáveis, variáveis em constantes, variáveis em funções,...) Dada uma sentença α e uma substituição ϴ, αθ denota o resultado da substituição de ϴ em α: α = P(x, y) ϴ = {x/h, y/f(b)} αθ = P(H, F(B))
9 INFERÊNCIA Derivar sentenças acarretadas por base de conhecimento Lógica proposicional: Verificação de modelos enumeração é intratável; pode ser feito de forma eficiente (SAT solvers) Provador de teoremas (regras de inferência) busca no espaço de sentenças onde ações são regras de inferência Modus ponens: α β, α β Se Sócrates é humano então Sócrates é mortal, Sócrates é humano Sócrates é Mortal Algoritmo de inferência é correto se deriva sentenças acarretadas Algoritmo de inferência é completo se deriva qualquer sentença acarretada
10 INFERÊNCIA EM LÓGICA PROPOSICIONAL Modus Ponens: A partir de uma implicação e a premissa da implicação, pode-se inferir a conclusão Eliminação de E: De uma conjunção, pode-se inferir qualquer um dos conjuntores Resolução Unitária: De uma disjunção, se um dos disjuntores é falso, então pode-se inferir que o outro é verdadeiro
11 INFERÊNCIA Derivar sentenças acarretadas por base de conhecimento Lógica de primeira ordem: Redução à lógica proposicional Em geral é intratável Provador de teoremas (regras de inferência) busca no espaço de sentenças onde ações são regras de inferência Existem algoritmos completos e corretos Acarretamento é semidecidível
12 REDUÇÃO À INFERÊNCIA PROPOSICIONAL Converta base de conhecimento em lógica proposicional e use inferência proposicional
13 INSTANCIAÇÃO UNIVERSAL (UI) Toda instância de uma sentença universalmente quantificada é acarretada por ela: v α α{v/g} Para qualquer variável v e termo g Exemplos: x K(x) G(x) E(x, J) K(J) G(J) E(J, J) K(R) G(R) E(R, J) K(F(J)) G(F(J)) E(F(J), J)...
14 INSTANCIAÇÃO EXISTENCIAL (EI) Para qualquer sentença α, variável v, e constante k que não aparece em nenhum outro lugar da base de conhecimento: v α {v/k}α Exemplo: x C(x) O(x, J) C(C 1 ) O(C 1,J) C 1 é um novo símbolo de constante, chamado constante de Skolem
15 REDUÇÃO À INFERÊNCIA PROPOSICIONAL Teorema de Herbrand (1930): se uma sentença α é consequência lógica de uma base de conhecimento de 1 a ordem, então é também consequência de um subconjunto finito da base de conhecimento proposicionalizada Resultado: para a profundidade de n = 0 à n = : criar uma base proposicional com profundidade n, verificar consequência lógica de α Só funciona se α é consequência lógica da BC, caso contrário não termina Teorema de Church-Turing (1936): acarretamento em lógica de primeira ordem é semidecidível
16 PROBLEMAS COM A PROPOSICIONALIZAÇÃO Gera muitas sentenças irrelevantes Exemplo: x K(x) G(x) E(x) K(J) y G(y) B(R,J) Dedução de E(J) deveria ser direta, porém proposicionalização produz fatos irrelevantes como G(R)
17 REGRAS DE INFERÊNCIA EM PRIMEIRA ORDEM Geram sentenças consistentes diretamente da base de conhecimento em primeira ordem
18 MODUS PONENS GENERALIZADO (MPG) p 1 ', p 2 ',, p n ', (p 1 p 2 p n q) onde p i 'θ = p i θ para todo i qθ p 1 ' é K(J) p 2 ' é G(y) θ é {x/j, y/j} qθ é E(J) p 1 é K(x) p 2 é G(x) q é E(x) Cláusulas definidas: disjunção com um único literal positivo Todas as variáveis são (implicitamente) universalmente quantificadas
19 UNIFICAÇÃO x K(x) G(x) E(x) K(J) y G(y) B(R,J) No exemplo obtemos a inferência desejada imediatamente se existir uma substituição θ tal que K(x) e G(x) se resolvam com K(J) e G(y) θ = {x/j, y/j} é o que procuramos E(J)? Unify(α, β) = θ se αθ = βθ Unify recebe duas sentenças atômicas e retorna substituição que as torne (sintaticamente) idênticas ou falha
20 UNIFICAÇÃO - EXEMPLO Unify(α, β) = θ se αθ = βθ α β θ P(J, x) P(J, J) {x/j} P(J, x) P(y, O) {x/o, y/j} P(J, x) P(y, M(y)) {y/j, x/m(j)} P(J, x) P(x, O) falha P(J, x) Q(J, x) falha P(J, F(x)) P(J, G(x)) falha
21 UNIFICAÇÃO Para unificar P(J, x) e P(y, z): θ = {y/j, x/z} ou θ = {y/j, x/j, z/j} Primeiro unificador é mais geral Se duas sentenças são unificáveis, há exatamente um unificador mais geral (MGU) a não ser por renomeação de variáveis MGU = { y/j, x/z }
22 UNIFICAÇÃO Unificar P(J, x) e P(x, R): θ = {x/j} e θ = {x/r} ambos falham Standardizing apart: Unify(P(J, x), P(z, R)) = θ = {x/r, z/j}
23 UNIFICAÇÃO - EXEMPLO Base de conhecimento: x K(A, x) H(A, x) K(A, B) Consulta: H(A, B)? Unificação: Unify(K(A, x), K(A, B)) = θ = {x/b} Inferência (por resolução unitária): K(A, B) H(A, B)
24 EXEMPLO Base de conhecimento: The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. Objetivo: Provar que Col. West é um criminoso
25 EXEMPLO it is a crime for an American to sell weapons to hostile nations : American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) Nono has some missiles : x Owns(Nono, x) Missile(x) Owns(Nono, M 1 ), Missile(M 1 ) [instanciação existencial] all of its missiles were sold to it by Colonel West : Missile(x) Owns(Nono, x) Sells(West, x, Nono)
26 EXEMPLO Missiles are weapons : Missile(x) Weapon(x) An enemy of America counts as "hostile : Enemy(x, America) Hostile(x) West, who is American American(West) The country Nono, an enemy of America Enemy(Nono, America)
27 EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M 1 ) 3. Missile(M 1 ) 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America) Criminal(West)?
28 EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M 1 ) 3. Missile(M 1 ) 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America) Criminal(West)? Weapon(M 1 )
29 EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M 1 ) 3. Missile(M 1 ) 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America) Criminal(West)? Sells(West, M 1, Nono) Weapon(M 1 )
30 EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M 1 ) 3. Missile(M 1 ) 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America) Criminal(West)? Sells(West, M 1, Nono) Weapon(M 1 ) Hostile(Nono)
31 EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M 1 ) 3. Missile(M 1 ) 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America) Criminal(West)? Sells(West, M 1, Nono) Weapon(M 1 ) Hostile(Nono) Criminal(West)
32 ENCADEAMENTO PROGRESSIVO
33 ENCADEAMENTO PROGRESSIVO É correto e completo para cláusulas de Horn (cláusulas definidas sem símbolos funcionais) Pode não terminar se α não for consequência lógica de BC! Isso é o melhor possível (Teorema de Church-Turing)! Requer casamento de cláusulas com premissas (NP-difícil)
34 ENCADEAMENTO REGRESSIVO É chamado com uma lista de objetivos contendo inicialmente um único elemento, a consulta original, e retorna o conjunto de todas as substituições que satisfazem à consulta
35 ENCADEAMENTO REGRESSIVO O algoritmo recebe o primeiro objetivo e encontra toda cláusula da base de conhecimento cujo literal positivo (ou cabeça) se unifica com objetivo Cada cláusula desse tipo cria uma nova chamada recursiva, na qual a premissa (ou corpo) da cláusula é adicionada à pilha de objetivos
36 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
37 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
38 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
39 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
40 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
41 ENCADEAMENTO REGRESSIVO EXEMPLO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
42 ENCADEAMENTO REGRESSIVO 1. American(x) Weapon(y) Sells(x, y, z) Hostile(z) Criminal(x) 2. Owns(Nono, M ) 1 3. Missile(M ) 1 4. Missile(x) Owns(Nono, x) Sells(West, x, Nono) 5. Missile(x) Weapon(x) 6. Enemy(x, America) Hostile(x) 7. American(West) 8. Enemy(Nono, America)
43 ENCADEAMENTO REGRESSIVO Espaço linear com relação ao tamanho da prova Incompleto devido a loops infinitos (busca em profundidade) Pode ser consertado verificando se cada novo objetivo já foi verificado antes Ineficiente, pois submetas podem ser resolvidos várias vezes Pode ser consertado armazenando resultados anteriores ( com aumento da uso de memória) Método utilizado em programação em lógica (prolog)
44 RESOLUÇÃO Lógica proposicional: A B, B C A C Prova por resolução (refutação):! 1. Adicione negação da consulta à BC! 2. Transforme a BC em forma normal conjuntiva (CNF)! 3. Enquanto for possível, aplique regra de resolução; se cláusula vazia (NIL) é produzida, pare e retorne que consulta é verdadeira! 4. Retorne que consulta é falsa Prova por resolução sempre termina porque cada passo gera cláusulas menores
45 RESOLUÇÃO Lógica de primeira ordem: L 1 L k, M 1 M n (L 1 L i-1 L i+1 L k M 1 M j-1 M j+1 M n )θ onde Unify(L i, M j ) = θ (as duas clausulas são separadamente padronizadas, assim não possuem variáveis iguais)
46 RESOLUÇÃO - EXEMPLO 1. Consulta deve ser negada e adicionada à BC Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)?
47 RESOLUÇÃO - EXEMPLO 1. Consulta deve ser negada e adicionada a BC Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)
48 RESOLUÇÃO - EXEMPLO 2. As sentenças devem estar em forma normal conjuntiva (CNF) Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)
49 RESOLUÇÃO - EXEMPLO 2. As sentenças devem estar em forma normal conjuntiva (CNF) Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)
50 RESOLUÇÃO - EXEMPLO 3. Aplique regra de resolução enquanto possível e não gerar cláusula NIL Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)
51 RESOLUÇÃO - EXEMPLO 3. Aplique regra de resolução enquanto possível e não gerar cláusula NIL Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety)
52 RESOLUÇÃO - EXEMPLO 3. Aplique regra de resolução enquanto possível e não gerar cláusula NIL Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety) Feathers(Tweety)
53 RESOLUÇÃO - EXEMPLO 3. Aplique regra de resolução enquanto possível e não gerar cláusula NIL Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety) Feathers(Tweety)
54 RESOLUÇÃO - EXEMPLO 3. Aplique regra de resolução enquanto possível e não gerar cláusula NIL Exemplo: Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety) Feathers(Tweety) NIL
55 RESOLUÇÃO Exemplo: com θ = {x/tweety} Feathers(x) Bird(x) Feathers(Tweety) Bird(Tweety) Prova por resolução de CNF(BC α) é correta e completa para lógica de primeira ordem
56 EXEMPLO: PROVA POR RESOLUÇÃO
57 PROVA POR REFUTAÇÃO Para provar teorema (consequência lógica) A provamos que A é insatisfatível para provar falsidade basta encontrar modelo para A Isso não prova que A é verdadeiro (válida)! Apenas que A é falso! Mostrar que A é satisfatível não implica que A é válida Prove que x+y=4 x=2 y=2! Logicamente equivalente a (x+y=4) (x=2 y=2)! Vamos tentar provar que existe x,y tal que ( (x+y=4) (x=2 y=2)), que é equivalente a (x+y=4) ( (x=2) (y=2))! x=1, y=3 teorema é falso! mas (x+y=4) ( (x=2) (y=2)) também é falso: x=2, y=2
58 BIBLIOGRAFIA Russell, S. and Norvig, P. Inteligência Artificial, 3a Edição, Ed. Campus/Elsevier, Capítulos 7 e 9. Notas de aula da Prof. Paulo Santos (FEI) Notas de aula do Prof. Peter Norvig
MAC425/5739 Inteligência Artificial 6. Agentes lógicos
MAC425/5739 Inteligência Artificial 6. Agentes lógicos Denis Deratani Mauá (largamente baseado no material de aula dos Profs. Edileri de Lima e Leliane de Barros) REPRESENTAÇÃO DE CONHECIMENTO Busca (cega,
Leia maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
Leia maisLógica de Primeira Ordem. Capítulo 9
Lógica de Primeira Ordem Capítulo 9 Inferência proposicional Prova semântica: através da enumeração de interpretações e verificação de modelos Prova sintática: uso de regras de inferência Inferência Proposicional
Leia maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisSCC Capítulo 2 Lógica de Predicados
SCC-630 - Capítulo 2 Lógica de Predicados João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis
Leia maisConhecimento e Raciocínio Lógica Proposicional
Conhecimento e Raciocínio Lógica Proposicional Agente Baseado em Conhecimento ou Sistema Baseado em Conhecimento Representa conhecimento sobre o mundo em uma linguagem formal (KB) Raciocina sobre o mundo
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 07 Agentes Lógicos Edirlei Soares de Lima Introdução Humanos possuem conhecimento e raciocinam sobre este conhecimento. Exemplo: João jogou
Leia maisNelma Moreira. Aula 17
Lógica e Programação Nelma Moreira Aula 17 Conteúdo 1 Programação em Lógica 1 1.1 Resolução para a lógica proposicional................ 1 1.2 Cláusulas............................... 3 1.3 Conversão para
Leia maisAgentes Lógicos. Os agentes baseados no conhecimento:
Agentes Lógicos A inteligência dos seres humanos é alcançada, não somente por mecanismos puramente reflexos, mas, por processos de raciocínio que operam em representações internas do conhecimento. Em IA,
Leia maisInferência em Lógica de Primeira Ordem. Capítulo 9
Inferência em Lógica de Primeira Ordem Capítulo 9 Sumário Inferência em lógica proposicional vs. inferência em lógica de primeira ordem Unificação Modus Ponens Generalizado Encadeamento para a frente Encadeamento
Leia maisLógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 21 Conteúdo 1 Mais Teorias (decidíveis) 1 1.1 Resolução para a lógica proposicional................ 4 1.2 Cláusulas...............................
Leia maisDescrição do Mundo de Wumpus. Inteligência Artificial
Descrição do Mundo de Wumpus Mundo de Wumpus Mundo de Wumpus -1 Mundo de Wumpus - 2 Mundo de Wumpus - 3 Mundo de Wumpus - 4 Wumpus Outros Pontos Críticos Descrição Lógica do Mundo de Wumpus Identidades
Leia maisLógica e prova de resolução Marco Henrique Terra
Lógica e prova de resolução Marco Henrique Terra Introdução à Inteligência Artificial Introdução n Este capítulo trata de lógica. l Inicialmente discute-se se a notação empregada em lógica. l Depois mostra-se
Leia maisProgramação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010
Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica Computacional
Lógica Computacional DCC/FCUP 2018/19 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Fórmulas de Horn.......................................... 1 1.2 Satisfazibilidade de Cláusulas....................................
Leia maisInteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa IV. RACIOCÍNIO BASEADO EM REGRAS Parte 2 2004 Um Sistema de Dedução Regressivo Uma propriedade importante da lógica é a dualidade entre asserções
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisAgentes que Raciocinam Logicamente. Prof. Júlio Cesar Nievola PPGIA PUC-PR
Agentes que Raciocinam Logicamente Prof. Júlio Cesar Nievola PPGIA PUC-PR Um agente baseado em conhecimento Componente central: a base de conhecimentos (KB ou BC) A BC é um conjunto de representações de
Leia maisInteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente
Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor
Leia maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Resolução e PROLOG Passos para obter a forma clausal de uma fbf: 1. Obter a forma normal
Leia maisPCS 2428 / PCS 2059 lnteligência Artificial. Lógica de Predicados. Representação de Conhecimento. Uranus. Aphrodite Kronos Atlas Prometheus
Representação de Conhecimento PCS 2428 / PCS 2059 lnteligência Artificial Prof. Dr. Jaime Simão Sichman Prof. Dra. Anna Helena Reali Costa Lógica de Abordagem procedural Mundo do Wumpus em matriz (4,4)
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisAgentes Lógicos. Capítulo 7 (online)
Agentes Lógicos Capítulo 7 (online) Sumário Agentes baseados em conhecimento O mundo do Wumpus Lógica em geral Lógica proposicional (Booleana) Equivalência, validade, satisfação Regras de inferência e
Leia maisSistemas Dedutivos Lógica de 1ª. Ordem (LPO)
Sistemas Dedutivos Lógica de 1ª. Ordem (LPO) UTFPR/Curitiba Prof. Cesar A. Tacla http://www.pessoal.utfpr.edu.br/tacla 28/03/2016 12:51 MÉTODO DE PROVA POR RESOLUÇÃO Plano Resolução em LPO método de prova
Leia maisSistemas de Representação e Raciocínio Parte 3
Sistemas de Representação e Raciocínio Parte 3 Introdução à Inteligência Artificial Profa. Josiane Baseado no material de David Poole, Alan Mackworth e Randy Goebel Abril/2007 1 Retomando da aula passada...
Leia mais2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
Leia maisDIM Resolução e método tableaux DIM / 37
DIM0436 21. Resolução e método tableaux 20141014 DIM0436 20141014 1 / 37 Sumário 1 Demostração automática de fórmulas 2 Resolução 3 O método tableaux DIM0436 20141014 2 / 37 1 Demostração automática de
Leia maisLógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções
Leia maisAnálise e Síntese de Algoritmos
Análise e Síntese de Algoritmos Problemas NP-Completos CLRS, Cap. 34 Contexto Algoritmos em Grafos Estruturas de Dados para Conjuntos Disjuntos Programação Linear Programação Dinâmica Algoritmos Greedy
Leia maisSistemas Baseados em Conhecimento (Sistemas Especialistas) Profa. Dra. Sarajane Marques Peres
Sistemas Baseados em Conhecimento (Sistemas Especialistas) Profa. Dra. Sarajane Marques Peres Sistema (agente) baseado em conhecimento Deve haver um modo de adicionar novas sentenças à base de conhecimento
Leia maisSCC Capítulo 3 Prova Automática de Teoremas
SCC-630 - Capítulo 3 Prova Automática de Teoremas João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
Leia maisFórmulas Bem Formadas (wff) Prioridade dos Conectivos. Prioridade dos Conectivos. Semântica do CR. Semântica do CR
1 Fórmulas Bem Formadas (wff) 1. um átomo é uma wff 2. se α e β são wff e X uma variável livre, então são também wff: INTELIGÊNCIA ARTIFICIAL LÓGICA RELACIONAL (PARTE II) Huei Diana Lee wff lê-se α não
Leia maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Motivação IA estuda como simular comportamento inteligente comportamento
Leia maisCapítulo 3 Lógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisAnálise e Síntese de Algoritmos. Problemas NP-Completos CLRS, Cap. 34
Análise e Síntese de Algoritmos Problemas NP-Completos CLRS, Cap. 34 Contexto Revisões [CLRS, Cap. 1-10] Algoritmos em Grafos [CLRS, Cap. 22-26] Algoritmos elementares Árvores abrangentes Caminhos mais
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Leia maisInteligência Artificial IA IV. RACIOCÍNIO BASEADO EM REGRAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa IV. RACIOCÍNIO BASEADO EM REGRAS Parte 1 2004 Introdução A forma como um corpo de conhecimento sobre um certo campo é expresso por um especialista
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
Leia maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisLógica Computacional
Aula Teórica 22: Departamento de Informática 16 de Maio de 2011 Introdução Revisão do procedimento Exemplo em Primeira Ordem Considere-se o seguinte conjunto de cláusulas, assumindo as variáveis universalmente
Leia maisSistema dedutivo. Sistema dedutivo
Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica
Leia maisInteligência Artificial IA III. PROVA AUTOMÁTICA DE TEOREMAS
Inteligência Artificial IA Prof. João Luís Garcia Rosa III. PROVA AUTOMÁTICA DE TEOREMAS 2004 Representação do conhecimento Suponha o seguinte corpo de conhecimento (exemplo 1): 1. Marco era um homem.
Leia maisAula 7: Dedução Natural 2
Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 7: Dedução Natural 2 Prof. Ricardo Dutra da Silva -introdução Dada uma premissa A, nós podemos concluir A B para qualquer fórmula B. A justificativa
Leia maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisLógica de Predicados. Correção dos Exercícios
Lógica de Predicados Correção dos Exercícios Conteúdo Correção Exercícios Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen 58 1) Transcreva as proposições para
Leia maisAgentes Lógicos (Part II)
Agentes Lógicos (Part II) Sumário Agentes baseados em conhecimento O mundo do Wumpus Lógica em geral Lógica proposicional (Booleana) Equivalência, validade, satisfação Lógica de 1ª ordem Representação
Leia maisAnálise e Projeto de Algoritmos
Análise e Projeto de Algoritmos 2018.2 Classes P e NP P São os problemas que podem ser resolvidos em tempo polinomial por uma Máquina de Turing Determinística. NP São os problemas que podem ser decididos
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisSCC Capítulo 5 Representação de Conhecimento através do Prolog
SCC-630 - Capítulo 5 Representação de Conhecimento através do Prolog João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São
Leia maisConhecimento e Raciocínio Agente Lógicos Capítulo 7. Leliane Nunes de Barros
Conhecimento e Raciocínio Agente Lógicos Capítulo 7 Leliane Nunes de Barros leliane@ime.usp.br Agentes Lógicos Agentes que podem formar representações do mundo, usar um processo de inferência para derivar
Leia maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)
Leia maisLógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 24 Conteúdo 1 Introdução à Programação em Lógica 1 1.1 Resolução SLD............................ 1 1 Introdução à Programação em Lógica
Leia maisMÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
Leia maisLógica Computacional
Aula Teórica 20: Forma Normal de Skolem e António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
Leia maisCopyright 2016, 2013, 2004 by J. L. de Souza Leão. Todos os direitos reservados pelo autor.
Leão, Jorge Lopes de Souza Lógica para computação (Rio de Janeiro) 2004, 2013, 2016 IV, 92 + 39 p, 29,7cm (COPPE/UFRJ) Inclue referências bibliográficas e apêndices. I.COPPE/UFRJ II.Título 1. Lógica 2.
Leia maisResolução. Resolução. Resolução. Resolução. Programação em Lógica. Resolução na Lógica de Predicados: Unificação. Lógica de Primeira Ordem Parte IV
Ciência da Computação Lógica de Primeira Ordem Parte IV Prof. Sergio Ribeiro Material adaptado de Lógica Matemática da Profª Joseluce Farias DSC/UFCG O Princípio da (Lógica Proposicional) Para quaisquer
Leia maisLógica Computacional
Aula Teórica 22: em Lógica de Primeira Ordem António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisPCS 2428 / PCS 2059 lnteligência Artificial. Lógica Proposicional. Agentes Baseados em Conhecimento. Agentes Baseados em Conhecimento
gentes aseados em Conhecimento PCS 8 / PCS 059 lnteligência rtificial Prof. Dr. Jaime Simão Sichman Prof. Dra. nna Helena Reali Costa Lógica Proposicional Como representar conhecimento e como utilizar
Leia maisLinguagens Lógicas. Aluno: Victor Rocha
Linguagens Lógicas Aluno: Victor Rocha Roteiro Introdução Cálculo de Predicados Proposições Conectores Lógicos Variáveis Tipos de Cláusulas fatos regras Banco de Dados Prolog Fatos em Prolog Questões Unificação
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisPara Computação. Aula de Monitoria - Miniprova
Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.
Leia maisAula 8: Tableaux Analíticos
Lógica para Computação Segundo Semestre, 2014 Aula 8: Tableaux Analíticos DAINF-UTFPR Prof. Ricardo Dutra da Silva O métodos de Dedução Natural não permite inferir a falsidade de um sequente, ou seja,
Leia maisProf. Marcos A. Schreiner. 15 de junho de Prof. Marcos A. Schreiner (UFPR) 15 de junho de / 18
Prolog - Programação Lógica Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 15 de junho de 2015 Prof. Marcos A. Schreiner (UFPR) 15 de junho de 2015 1 / 18 1 Introdução 2 Prolog Definições
Leia mais5 - Lógica Matemática Representação e Inferência
EA 072 Inteligência Artificial em Aplicações Industriais 5 - Lógica Matemática Representação e Inferência 5.5 Lógica de Primeira Ordem Lógica proposicional assume que o mundo contém fatos Lógica de primeira
Leia mais3.4 Fundamentos de lógica paraconsistente
86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,
Leia maisLógica Computacional
Aula Teórica 13: Dedução Natural em Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de
Leia maisLógica de primeira ordem First Order Logic (FOL)
Lógica de primeira ordem First Order Logic (FOL) Prós e Contras da Lógica Proposicional É declarativa: partes da sintaxe correspondem a fatos Permite informação disjuntiva e/ou negada (a diferença da maioria
Leia maisLógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
Leia maisIME, UFF 3 de junho de 2014
Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisSCC Capítulo 4 Raciocínio Baseado em Regras
SCC-630 - Capítulo 4 Raciocínio Baseado em Regras João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
Leia maisInteligência Artificial Taguspark
Inteligência Artificial Taguspark Repescagem do Segundo Teste 22 de Julho de 2006 9H00-10H30 Nome: Número: Este teste tem 10 perguntas e 10 páginas. Escreva o número em todas as páginas. Deve ter na mesa
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisInteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)
Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação
Leia maisSistemas de Tipos. Cristiano Damiani Vasconcellos.
1 / 24 Sistemas de Tipos Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Departamento de Ciência da Computação Universidade do Estado de Santa Catarina Tipos 2 / 24 Tipos: Coleção de valores
Leia maisCálculo de Predicados
Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)
Leia maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
Leia mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Leia maisAula 6: Dedução Natural
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado
Leia mais