Inteligencia Artificial

março de 2010 2 Sumário 1 Execução de programas em Prolog 1.1 Objetivos . . . . . . . . . . . . . . . . . . . 1.2 Conceitos . . . . . . . . . . . . . . . . . . . 1.2.1 Prolog . . . . . . . . . . . . . . . . . 1.2.2 Constantes . . . . . . . . . . . . . . 1.2.3 Variáveis . . . . . . . . . . . . . . . 1.2.4 Cláusulas . . . . . . . . . . . . . . . 1.3 Exemplo . . . . . . . . . . . . . . . . . . . . 1.3.1 SWI-Prolog . . . . . . . . . . . . . . 1.3.2 Interrogações à base de conhecimento 1.4 Exercícios . . . . . . . . . . . . . . . . . . . 1.4.1 Socorro! . . . . . . . . . . . . . . . . 1.4.2 Fatos, queries e regras . . . . . . . . 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-1 1-1 1-1 1-1 1-2 1-2…

MC336 - Paradigmas de programação Prolog João Meidanis c Copyright 2011 J. Meidanis Conteúdo 1 4 1.1 Objetos e relações . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Programação em Prolog . . . . . . . . . . . . . . . . . . . . . 5 1.3 Fatos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.4 Perguntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.5 Variáveis . . . . . . . . . . .…

INTRODUÇÃO À LINGUAGEM PROLOG % distribui(L,A,B) : distribui itens de L entre A e B distribui([],[],[]). A B distribui([X],[X],[]). distribui([X,Y|Z],[X|A],[Y|B]) :- distribui(Z,A,B). % intercala(A,B,L) : intercala A e B gerando L C intercala([],B,B). intercala(A,[],A). intercala([X|A],[Y|B],[X|C]) :D F X =< Y, intercala(A,[Y|B],C). intercala([X|A],[Y|B],[Y|C]) :X > Y, E SILVIO LAGO Sumário 1. Elementos…

INTRODUÇÃO À 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…

1 INTRODUÇÃO Prolog é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. De uso geral, é especialmente associada com a inteligência artificial e lingüística computacional. Sua linguagem pode ser puramente lógica, que pode ser chamada de Prolog puro, ou linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos. Neste trabalho será apresentado um breve histórico desta linguagem, suas aplicações, seus componentes mais…

INTRODUÇÃO À 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…

INTRODUÇÃO À 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…

1 2 Logica para a Ci^encia da Computac~ao Benedito Melo Acioly Benjam n Rene Callejas Bedregal Universidade Federal do Rio Grande do Norte - UFRN Departamento de Informatica e Matematica Aplicada - DIMAp Indice 1 Linguagens Formais 1.1 Linguagens formais . . . . . . . . . 1.2 -algebras . . . . . . . . . . . . . . 1.3 Relac~ao entre Linguagens Formais e 1.4 Exerc cios . . . . . . . . . . . . . . ....... ....... -algebras ....... . . . . . . . . . . . . . . . . . . . . . . .…

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…

INTRODUÇÃO À LINGUAGEM PROLOG SILVIO LAGO Sumário 1. Elementos Básicos 03 1.1. Fatos 03 1.2. Consultas 03 1.2.1. Variáveis compartilhadas 04 1.2.2. Variáveis Anônimas 05 1.3. Regras 05 1.3.1. Grafos de relacionamentos 05 1.4. Exercícios 06 2. Banco de Dados Dedutivos 08 2.1. Aritmética 08 2.2. Comparação 09 2.3. Relacionamento entre tabelas 09 2.4.…