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. Ser capaz de efectuar as escolhas adequadas de sistema dado um problema concreto de representação e raciocínio. 5. Ser capaz de construir bases de conhecimento segundo cada uma das famílias. 6. Ser capaz de representar e resolver problemas razoavelmente complexos de representação e raciocínio. 7. Ser capaz de representar grandes quantidades de conhecimento e conseguir a sua partilha entre vários sistemas.