Lógica para Computação
|
|
- Vergílio Fialho Brunelli
- 6 Há anos
- Visualizações:
Transcrição
1 Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br
2 A (ou lógica de 1ª ordem) é uma extensão da lógica proposicional que aumenta sua expressividade, permitindo que se façam afirmações sobre propriedades ou predicados inerentes a conjuntos de elementos individuais; Tipicamente as fórmulas envolvem os quantificadores para todo () e existe (); Uma fórmula típica é: x(homem(x) mortal(x)). Obs.: para representar o mesmo em Lógica Proposicional seria necessário utilizar uma fórmula para cada indivíduo, por exemplo: (homem_joão mortal_joão), (homem_josé mortal_josé), etc. 2
3 A linguagem (sintaxe) da L PRED é mais complexa que a da Lógica Proposicional; Para a definição de L PRED necessita-se de: 1. Um conjunto de predicados: R i = { r i 1, r i 2,... r i n,...} onde o sobrescrito i indica a aridade do predicado (o seu nº de argumentos); 2. Um conjunto de constantes: C = {c 1,c 2,...}; 3. Um conjunto de funções: F i = { f i 1, f i 2,... f i n,...} onde o sobrescrito i também indica a aridade da função; 4. Um conjunto de variáveis: V = {x 1,x 2,...}. 3
4 A assinatura de L PRED é a uma tupla do tipo = [R 1,R 2,...R M,C,F 1,F 2,...F N ] onde N e M são números naturais conhecidos. O conjunto dos termos de L PRED é T() definido recursivamente por: 1. Se xv então x T(); 2. Se cc então c T(); 3. Se ff j e se t 1,...t j T() então f(t 1,...t j ) T(). 4
5 O conjunto das fórmulas (fbf) de L PRED é Fbf() definido recursivamente como sendo o menor conjunto que atenda ao seguinte: 1. Se t 1,...t j T() e se r j R j então r j (t 1,...t j ) Fbf(); 2. Se t 1, t 2 T() então t 1 = t 2 Fbf(); Estas fbf são chamadas de fórmulas atômicas; 3. Se, Fbf() então,,, Fbf(); 4. Se Fbf() e se xv então x() e x() Fbf(). 5
6 O conjunto das variáveis livres V LIVRES () em uma fórmula é definido por: 1. Se = r j (t 1,...t j ) com r j R j e os t i T() então todas as variáveis em pertencem a V LIVRES (); 2. Se = (t 1 =t 2 ) com os t i T() então todas as variáveis em pertencem a V LIVRES (); 3. Se = então V LIVRES ()= V LIVRES (); 4. Se =,, ou então V LIVRES ()= V LIVRES () V LIVRES (); 5. Se = x() ou x() então V LIVRES ()= V LIVRES () {x}. Exemplo: Se = x (r(x) q(y) z (s(z,y))) então V LIVRES () = { y }. 6
7 Uma fórmula tal que V LIVRES () = (sem variáveis livres) é denominada uma sentença. Uma subfórmula de uma fórmula é uma subseqüência dos símbolos de que também pertence a Fbf(). Exemplo: se = x (r(x) q(y) z (s(z,y))) então r(x) q(y) z (s(z,y)), r(x) q(y), z (s(z,y)), r(x) e q(y) são subfórmulas de. 7
8 Exemplos: 8
9 A semântica da é definida sobre um par A()=[A, v A() ] denominado sistema algébrico da assinatura, tal que: 1. A é um conjunto denominado domínio (ou portador) do sistema algébrico; 2. v A() é uma interpretação, que mapeia os elementos dos conjuntos em em relações sobre A (para os predicados), em funções sobre A (para as funções) e em elementos de A (para as constantes). 9
10 Desta forma para uma interpretação v A() tem-se: 1. Se r j R j então v A() (r j ) A j = A A... A (j vezes); 2. Se ff j então existe uma função v A() (f j ): A j A; 3. Se c C então v A() (c) A; 4. Para um conjunto de variáveis X V existe ainda uma função : X A denominada interpretação das variáveis X em A. 10
11 O valor de um termo t T () em um sistema algébrico A() e para uma interpretação de variáveis é definido indutivamente por: 1. Se t = x X então t A() [] = (x); 2. Se t = c C então t A() [] = v A() (c); 3. Se ff j, t 1,..., t j são termos e t=f(t 1,..., t j ) então t A() []= v A() (f j )(t 1 A() [],..., t j A() []). 11
12 Finalmente é possível se definir quando uma fórmula é verdadeira para um sistema algébrico A() e uma interpretação de variáveis ; Denota-se por A() = []; 1. Se = r j (t 1,...t j ) Fbf() então A() = [] é equivalente a [t 1 A() [],..., t j A() []] v A() (r j ); 2. Se = (t 1 =t 2 ) com t 1, t 2 T() então A() = [] é equivalente a t 1 A() [] = t 2 A() []; 3. Se = e Fbf() então A() = [] se e somente se não for verdade que A() = []; 12
13 4. Se =, com, Fbf() então A() = [] se e somente se A() = [] e A() = []; 5. Se =, com, Fbf() então A() = [] se e somente se A() = [] ou A() = []; 6. Se =, com, Fbf() então A() = [] se e somente se quando A() = [] necessariamente também ocorre A() = []; 7. Se = x() com Fbf() então A() = [] se e somente se existir pelo menos uma interpretação de variáveis : X A que, restrita às variáveis de, seja tal que A() = []; 8. Se = x() com Fbf() então A() = [] se e somente se para todas as interpretações de variáveis : X A, quando restritas às variáveis de, sejam tais que A() = []. 13
14 Exemplos 14
15 Uma teoria em L PRED é um conjunto de sentenças; Um sistema algébrico A() é um modelo para uma teoria se A() = para toda ; Se tiver ao menos um modelo diz-se que é satisfazível; Se não tiver modelos é dita insatisfazível. 15
16 Substituição de variáveis: Seja uma fórmula, x V LIVRES () uma variável livre em e t T() um termo; Neste caso a variável x pode ser substituída pelo termo t em, gerando uma nova fórmula [x:=t]; Exemplo: se = x(r(x) s(x,y)), então yv LIVRES () e t=f(a,z) [y:=f(a,z)] = x(r(x) s(x,f(a,z))). 16
17 Intuitivamente uma substituição gera um caso particular de uma fórmula; As substituições só podem ser feitas sobre as variáveis livres de, e de forma a não introduzir restrições na fórmula gerada que já não estivessem presentes na fórmula original; Várias substituições podem ser feitas simultaneamente, desde que não introduzam restrições. Exemplo: Se então = x(r(x) s(x,y) r(z)) y, zv LIVRES () e t 1 =f(a,w), t 2 =b [y:=f(a,w), z:=b]=x(r(x) s(x,f(a,z))r(b))) 17
18 Sistemas Dedutivos em : 1. Método axiomático: ver item 4.5 pg. 128; 2. Dedução natural: ver item 4.4 pg. 122, e também a ferramenta JAPE; 3. Método dos tableaux analíticos: ver item 5.6 pg
19 Exemplo do método dos tableaux analíticos: 1. x(r(x) s(x)) - x r(x) x s(x) 2. T x(r(x) s(x)) de 1 3. F x r(x) x s(x) de 1 4. T x r(x) de 3 5. F x s(x) de 3 6. F s(a) de 5 7. T r(a) de 4 8. T r(a) s(a) de 2 9. F r(a) T s(a) de 8 X (7,9) X (6,9) 19
20 Método da Dedução Natural... 20
Lógica de Predicados
Lógica de Predicados Slides da disciplina Lógica para Computação ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009
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 Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,
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 Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto
Leia maisLógica Proposicional
Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo
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 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 12: Lógica de Predicados
Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,
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 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 maisTodos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
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 maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
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 maisProf. Cesar Augusto Tacla
PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE 1A. ORDEM Prof. Cesar Augusto Tacla UTFPR/Campus Curitiba 1 TÓPICOS Compromissos ontológicos e epistemológicos
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia mais0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida.
Lic. Ciências da Computação Exercícios - Folha 1 0. Definições indutivas 0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida. (1) {1} S (2) X S X \ {1} S (3)
Leia maisCapítulo 8 Lógica de primeira Ordem
Capítulo 8 Lógica de primeira Ordem Tópicos 1. Contextualização 2. Definições 3. Exemplos 4. Questão desafio! 2 O que não é possível expressar em Lógica Proposicional? Todo tricolor é um campeão. Roberto
Leia maisA linguagem da Lógica de Predicados. (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
A linguagem da Lógica de Predicados (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Contextualização 2. Definições 3. Exemplos 4. Lista 3 O que não é
Leia maisLógica Computacional
Lógica Computacional Frases Quantificadas Quantificadores e Variáveis Fórmulas Bem Formadas: Sintaxe e Semântica Formas Aristotélicas 21 Outubro 2013 Lógica Computacional 1 Frases Quantificadas - Existem
Leia maisAula 3: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 3: Linguagem Proposicional Prof. Ricardo Dutra da Silva 3.1 Semântica A semântica da lógica proposicional consiste em associar um significado
Leia maisLógica para computação - Linguagem da Lógica de Predicados
DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem
Leia maisDepartamento de Matemática Universidade do Minho, Braga 2009 /2010. Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p.
Cálculo de Predicados de Primeira-Ordem da Lógica Clássica Lógica CC Departamento de Matemática Universidade do Minho, Braga 2009 /2010 Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p. 1/7
Leia maisINF1009.3WB: Lógica para computação
INF1009.3WB: Lógica para computação Aula 13: A sintaxe da lógica de primeira ordem (cont.) Cecília Englander Guilherme F. Lima Edward Hermann Lab. TecMF, Dep. Informática, PUC-Rio 2017.2 INF1009.3WB: Lógica
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 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 maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisA Lógica de Primeira Ordem
Capítulo 10 A Lógica de Primeira Ordem A Lógica de Primeira Ordem: A necessidade de uma linguagem mais expressiva O cálculo proposicional possui limitações com respeito a codificação de sentenças declarativas.
Leia maisAula 2, 2014/2 Sintaxe da Lógica dos Conectivos
Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe
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 maisanti-simétrica, com elemento mínimo e tal que, dados n, n, n N, se
1 Sistema dedutivo T 1.1 Árvores e árvores etiquetadas Informalmente, uma árvore é uma estrutura constituída por um conjunto de elementos, designados nós, ordenados de um modo particular. Quando se faz
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisLógica para computação
/0/0 Lógica para computação Professor Marlon Marcon MÉODOS PARA DEERMINAÇÃO DE PROPRIEDADES SEMÂNICAS DE ÓRMULAS DA LÓGICA PROPOSICIONAL Introdução Um dos passos frequentemente utilizados no estudo da
Leia maisLyneker Amorim (T1) Philipe Farias Rafael Mota Yure Bonifacio
Lyneker Amorim (T1) Philipe Farias Rafael Mota Yure Bonifacio A teoria de Herbrand foi criada por Jacques Herbrand (1908-1931), um matemático francês. Ela constata que um conjunto de -sentenças Φ é insatisfazível
Leia maisQuantificadores, Predicados e Validade
Quantificadores, Predicados e Validade Quantificadores e Predicados Fbfs proposicionais tem uma possibilidade limitada de expressão. Exemplo: Para todo x, x > 0 Ela não pode ser simbolizada adequadamente
Leia maisLógica de primeira ordem
Capítulo 1 Lógica de primeira ordem 1.1 Introdução Este capítulo é dedicada à lógica de primeira ordem. Em primeiro lugar são apresentados os aspectos sintácticos e semânticos da lógica de primeira ordem
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisExercícios de Teoria da Computação Lógica de 1a. ordem
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Lógica de 1a. ordem Secção Ciência
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 1 Lógica de primeira ordem Linguagens da lógica de primeira ordem Termos Fórmulas Semântica de Lógica de primeira ordem Lógica de primeira ordem Na lógica proposicional não é possível representar
Leia maisAXIOMATIZAÇÃO Equipe:
AXIOMATIZAÇÃO Equipe: André Augusto Kaviatkovski, Daniel Elias Ferreira, Vinicius Zaramella Curso: Engenharia de Computação Disciplina: Lógica para Computação Professor: Adolfo Neto (DAINF) Universidade
Leia maisDedução Natural LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
Dedução Natural LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Lista Um dos objetivos principais da lógica é o estudo de estruturas
Leia maisLógica Proposicional Fórmulas e Precedência de Operadores
Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução
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 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 maisLógica Computacional
Aula Teórica 3: Sintaxe da 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 Informática,
Leia maisO sucessor de um inteiro par é ímpar (1) (2) 2 é um inteiro par Alguns mamíferos são ferozes
62 Parte 2 LÓGICA de PREDICADOS A lógica de predicados de primeira ordem é uma extensão da logica proposicional para uma linguagem mais rica, portanto de maior poder de expressão Argumentos como Todos
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 maisMatemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando
Leia maisAPÊNDICE B ESPECIFICAÇÃO ALGÉBRICA DEFINIÇÕES E NOTAÇÃO
APÊNDICE B ESPECIFICAÇÃO ALGÉBRICA DEFINIÇÕES E NOTAÇÃO APÊNDICE B: Especificação Algébrica: Definições e Notação. 342 Def. B.1 : Família Indexada. Uma família F de conjuntos A indexada por I é uma função
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 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 maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
Leia maisIME, UFF 7 de novembro de 2013
em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.
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 maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica
Leia maisAndamento da apresentação
Andamento da apresentação 1 Discussão informal Linguagem formal Abreviaturas Exemplos de linguagens de primeira ordem Variáveis livres e ligadas; substituição de variáveis Teoremas de unicidade de representaçã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 maisProf. Cesar Augusto Tacla
PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE 1A. ORDEM Prof. Cesar Augusto Tacla UTFPR/Campus Curitiba 1 TÓPICOS Compromissos ontológicos/epistemológicos
Leia maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 24 Outubro 2017 Lógica Computacional
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 maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
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 maisLógica Proposicional Sintaxe
Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença
Leia maisLógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial
Lógica de primeira ordem (Capítulo 8 - Russell) Inteligência Artificial Estrutura 1- Contextualização 2- Definições 3- Lista de exercício 4- Prolog 5- Regras em Prolog - Mundo Wumpus 6- Aplicação do Mundo
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 maisLógica dos Quantificadores: sintaxe e semântica intuitiva
Lógica dos Quantificadores: sintaxe e semântica intuitiva quantificação em domínios infinitos Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Quantificadores sobre domínios infinitos.
Leia maisAula 2: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.
Leia maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
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 maisIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere
Leia maisFaculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof.
Faculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof. Alfio Martini 1. Seja OP = {{d}, {f, g}, Ar F }, onde d é uma constante, Ar F
Leia maisLógica dos Quantificadores: sintaxe
Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas
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 para Computação Segundo Semestre, Aula 10: SAT. Prof. Ricardo Dutra da Silva. ( p (q ( q r))) ( p r) ( p q) ( p q r) p r.
Lógica para Computação Segundo Semestre, 2014 Aula 10: SAT DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 10.1. SAT é o problema de decidir se existe uma valoração que satisfaça uma fórmula proposicional.
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 maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Leia maisUm alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Leia maisA linguagem da Lógica Proposicional (Capítulo 1)
A linguagem da Lógica Proposicional (Capítulo 1) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Alfabeto 3. Fórmulas bem formadas (FBF) 4. Exemplos
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 maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/10 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisGramáticas e Linguagens Independentes de Contexto
Gramáticas e Linguagens Independentes de Contexto 6.1 Responde às uestões seguintes considerando a gramática independente de contexto G = (V, {a, b}, P, R), onde o conjunto de regras P é: R XRX S S at
Leia maisprinting problem: dado um programa e um valor arbitrários, o problema de determinar se sim ou não se vai obter como output do programa esse valor;
1 Introdução 1 No texto que se segue vão ser apresentados resultados sobre não decidibilidade de alguns predicados (sobre os naturais). Para certos predicados vai ser apresentada uma prova de que não é
Leia maisCálculo de Predicados 1
Matemática Discreta - Departamento de Matemática - EST-IPV - 2005/2006 - II Capítulo II Cálculo de Predicados 1 1 Predicados e quantificadores Consideremos as afirmações seguintes: x é par. (1.1) x é tão
Leia maisRACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por
Leia maisLógica Computacional
Lógica Computacional Lógica de Operadores Booleanos Interpretações Tautológicas, Lógicas e Analíticas Funcionalidade / Tabelas de Verdade dos Operadores Booleanos Consequências Tautológica, Lógica e Analítica
Leia maisLógica Computacional
Aula Teórica 15: 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 Engenharia, LISP
Leia maisNelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 12
Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 12 Nelma Moreira (DCC-FC) Fundamentos de Linguagens
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 maisIntrodução à Logica Computacional. Aula 1 Ana Cristina Bicharra Garcia Segundas & Quartas 16:00-18:00
Introdução à Logica Computacional Aula 1 Ana Cristina Bicharra Garcia Segundas & Quartas 16:00-18:00 Agenda Apresentação do Curso Ementa Bibliografia Apresentação à Lógica Conceitos Básicos Quem somos
Leia maisBasicamente, um programa PROLOG é constituído por fatos acerca do domínio e regras que são sentenças ou fórmulas.
1 EXERCÍCIOS PROLOG Lógica Prof. Tacla (UTFPR/Curitiba) arquivo: ExProlog01.docx 1. Introdução Basicamente, um programa PROLOG é constituído por fatos acerca do domínio e regras que são sentenças ou fórmulas.
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 maisTeoria de Conjuntos. Matemática Discreta I. Rodrigo Ribeiro. 6 de janeiro de 2013
Teoria de Conjuntos Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 6 de janeiro de 2013 Motivação (I) Porque estudar Teoria de Conjuntos?
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisDisciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais
UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS FACULDADE DE COMPUTAÇÃO CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof.
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 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 mais!" # " $% $ : %. ( "- # 6 (( '.. '.. ( #5 (, (' 2!' 3 4 5 2 "! =!. # ( +!'! "!. # ( #! "!. # (9, 1( 9 1 9 + -. ' 6 "-! = 1( 9 1 9 % "(- ( E= + 2 F M. (( 6 (( 1 1 7 8 9 2; 22 # (' ' ". = 2 + 9 6 ( +
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores
Leia maissumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...
sumário 1 introdução e conceitos básicos 1 1.1 introdução à matemática discreta... 2 1.2 conceitos básicos de teoria dos conjuntos... 3 1.2.1 conjuntos...3 1.2.2 pertinência...5 1.2.3 alguns conjuntos
Leia mais