Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas (2012)
- Authors:
- Autor USP: WASSERMANN, RENATA - IME
- Unidade: IME
- Assunto: REVISÃO DE CRENÇAS
- Language: Inglês
- Abstract: Revisão de crenças é a área que lida com a dinâmica das bases de conhecimento de agentes racionais. Com o advento da web-semântica tornou-se fundamental o estudo da revisão de crenças em Lógicas de Descrição. Os primeiros trabalhos na área mostraram, porém, que a maioria das Lógicas de Descrição não são compatíveis com as técnicas mais usadas em revisão de crenças (o paradigma AGM). Mostramos como adaptar o paradigma AGM para aplicá-lo a outras lógicas não clássicas que incluem em particular diversas Lógicas de Descrição. Apresentamos construções, postulados e teoremas de representação para as operações de contração e revisão tanto em bases como em conjuntos de crenças. Além disso, mostramos como usar algoritmos conhecidos da área de depuração de ontologias e diagnóstico na construção de determinadas operações e implementamos alguns desses algoritmos.
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2012
- Source:
- Título do periódico: Proceedings
- ISSN: 2316-4220
- Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems
-
ABNT
RIBEIRO, Marcio Moretto e WASSERMANN, Renata. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. 2012, Anais.. Porto Alegre: SBC, 2012. . Acesso em: 25 abr. 2024. -
APA
Ribeiro, M. M., & Wassermann, R. (2012). Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. In Proceedings. Porto Alegre: SBC. -
NLM
Ribeiro MM, Wassermann R. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. Proceedings. 2012 ;[citado 2024 abr. 25 ] -
Vancouver
Ribeiro MM, Wassermann R. Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas. Proceedings. 2012 ;[citado 2024 abr. 25 ] - On AGM for Non-Classical Logics
- Ontology repair through partial meet contraction
- Seminar on Ontology Research in Brazil, 6: proceedings
- Hyperintensional models and belief change
- Hyperintensional Partial Meet Contractions
- Local change in ontologies with atomic decomposition
- Belief contraction in non-classical logics as hyperintensional belief change
- Ontology stratification methods: a comparative study
- Horn belief change: a contraction core
- Abductive expansion of belief bases
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
