Descrição:

1. Conhecer as várias famílias de representação de conhecimento e de raciocínio avançadas (para além da Lógica Clássica de Primeira Ordem). 2. Compreender como representar conhecimento em cada uma dessas famílias e as formas de raciocínio sobre o mesmo oferecidas por cada uma. 3. Conhecer as vantagens, limitações e fragilidades de cada uma dessas famílias tanto do ponto de vista da representação como do raciocínio. 4. Compreender as relações entre o poder expressivo de uma representação e a complexidade computacional do raciocínio sobre ela. 5. Ser capaz de efectuar as escolhas adequadas de sistema dado um problema concreto de representação e raciocínio. 6. Ser capaz de construir bases de conhecimento segundo cada uma das famílias. 7. Ser capaz de representar e resolver problemas razoavelmente complexos de representação e raciocínio. 8. Ser capaz de representar grandes quantidades de conhecimento e conseguir a sua partilha entre vários sistemas.