Prolog

Introdução ao Prolog - Aula 1 ( Introdução: A linguagem Prolog é principalmente utilizada para representação e solução de problemas que envolvem átomos e relação entre os mesmos. Assim poderíamos representar o fato “João possui um carro” definindo seus átomos (joao e carro) e uma relação “possui” considerando a disposição dos elementos, ou seja, dado um fato - Ana gosta de João - não implica que João gosta de Ana. Outra importante característica do Prolog é a facilidade de construção de regras utilizando fatos definidos, por exemplo, para verificar que André e Ana são irmãos, basta verificar se ambos possuem os mesmos pais. ( Metodologia de Programação Prolog: Basicamente consiste na definição e declaração de fatos sobre objetos e suas relações, definição de regras que utilizam os fatos preestabelecidos para encontrar determinada solução e no questionamento sobre átomos e relações. Podemos assim, depois de preestabelecidos fatos e regras que possibilitem ao Prolog chegar a uma determinada conclusão, realizar o questionamento André e Maria são irmãos? Baseado no conjunto de fatos declarados o Prolog poderá responder sim ou não. ( Fatos: Suponha que queremos contar ao Prolog que “João gosta de Maria”. Podemos representar esta relação da seguinte forma: gosta(joao,maria). Considerações sobre a implementação de fatos: ( os nomes de átomos e relações devem iniciar sempre com um caracter minúsculo. ( os átomos (ou argumentos)…

Introdução ao Prolog - Aula 1  Introdução: A linguagem Prolog é principalmente utilizada para representação e solução de problemas que envolvem átomos e relação entre os mesmos. Assim poderíamos representar o fato “João possui um carro” definindo seus átomos (joao e carro) e uma relação “possui” considerando a disposição dos elementos, ou seja, dado um fato ­- Ana gosta de João - não implica que João gosta de Ana. Outra importante característica do Prolog é a facilidade de construção…

LÓGICA - PROLOG  Na lógica de predicados, usamos regras de inferência para chegarmos a teses a partir das hipóteses.   Se uma tese tiver sido demonstrada como consequência de determinada hipótese, então, em uma interpretação na qual a hipótese seja verdadeira, a tese também será verdadeira. A linguagem de programação Prolog, que significa Programming in Logic, também ajuda a chegar a teses a partir das hipóteses. A linguagem inclui predicados, conectivos lógicos e…

Inteligência Artificial Exercício 1 – Defina o que é inteligência artificial: R: inteligência Artificial (IA) é um ramo da ciência da computação que se propõe a elaborar dispositivos que simulem a capacidade humana de raciocinar, perceber, tomar decisões e resolver problemas, enfim, fazer com que os computadores pensem como os seres humanos ou que sejam tão inteligentes quanto o homem 2 – Do que consiste o teste de Turing? R: Teste de Turing consiste em determinar se máquinas…

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 —…

PROGRAMAÇÃO PROLOG Luiz A. M. Palazzo Editora da Universidade Católica de Pelotas / UCPEL Rua Félix da Cunha, 412 - Fone (0532)22-1555 - Fax (0532)25-3105 Pelotas - RS - Brasil EDUCAT Editora da Universidade Católica de Pelotas Pelotas, 1997 © 1997 LUIZ A. M. PALAZZO SUMÁRIO 1. LÓGICA E PROGRAMAÇÃO DE COMPUTADORES 1.1 AS RAÍZES 1.2 PROGRAMAÇÃO EM LÓGICA 1.3 APLICAÇÕES 1.4 A QUINTA GERAÇÃO 1.5 PORQUE ESTUDAR PROLOG RESUMO 2. A LINGUAGEM PROLOG 2.1 FATOS 2.2…

PROGRAMAÇÃO PROLOG Luiz A. M. Palazzo Editora da Universidade Católica de Pelotas / UCPEL Rua Félix da Cunha, 412 - Fone (0532)22-1555 - Fax (0532)25-3105 Pelotas - RS - Brasil EDUCAT Editora da Universidade Católica de Pelotas Pelotas, 1997 © 1997 LUIZ A. M. PALAZZO SUMÁRIO 1. LÓGICA E PROGRAMAÇÃO DE COMPUTADORES 1.1 AS RAÍZES 1.2 PROGRAMAÇÃO EM LÓGICA 1.3 APLICAÇÕES 1.4 A QUINTA GERAÇÃO 1.5 PORQUE ESTUDAR PROLOG RESUMO 2. A LINGUAGEM PROLOG 2.1 FATOS 2.2…

PROGRAMAÇÃO PROLOG Luiz A. M. Palazzo Editora da Universidade Católica de Pelotas / UCPEL Rua Félix da Cunha, 412 - Fone (0532)22-1555 - Fax (0532)25-3105 Pelotas - RS - Brasil EDUCAT Editora da Universidade Católica de Pelotas Pelotas, 1997 © 1997 LUIZ A. M. PALAZZO SUMÁRIO 1. LÓGICA E PROGRAMAÇÃO DE COMPUTADORES 1.1 AS RAÍZES 1.2 PROGRAMAÇÃO EM LÓGICA 1.3 APLICAÇÕES 1.4 A QUINTA GERAÇÃO 1.5 PORQUE ESTUDAR PROLOG RESUMO 2. A LINGUAGEM PROLOG 2.1 FATOS 2.2…

Lógica Formal Objetivos do Capítulo Após estudar este capítulo, o leitor deve ser capaz de: • Reconhecer e trabalhar com os símbolos formais que são usados nas lógicas proposicional e de predicados • Achar o valor-verdade de uma expressão na lógica proposicional • Achar o valor-verdade de alguma interpretação de uma expressão na lógica de predicados • Usar a lógica de predicados para representar sentenças da língua portuguesa • Construir demonstrações formais nas lógicas…

Téc. Altern. de Programação -- Programação Em Lógica Universidade Federal do Paraná Departamento de Informática Disciplina: Técnicas Alternativas de Programação Alexandre I. Direne E-mail: alexd@inf.ufpr.br Web: http://www.inf.ufpr.br/~alexd Lógica Bloco 01 Página 1 Téc. Altern. de Programação -- Programação Em Lógica BIBLIOGRAFIA - Ulf Nilsson and Jan Maluszynski. Logic, Programming and Prolog (2ed). Previously published by John Wiley & Sons Ltd. Now available free at:…