Currículo

Inteligência Artificial L0731

Contextos

ECTS

6.0 (para cálculo da média)

Objectivos

Após a conclusão da UC, os alunos devem (OA1) Ter consciência das vantagens e desafios da utilização de abordagens de IA para o desenvolvimento de sistemas e modelos, em particular métodos de procura, de representação e raciocínio, de adaptação e de aprendizagem automática; (OA2) Saber identificar os requisitos dos sistemas e/ou dos modelos a criar; (OA3) Escolher as abordagens tecnológicas mais adequadas aos requisitos de AO2: métodos de procura, de representação e raciocínio, de adaptação e de aprendizagem automática. (OA4) Compreender e saber usar as abordagens apresentadas na UC para o desenvolvimento de sistemas e na modelação da realidade.

Programa

(CP1) Noções fundamentais de IA com destaque para a abordagem baseada em procura (CP2) Algoritmos de procura: profundidade primeiro e largura primeiro, A* (CP3) Noções básicas de aprendizagem automática: supervisionada, por reforço, e não supervisionada (CP4) Algoritmos genéticos (CP5) Redes neuronais feedforward multicamada com backpropagation (CP6) Noções fundamentais relativas a conhecimento, representação, e arquitetura de sistemas baseados em conhecimento (CP7) Lógica de predicados de primeira ordem: representação e dedução (CP8) Conhecimento declarativo representado em Programação em Lógica (CP9) Sistemas de Regras baseadas na Fuzzy Logic

Método de Avaliação

Avaliação ao longo do semestre - 2 testes intercalares (nota mínima de 8,5 valores em cada teste) [50% cada] - 1 projeto [Opcional] - caso permita melhorar a classificação final, o projeto terá um peso de 15%, passando cada teste intercalar a valer 35%. A classificação do projeto resulta de uma avaliação prática realizada durante uma prova oral, na data indicada no respetivo enunciado. Embora os projetos sejam desenvolvidos em grupo, a classificação atribuída a cada estudante será individual e terá por base o seu desempenho na avaliação prática associada ao projeto. Avaliação por exame [100%] - Primeira época - Segunda época - Época especial Tanto os testes intercalares como os exames podem incluir grupos de questões com nota mínima obrigatória. Para ter acesso aos testes intercalares e ao exame, é obrigatória a conclusão de todas as atividades disponibilizadas no Moodle relativas à matéria lecionada até ao momento. Poderá ser exigida a inscrição prévia nas provas de avaliação.

Carga Horária

Bibliografia

Principal

• A cadeira assenta fundamentalmente nos apontamentos para as aulas sobre Sistemas Baseados em Conhecimento, e nos livros [Russell e Norvig 2003] sobre Inteligência Artificial, [Clocksin e Mellish 1994] sobre Prolog, e [Graham 1996] sobre LISP. Clocksin, W.F. e Mellish, C.S. 2003. Programming in Prolog Using the ISO Standard(Quinta Edição). Springer Verlag (existe na biblioteca, embora seja a quarta edição). Russell, S.; e Norvig, P. 2003. Artificial Intelligence: a Modern Approach, Prentice Hall. Capítulos 3 a 9. (existente na biblioteca). Graham, P. 1996. ANSI Common Lisp. PrenticeHall.:

Secundária

• Linguagem de Programação Prolog Bratko, I. 1990. Prolog Programming for Artificial Intelligence. Addison Wesley Publishing Company (existente na biblioteca). Lógica de Predicados e Forma Clausal Michael R. Genesereth, Nils J. Nislsson. 1987. ?Logical Foundations of Artificial Intelligence?. Morgan Kaufman Publishers (Capítulos 2, 3 e 4) Sistemas Baseados em Conhecimento (Perspectiva teórica) - Ronald Brachman, Hector Levesque. 2004. "Knowledge Representation and Reasoning". Morgan Kaufmann - Mark Stefik. 1995. Introduction to Knowledge Systems?. Morgan Kaufmann:

Disciplinas de Execução