Disciplina Curricular

Tópicos para Inteligência Artificial TIA

Diploma de Estudos Avançados em Engenharia Electrotécnica e de Computadores - DEAEEC2006

Contextos

Grupo: DEAEEC2006 > 3º Ciclo

Período:

Peso

6.0 (para cálculo da média)

Objectivos

Esta disciplina cobre tópicos avançados em Inteligência Artificial, oferecendo uma apresentação integrada de métodos para resolução de problemas. A disciplina tem uma natureza multi-disciplinar forte, uma vez que vários destes métodos originam nas áreas de Optimização, Investigação Operacional e Teoria de Jogos, entre outras. Estes métodos podem ser aplicados a um vasto leque de problemas, tais como optimização combinatória, raciocínio, planeamento, incerteza, inferência probabilística, tomada de decisão, jogos, e sistemas multi-agente. Esta disciplina prossegue os conteúdos da disciplina de mestrado Inteligência Artificial, embora não seja necessária a sua frequência prévia, pois todos os conceitos necessários serão apropriadamente introduzidos.

Programa

1. Lógica Lógica proposicional. Lógica de primeira ordem: resolução, provas. Satisfactibilidade booleana. 2. Procura Procura não-informada. Problemas de Satisfacção de Restrições (CSP): heurísticas e propagação de restrições. Satisfactibilidade proposicional (SAT): estratégias baseados em procura e em resolução. Programação linear, dualidade. Procura informada. Programação inteira. Leilões combinatórios. 3. Planeamento STRIPS. Cálculo de situações. Planeamento de ordem parcial (POP). Graphplan e SATplan. Planeamento de trajectórias em robôs: métodos geométricos e aleatórios. 4. Incerteza Probabilidades. Inferência probabilística. Maximização de verosimilhança e relação com optimização. Modelos gráficos e sua relação com SAT. Descida em gradiente. Monte-Carlo Markov Chains (MCMC). Teoria da utilidade. Teoria da decisão. Processos de decisão de Markov: MDP e POMDP. Aprendizagem por reforço. 5. Jogos Tipos de jogos. Jogos sequenciais: de informação completa e incompleta. Minimax. Equilíbrio. 6. Sistemas multi-agente Intenções conjuntas. Compromissos. Cooperação multi-robô.

Metodologia de avaliação

Três séries de problemas individuais. Um projecto individual para ser discutido e avaliado numa sessão de posters.

Disciplinas Execução

2021/2022 - 2º Semestre

2020/2021 - 2º Semestre

2019/2020 - 2º Semestre

2018/2019 - 2ºSemestre

2017/2018 - 2ºSemestre

2016/2017 - 2ºSemestre

2014/2015 - 2º Semestre

2012/2013 - 2 Semestre