Ciencias Informáticas ARTIFICIAL INTELLIGENCE Bases de Conocimiento Contracción Kernel Contracción de Creencias Contraction Without Recovery Distributed Artificial Intelligence Knowledge Representation Formalisms and Methods Levicontraction Semi-Contraction Teoría de Cambio Teoría de Cambio de Creencias Teoría de cambio de creencias Theory Change actitudes epistémicas estados epistémicos funciones G_AGM funciones Meet Contraction modelo AGM operaciones de cambio representación de conocimiento theory change; AGM model; knowledge representation; epistemic states; epistemic attitude; change operations