Estudio de los operadores de contracción y revisión epistémicos: modelamiento en las dinámicas de estados epistémicos.

Abstract

Modelling of the dynamics of epistemic states is a study of the relations and changes between knowledge states of a epistemic agent due to new information from the external world. In this work we highlight the standard AGM model, named by its principal authors: Carlos Alchurrón, Peter Gärdenfors and David Makinson. The language used in this framework is a first-order logic language which come from the research branch of mathematical logic. Along this selection of language, we present several elements that characterize AGM model like representation of epistemic states or theories, rational criteria, epistemic attitudes, epistemic operations, etc..Epistemic operations are functions defined over the set of all theories and the new information represented by formulas. We have three main operations: expansion, contraction and revision. One of the most remarkable of AGM trio is the characterization between explicit and implicit definitions of epistemic operations; these contribute a set of postulates that each epistemic operation must satisfy and a constructive way to get new theories, respectively. However, in this work we include a criticism section of AGM model in which we extend our horizons over more realistic models. At the end, we will present some additional results from exposed theory so far, conclusions and recommendations for future researches.