Programação em Lógica e por Restrições

Familiarização com técnicas e métodos de Investigação Operacional e de Programação (Lógica) por restrições e sua aplicação na resolução de problemas de decisão.  


  Opção - 2o Semestre do   Mestrado em Inteligência Artificial e Computação e Mestrado em Informática   da Universidade do Porto.

Docente: Ana Paula Tomás


Escolaridade

2 horas teóricas por semana.

Programa

Formulação de modelos para problemas de decisão. Métodos usuais de resolução restrições em vários domínios. Técnicas de programação linear, programação inteira, optimização combinatória, inteligência artificial e programação por restrições. Análise de alguns problemas: aplicação de linguagens de programação (lógica) por restrições na sua resolução. Exemplos de linguagens: 2LP, CLP(R), CLP(Q), CLP(FD).


Avaliação

Trabalho prático com peso de 25% na nota final. Exame escrito com peso de 75%.


Aulas


Bibliografia e Documentação de Software


Trabalho prático

Parte I A entregar até 4 Maio.

Parte II A entregar até 15 Junho.


Transparências (em .ps)

Aula 23.02.2001

Aula 02.03.2001

Aula 09.03.2001

Aula 16.03.2001

Aula 23.03.2001

Aula 30.03.2001

Aulas 6/27.04.2001

Aula 4.05.2001 e ainda Apontamentos K.Apt, Artigo de Kumar, Introdução do Manual do Sicstus, Manual de CLP(FD) para Sicstus, Apresentações referentes aos Caps. 3 e 8 do livro de P.Stuckey e K.Marriott.

Aulas 11/18/25.05.2001 e artigo de M. Wallace, Cap. 8 do livro de P.Stuckey e K.Marriott.

Aulas 1/8.06.2001 baseadas no artigo "Modelling Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD)", A.P.Tomás.