Disciplina

Área

Área Científica de Inteligência Artificial > Tecnologia de Inteligência Artificial

Activa nos planos curriculares

MEIC-A 2021 > MEIC-A 2021 > 2º Ciclo > Area Principal > Agrupamentos > Inteligência Artificial > Procura e Planeamento

MEIC-T 2018 > MEIC-T 2018 > 2º Ciclo > Agrupamentos > Sistemas Inteligentes > Procura e Planeamento

MEIC-T 2021 > Meic-T 2021 > 2º Ciclo > Agrupamentos > Inteligência Artificial > Procura e Planeamento

MEIC-T 2015 > MEIC-T 2015 > 2º Ciclo > Agrupamentos > Sistemas Inteligentes > Procura e Planeamento

MEIC-A 2015 > MEIC-A 2015 > 2º Ciclo > Agrupamentos > Sistemas Inteligentes > Procura e Planeamento

MEIC-T 2006 > MEIC-T 2006 > 2º Ciclo > Áreas de Especialização Complementares > Sistemas Inteligentes > Procura e Planeamento

MEIC-A 2006 > MEIC-A 2006 > 2º Ciclo > Área de Especialização Principal > Sistemas Inteligentes > Procura e Planeamento

Nível

Projeto de programação (40%) em grupos de 2 alunos Execícios realizados nas aulas práticas (10%) Exame (50%)

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

2.0 h/semana

1.5 h/semana

119.0 h/semestre

Objectivos

- Aprofundar os temas da procura de soluções para problemas complexos e do planeamento de acções. - Reconhecer os diferentes tipos de problemas a resolver. - Dominar as principais metodologias e estratégias de procura. - Perceber que metodologia e estratégia aplicar para cada tipo de problema. - Ser capaz de resolver problemas razoavelmente complexos. - Compreender a especificidade do problema do planeamento de acções e porque necessita de uma abordagem dedicada. - Estudar os fundamentos e abordagens do planeamento de acções e ser capaz de resolver problemas de planeamento.

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.

Metodologia de avaliação

Projeto de programação (40%) em grupos de 2 alunos Execícios realizados nas aulas práticas (10%) Exame (50%)

Bibliografia

Principal

Constraint Processing

Rina Dechter

2003

Elsevier Morgan Kaufmann


Principles of Constraint Programming

Krzysztof Apt

2003

Cambridge University Press


Automated Planning and Acting

Malik Ghallab, Dana Nau and Paolo Traverso

2016

Cambridge University Press