Revisão de Crenças em Lógicas de Descrição e em Outras Lógicas não Clássicas
Resumo
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. Trabalhos recentes mostraram, porém, que a maioria das Lógicas de Descrição não são compatíveis com as técnicas mais usadas de 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 diversas Lógicas de Descrição. Apresentamos construções, postulados e teoremas de representação para 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 na construção de determinadas operações e implementamos alguns desses algoritmos.
Referências
Alchourrón, C., Gärdenfors, P., and Makinson, D. (1985). On the logic of theory change. Journal of Symbolic Logic, 50(2):510–530.
Flouris, G. (2006). On Belief Change and Ontology Evolution. PhD thesis, University of Crete.
Flouris, G., Plexousakis, D., and Antoniou, G. (2005). On applying the AGM theory to DLs and OWL. In Yolanda Gil, E. M., Benjamins, V. R., and Musen, M. A., editors, Proceedings of the 4th International Semantic Web Conference (ISWC 2005), pages 216–231, Galway, Ireland. Springer.
Gruber, T. R. (1993). Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In Guarino, N. and Poli, R., editors, Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, Netherlands. Kluwer Academic Publishers.
Hansson, S. O. (1991). Belief contraction without recovery. Studia Logica, 50(2):251–260.
Kepler, F., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Valdivia-Delgado, K., de Barros, L. N., and Wassermann, R. (2006). Classifying ontologies. In Proceedings of the 2nd Workshop on Ontologies and their Applications (WONTO 2006), Ribeirão Perto, SP, Brasil.
Levesque, H. J. and Brachman, R. J. (1987). Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3:78–93.
Nebel, B. (1990). Reasoning and revision in hybrid representation systems. Springer-Verlag New York, Inc., New York, NY, USA.
Ribeiro, M. M. and Wassermann, R. (2006). First steps towards revising ontologies. In Proceedings of the 2nd Workshop on Ontologies and their Applications (WONTO 2006), Ribeirão Perto, SP, Brasil.
Ribeiro, M. M. and Wassermann, R. (2007). Base revision in description logics - preliminary results. In Proceedings of the International Workshop on Ontology Dynamics (IWOD 2007), Innsbruck, Austria.
Ribeiro, M. M. and Wassermann, R. (2008a). Degrees of recovery and inclusion in belief base dynamics. In Pagnucco, M. and Thielscher, M., editors, Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR 2008), Sidney, Australia.
Ribeiro, M. M. and Wassermann, R. (2008b). On the relation between remainder sets and kernels. In XV Encontro Brasileiro de Lógica (EBL08), Paraty, RJ, Brasil. Resumo espandido.
Ribeiro, M. M. and Wassermann, R. (2008c). The ontology reviser plug-in for protégé. In Proceedings of the 3rd Workshop on Ontologies and their Applications (WONTO 2008), Salvador, BA, Brazil.
Ribeiro, M. M. and Wassermann, R. (2009a). AGM revision in description logics. In Proceedings of the 1st Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), Pasadena, California, USA.
Ribeiro, M. M. and Wassermann, R. (2009b). Base revision for ontology debugging. Journal of Logic and Computation, 19:721–743. Special Issue: Recent Advances in Ontology Dynamics.
Ribeiro, M. M. and Wassermann, R. (2010). More about agm revision in description logics. In Proceedings of the 2nd Workshop Automated Reasoning about Context and Ontology Evolution (ARCOE 10), Lisboa, Portugal.
Ribeiro, M. M., Wassermann, R., Antoniou, G., Flouris, G., and Pan, J. (2009). Contraction on the semantic web: On the role of relevance and recovery. In Proceedings of the International Workshop on Ontology Dynamics (IWOD 2009), Washington DC, USA.
Russell, S. and Norvig, P. (2003). Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 2 edition.
Stojanovic, L. (2004). Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe, Germany.
Flouris, G. (2006). On Belief Change and Ontology Evolution. PhD thesis, University of Crete.
Flouris, G., Plexousakis, D., and Antoniou, G. (2005). On applying the AGM theory to DLs and OWL. In Yolanda Gil, E. M., Benjamins, V. R., and Musen, M. A., editors, Proceedings of the 4th International Semantic Web Conference (ISWC 2005), pages 216–231, Galway, Ireland. Springer.
Gruber, T. R. (1993). Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In Guarino, N. and Poli, R., editors, Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, Netherlands. Kluwer Academic Publishers.
Hansson, S. O. (1991). Belief contraction without recovery. Studia Logica, 50(2):251–260.
Kepler, F., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Valdivia-Delgado, K., de Barros, L. N., and Wassermann, R. (2006). Classifying ontologies. In Proceedings of the 2nd Workshop on Ontologies and their Applications (WONTO 2006), Ribeirão Perto, SP, Brasil.
Levesque, H. J. and Brachman, R. J. (1987). Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3:78–93.
Nebel, B. (1990). Reasoning and revision in hybrid representation systems. Springer-Verlag New York, Inc., New York, NY, USA.
Ribeiro, M. M. and Wassermann, R. (2006). First steps towards revising ontologies. In Proceedings of the 2nd Workshop on Ontologies and their Applications (WONTO 2006), Ribeirão Perto, SP, Brasil.
Ribeiro, M. M. and Wassermann, R. (2007). Base revision in description logics - preliminary results. In Proceedings of the International Workshop on Ontology Dynamics (IWOD 2007), Innsbruck, Austria.
Ribeiro, M. M. and Wassermann, R. (2008a). Degrees of recovery and inclusion in belief base dynamics. In Pagnucco, M. and Thielscher, M., editors, Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR 2008), Sidney, Australia.
Ribeiro, M. M. and Wassermann, R. (2008b). On the relation between remainder sets and kernels. In XV Encontro Brasileiro de Lógica (EBL08), Paraty, RJ, Brasil. Resumo espandido.
Ribeiro, M. M. and Wassermann, R. (2008c). The ontology reviser plug-in for protégé. In Proceedings of the 3rd Workshop on Ontologies and their Applications (WONTO 2008), Salvador, BA, Brazil.
Ribeiro, M. M. and Wassermann, R. (2009a). AGM revision in description logics. In Proceedings of the 1st Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), Pasadena, California, USA.
Ribeiro, M. M. and Wassermann, R. (2009b). Base revision for ontology debugging. Journal of Logic and Computation, 19:721–743. Special Issue: Recent Advances in Ontology Dynamics.
Ribeiro, M. M. and Wassermann, R. (2010). More about agm revision in description logics. In Proceedings of the 2nd Workshop Automated Reasoning about Context and Ontology Evolution (ARCOE 10), Lisboa, Portugal.
Ribeiro, M. M., Wassermann, R., Antoniou, G., Flouris, G., and Pan, J. (2009). Contraction on the semantic web: On the role of relevance and recovery. In Proceedings of the International Workshop on Ontology Dynamics (IWOD 2009), Washington DC, USA.
Russell, S. and Norvig, P. (2003). Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 2 edition.
Stojanovic, L. (2004). Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe, Germany.
Publicado
19/07/2011
Como Citar
RIBEIRO, Márcio Moretto; WASSERMANN, Renata.
Revisão de Crenças em Lógicas de Descrição e em Outras Lógicas não Clássicas. In: CONCURSO DE TESES E DISSERTAÇÕES (CTD), 24. , 2011, Natal/RN.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2011
.
p. 94-99.
ISSN 2763-8820.
