Título: Revisão de Crenças em Lógicas de Descrição, Teoria e Prática

Palestrante: Márcio Moretto Ribeiro

Resumo:

Para a realização da web-semântica é de fundamental importância se representar
conhecimento conceitual na web. Por esse motivo o estudo das ontologias e
sua formalização tem avançado bastante. Como conhecimento não é estático,
sua representação na forma de ontologias também deve ser dinâmica.

Lógicas de Descrição são importantes formalismos para representação de
ontologias, revisão de crenças é um importante formalismo para dinâmica de
bases de conhecimento e, portanto, o estudo da revisão de crenças em lógicas
de descrição é uma forma interessante de formalisar a dinâmica das ontologias.

A aplicação de revisão de crenças a lógicas de descrição trouxe problemas
teóricos e desafios práticos. O seminário pretende apresentar os principais
problemas teóricos em aplicar revisão de crenças a lógicas de descrição e
nossa proposta de solução a eles, pretende apresentar os algoritmos que
começaram a ser implementados e os novos desafios a serem enfrentados nessa
área.