Eugénio Oliveira Outros docentes da cadeira:

Transcrição

1 Outros docentes da cadeira: Daniel Moura- T e P dcm@fe.up.pt Rui Gomes- P rjgomes@fe.up.pt 1 Objectivos Adquirir familiaridade com os paradigmas da, Programação com Restrições e com a Linguagem Prolog. Desenvolver as competências de raciocínio abstracto e de representação de problemas de forma declarativa. Reconhecer as categorias de problemas em que a Programação em Lógica (sem ou com Restrições) é particularmente adequada. 2 Eugénio da Costa Oliveira 1

2 PROBLEMAS tipo: Representação (Conhecimento) Interpretação (LN) Raciocínio (Dedutivo, Indutivo, Abdutivo, ) Raciocínio para além do armazenamento e tratamento de Dados ou fios de controlo de processos 3 abstracção Prog. O.Objectos Prog. Lógica Prog. O.Agentes Prog. procedimental Prog. Funcional Prog. máquina declaratividade 4 Eugénio da Costa Oliveira 2

3 Objectivos Experimentar e praticar as técnicas de programação em Prolog e de programação com restrições. Construir aplicações completas em Prolog Desenvolver as competências de programação requeridas em trabalhos a serem desenvolvidos nas disciplinas da área da Inteligência Artificial. 5 Programa INTRODUÇÃO À. História e Fundações do Prolog. Aplicações do Prolog. Sistemas de. Fundações Teóricas da.. Conceitos Básicos: Predicados, Cláusulas, Factos, Regras, Consultas, Variáveis Lógicas e Instanciação. Programação estilo bases de dados. Programação com recursividade. Modelo de computação dos programas em lógica. Traçados e árvores de pesquisa. Resolução e unificação. Eugénio da Costa Oliveira 3

4 Programa A LINGUAGEM PROLOG. Modelo de Execução do Prolog. Comparação com as Linguagens Convencionais. Ordem das Regras e dos Objectivos. Recursividade e Retrocesso (Backtracking). Terminação. Operadores e Aritmética. Inspecção de Estruturas. Processamento de Listas. Predicados meta lógicos. Controlo: Cuts e Negação. Predicados extra lógicos. PROLOG AVANÇADO. Programação não determinística. Estruturas de dados incompletas. Meta-interpretadores. Técnicas de Pesquisa. Gramáticas de Claúsulas Definidas. Programa METODOLOGIA DE. Princípios gerais de boa programação. Como pensar em Prolog? Estilo de programação. Depuração de programas. Eficiência e optimização. PROGRAMAÇÃO COM RESTRIÇÕES. Restrições e Satisfação de Restrições. Restrições em domínios finitos. com Restrições (PLR). Controlo da pesquisa. Ordenação de variáveis e valores. Modelização de Problemas em PLR. Sistemas de programação com restrições. Programação com restrições no Sicstus Prolog. Eugénio da Costa Oliveira 4

5 Bibliografia Leon Sterling e Ehud Shapiro. The Art of Prolog, 2a edição. MIT Press, W. F. Clocksin e C. S. Mellish. Programming in Prolog, 4a edição. Springer-Verlag, Kim Marriott e Peter J. Stuckey. Programming with Constraints: an Introduction, MIT Press, Bibliografia Complementar: Delfim Torres. Introdução à. Universidade de Aveiro, Ivan Bratko, Prolog Programming for Artificial Intelligence, 3a edição, Pearson Education Limited, Richard O'Keefe. The Craft of Prolog. MIT Press, Peter Flach. Simply Logical-Intelligent Reasoning by Example. John Wiley Eugénio da Costa Oliveira 5

6 Cronograma Setembro: 1ª 2ª 3ª Outubro: Progr.Lógica Linguagem Prolog 4ª 5ª 6ª 7ª Novembro: Prolog avançado Programação com Restrições 8ª 9ª 10ª 11ª Dezembro: Programação com Restrições Janeiro 12ª 13ª 14ª 15ª Avaliação Duas Componentes: A- Exame 50% B- Avaliação Distribuída 50% Relatório intercalar 15% Apresentação do 1ºT. (Rel) 50% Apresentação do 2ºT. (Rel) 35% Eugénio da Costa Oliveira 6