Revisao de conceitos e logicas de descricao.

Resumo

A dinâmica dos estados epistêmicos ou teoria da revisão de crenças, como é mais conhecida" foi desenvolvida para descrever como um agente deve mudar suas crenças na presença de novas informações. Lógicas de descrição, por sua vez, têm se destacado como um importante formalismo para representação de conhecimento por serem, na prática, eficientes para fazer inferências e ao mesmo tempo suficientemente expressivas para representar conhecimento de forma adequada para uma vasta gama de aplicações, sendo úteis principalmente para descrever conceitos e ontologias. Atualmente web-semântica usa linguagens baseadas em lógicas de descrição para construir ontologias. Quando se descreve um domínio é bastante comum aparecerem inconsistências, por isso a necessidade da revisão. O objetivo deste trabalho é estudar revisão de crenças usando lógicas de descrição. (AU)