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: Proceedings
- ISSN: 2316-4220
- Conference titles: Bracis 2012 - Brazilian Conference on Intelligent Systems
-
ABNT
RIBEIRO, Márcio 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: 14 mar. 2026. -
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 2026 mar. 14 ] -
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 2026 mar. 14 ] - Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Local diagnosis
- Approximate belief revision
- Generalized change and the meaning of rationality postulates
- Full acceptance via argumentation
- A contraction core for Horn belief change: preliminary report
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
