Revisão de crenças em lógicas de descrição e em outras lógicas não clássica (2010)
- Authors:
- Autor USP: RIBEIRO, MARCIO MORETTO - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Agências de fomento:
- Language: Português
- Abstract: A área de revisão de crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O marco da área de revisão de crenças foi a publicação do trabalho de Alchourrón, Gardenfors e Makinson [AGM85]. Nesse trabalho conhecido como paradigma AGM foram definidos critérios de racionalidade para tipos de mudanças de crenças. Desde então, a área de revisão de crenças foi influenciada por diversas disciplinas como filosofia, computação e direito. Paralelamente ao desenvolvimento da área de revisão de crenças, os últimos 20 anos foram marcados por um grande avanço no estudo das lógicas de descrição. Tal avanço, impulsionado pelo desenvolvimento da web-semântica, levou a adoção de linguagens inspiradas em lógicas de descrição (OWL) como padrão para se representar ontologias na web. Nessa tese tratamos do problema de aplicar a teoria de revisão de crenças a lógicas não clássicas e especialmente a lógicas de descrição. Trabalhos recentes mostraram que o paradigma AGM é incompatível com diversas lógicas de descriçã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 crenças a essas lógicas. Além disso, usamos algoritmos conhecidos da área de depuração de ontologias para implementar operações em bases de crenças.
- Imprenta:
- Data da defesa: 20.09.2010
-
ABNT
RIBEIRO, Márcio Moretto. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica. 2010. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/. Acesso em: 18 fev. 2026. -
APA
Ribeiro, M. M. (2010). Revisão de crenças em lógicas de descrição e em outras lógicas não clássica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/ -
NLM
Ribeiro MM. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica [Internet]. 2010 ;[citado 2026 fev. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/ -
Vancouver
Ribeiro MM. Revisão de crenças em lógicas de descrição e em outras lógicas não clássica [Internet]. 2010 ;[citado 2026 fev. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/ - Fragmentação e colapso de públicos em rede
- Bolsonarismo, isolamento social e constituição da esfera pública
- Escolas de luta
- As ocupações de escolas em São Paulo (2015): autoritarismo burocrático, participação democrática e novas formas de luta social
- AGM-like paraconsistent belief change
- Belief contraction in web-ontology languages
- Base revision for ontology debugging
- Polarização em mídias sociais: medindo segregação de comunidades políticas
- The ontology reviser plug-in for Protégé
- O que são e como lidar com as notícias falsas
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
