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

O exame para alunos trabalhadores-estudantes realiza-se no dia 12 de Setembro (hora e sala a definir).

Os alunos que pretendam realizar exame, deverão efectuar inscrição nos prazos previstos e INFORMAR A DOCENTE (por e-mail). Poderão tirar dúvidas nos dias 10 e 11 de Setembro.

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 30% na nota final.
Exame escrito com peso de 70% (nota mínima de 8 valores em 20).


Aulas


Bibliografia e Documentação de Software


Trabalho Prático

Deve ser entregue até 12 de Junho e apresentado na aula de 13 de Junho.