Busca avançada
Ano de início
Entree


Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas

Texto completo
Autor(es):
Marcio Moretto Ribeiro
Número total de Autores: 1
Tipo de documento: Tese de Doutorado
Imprenta: São Paulo.
Instituição: Universidade de São Paulo (USP). Instituto de Matemática e Estatística
Data de defesa:
Membros da banca:
Renata Wassermann; Mario Roberto Folhadela Benevides; Walter Alexandre Carnielli; Fabio Gagliardi Cozman; Marcelo Finger
Orientador: Renata Wassermann
Resumo

A area de revisão de crenças estuda como agentes racionais mudam suas crencas ao receberem novas informações. O marco da area de revisão de crenças foi a publicacão do trabalho de Alchourron, Gardenfors e Makinson. Nesse trabalho conhecido como paradigma AGM foram denidos criterios de racionalidade para tipos de mudanca de crencas. Desde então, a área de revisão de crenças foi influenciada por diversas disciplinas como filosoa, computacão e direito. Paralelamente ao desenvolvimento da area de revisão de crenças, os últimos 20 anos foram marcados por um grande avanço no estudo das logicas de descrição. Tal avanço, impulsionado pelo desenvolvimento da web-semântica, levou a adoção de linguagens inspiradas em logicas de descrição (OWL) como padrão para se representar ontologias na web. Nessa tese tratamos do problema de aplicar a teoria da revisão de crenças a lógicas não clássicas e especialmente a logicas de descric~ao. Trabalhos recentes mostraram que o paradigma AGM e incompatvel com diversas logicas de descricão. Estendemos esses resultados mostrando outras lógicas que não são compatíveis com o paradigma AGM. Propomos formas de aplicar a teoria de revisão tanto em bases quanto em conjuntos de crencas a essas logicas. Alem disso, usamos algoritmos conhecidos da área de depuração de ontologias para implementar operações em bases de crenças. (AU)

Processo FAPESP: 08/54554-9 - Revisão em lógicas de descrição e outras lógicas não clássicas
Beneficiário:Marcio Moretto Ribeiro
Linha de fomento: Bolsas no Brasil - Doutorado Direto