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.
