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: 29 dez. 2025. -
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 2025 dez. 29 ] 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 2025 dez. 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-16112010-155644/ - Fragmentação e colapso de públicos em rede
- AGM-like paraconsistent belief change
- As ocupações de escolas em São Paulo (2015): autoritarismo burocrático, participação democrática e novas formas de luta social
- Bolsonarismo, isolamento social e constituição da esfera pública
- Escolas de luta
- Minimal change in AGM revision for non-classical logics
- Guerras culturais e populismo antipetista nas manifestações por apoio à Operação Lava Jato e contra a reforma de previdência
- Base revision for ontology debugging
- Belief contraction in web-ontology languages
- The ontology reviser plug-in for Protégé
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
