Programa

Procura e Planeamento

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Programa

1. Programação por restrições. Conceitos e exemplos básicos. 2. Redes de restrições. 3. Consistência e propagação de restrições. 4. Consistência direcional. 5. Estratégias gerais de procura: olhar para frente e para trás. 6. Planeamento e atuação automáticos. Modelos e funções de deliberação. 7. Deliberação com modelos determinísticos. 8. Deliberação com modelos de refinamento. 9. Deliberação com modelos temporais.