IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Fri, 24 Feb 2017 13:40:21

Peppas, P. (1995). Epistemic Entrenchment and the Possible Models Approach. Technical Report LiTH-IDA-R-95-02, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: The Possible Models Approach (PMA) introduced by Winslett, proposes, among other things, a domain-independent criterion for measuring the similarity between the different states of a dynamic system. Based on this criterion of similarity, the PMA makes inferences about the effects of events in the system. The concept of similarity between states (possible worlds) appears also in the area of Belief Revision in the form of a system of spheres. Systems of spheres are in turn connected to epistemic entrenchments by means of the AGM revision functions that the two structures induce. In view of these connections, in this article we identify and study the properties of the family of epistemic entrenchments corresponding to systems of spheres that comply with PMA's criterion of similarity. Using the results established herein, we then outline a version of the PMA based on epistemic entrenchments.

Goto (at Linköping University): CS Dept TR Overview