Programa

Representação do Conhecimento e Raciocínio

Mestrado Bolonha em Engenharia Informática e de Computadores - Taguspark

Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda

Programa

1. Introdução à Representação de Conhecimento e Raciocínio. A Hipótese de Representação de Conhecimento. 2. Lógica de Primeira Ordem. 3. Representar conhecimento em Lógica Clássica de Primeira Ordem. 4. Resolução em Lógica Clássica de Primeira Ordem . 5. Estratégias várias para lidar com a intratabilidade do raciocínio. Controlo de Raciocínio Procedimental. 6. Sistemas de Produção baseados em Regras. 7. Sistemas Baseados em Conhecimento. Análise de um sistema de sucesso (por exemplo MYCIN). 8. Sistemas Orientados a Objectos: Sistemas de Enquadramentos. 9. Lógicas Descritivas. 10. Semantic Web, Ontologias e as Lógicas Descritivas. 11. Redes de Herança. 12. Lógicas não monótonas.