Lógica de Primeira Ordem

08 – Lógica de Primeira Ordem Edirlei Soares de Lima Agente Baseado em Conhecimento • O componente central de um agente baseado em conhecimento é sua base de conhecimento. • A base de conhecimento é formada por um conjunto de sentenças expressadas através de uma linguagem lógica de representação de conhecimento. • Deve ser possível adicionar novas sentenças à base e consultar o que se conhece. Ambas as tarefas podem envolver inferência (derivação de novas sentenças a partir de sentenças antigas). Limitações da Lógica Proposicional • Muito simples para representar o conhecimento de ambientes complexos de uma forma concisa. • Falta de capacidade de expressão para descrever um ambiente com muitos objetos. – Exemplo em linguagem natural: • “quadrados adjacentes a poços possuem brisa” – Em lógica proposicional: • B1,1⇔(P1,2 ∨ P2,1) - (Seria necessário declarar todas as salas!) Linguagem Natural • Objetos: pessoas, casas, números, cores, jogos, séculos... • Relações: – Unárias: propriedades de um objeto. • Exemplo: vermelho, redondo, falso – n-árias: relacionam grupos de objetos. • Exemplo: irmão de, maior que, interior a, parte de... – Funções: um objeto está relacionado a exatamente um objeto. • Exemplo: pai de, melhor amigo de, terceiro turno de, uma unidade maior que... • Linguagem da lógica de primeira ordem é elaborada em torno de objetos e relações. Lógica de Primeira Ordem • Principal diferença entre…

Lógica de Primeira Ordem 1. Sintaxe Introdução A linguagem da lógica proposicional não é adequada para representar relações entre objetos. Por exemplo, se fôssemos usar uma linguagem proposicional para representar "João é pai de Maria e José é pai de João" usaríamos duas letras sentenciais diferentes para expressar idéias semelhantes (por exemplo, P para simbolizar "João é pai de Maria "e Q para simbolizar "José é pai de João" ) e não estaríamos captando com esta representação…

RESOLUCAO ¸˜ ´ Logica de Primeira Ordem 1.a data – 11 de Junho de 2013 ˜ versao 4 N´ mero de estudante: u Melhoria Nome completo: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O enunciado de exame est´ escrito nas folhas e versos das folhas. A ultima folha tem os a ´ mundos da primeira pergunta. O exame tem doze quest˜es e dura trˆs horas. Responda o e apenas ao que lhe ´ pedido nos lugares…

da lógica na Computação Bruno Silva Guedes 1 Leonardo Roveda Faganello 2 Matheus de Carvalho Proença3 Thiago Caberlon Santini 4 (artigo escrito para trabalho da disciplina INF05508 – Lógica para Computação) Resumo A lógica possui aplicações inesperadas em diversas áreas da Ciência da Computação. São sobre essas aplicações que o artigo On the Unusual Effectiveness of Logic in Computer Science versa. A lógica, que teoricamente é considerada derivada da Matemática, encontra…

Exercícios de Lógica para Programação Ana Cardoso-Cachopo Fevereiro de 2013 CONTEÚDO 1 Conteúdo 1 Argumentos e Validade 3 2 Lógica Proposicional — Sistema de Dedução Natural 4 3 Lógica Proposicional — Tabelas de Verdade 6 4 Lógica Proposicional — Resolução 7 5 Lógica Proposicional — BDDs 8 6 Lógica Proposicional — OBDDs 10 7 Lógica Proposicional — SAT 11 8 Lógica de Primeira Ordem — Representação; Sistema de Dedução Natural 13 9 Lógica de Primeira Ordem —…

Catarina Lógica e Ontologia Décio Krause Departamento de Filosofia (texto em elaboração) Introdução Como se relacionam essas duas grandes áreas da filosofia, lógica e ontologia? Inicialmente é conveniente delinearmos o que se entende por uma e por outra. Já fizemos isso quanto à segunda, quando partimos da tradicional asserção de que a ontologia é o estudo daquilo que há (ou existe) ou, como se costuma dizer de acordo com uma tradição que remonta a Aristóteles, o estudo do…

uma unidade de ordem imediatamente superior. Os sistemas de numeração tem seu nome derivado da sua base, ou seja, o sistema binário tem base dois, o sistema septimal tem base sete e o decimal tem base dez. O princípio fundamental do sistema decimal é que dez unidades de uma ordem qualquer formam uma de ordem imediatamente superior. Depois das ordens, as unidades constitutivas dos números são agrupadas em classes, em que cada classe tem três ordens, em que cada ordem tem uma…

Exercício 1.1 O Exercício 1.1 ilustra uma situação em que precisamos usar um vetor. O programa que resolve este problema é apresentado na Figura 1.2 logo abaixo. Leia uma sequência de cinco números e exiba-os em ordem inversa. Figura 1.2 – Tela de execução para um programa que resolve o Execício 1.1. A lógica desse programa é simples. Basta ir lendo os números e guardando os mesmos nas posições do vetor, da esquerda para a direita, ou seja, em ordem crescente do 0 até n-1; em…

Logica dos predicados ´ 1/24 L´gica dos predicados o A l´gica ´ a ciˆncia do racioc´ o e e ınio. Socrates ´ um homem. Todos os homens s˜o mortais. Logo Socrates ´ e a e mortal. y p: Socrates ´ um homem. e y q : Todos os homens s˜o mortais. a y r: Socrates ´ mortal. e y Na l´gica proposicional, p ∧ q → r n˜o ´ uma tautologia. o ae y Conclus˜o: o modelo fornecido pela l´gica proposicional n˜o ´ suficientemente a o ae expressivo. David D´harbe, 7 de abril…

Bárbara. Relatório/Resenha sobre linguagem PROLOG, Lógica proposicional e Lógica de Primeira Ordem e Regras de Produção e Código de Sistema Especialista Baseado na linguagem PROLOG na Etapa 2. Relatório/Resenha sobre Redes Neurais e Código de Programação de Rede Neural Perceptron Simples em linguagem C ou em linguagem Java. PARTICIPAÇÃO Para a elaboração dessa atividade, os alunos deverão previamente organizar-se em equipes com um número de participantes definida pelo professor e…