Skip Navigation

Journal of Logic and Computation 2000 10(4):603-619; doi:10.1093/logcom/10.4.603
© 2000 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Peppas, P
Right arrow Articles by Nayak, A
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Measuring similarity in belief revision

P PeppasA1, N FooA2 and A NayakA3

A1 Sisifou 27, Korinthos 201 00, Greece E-mail: ppeppas@otenet.gr, A2 Knowledge Systems Group, Dept. of Artificial Intelligence, School of Computer Science and Engineering, University of New South Wales, NSW 2052, Australia E-mail: norman@cse.unsw.edu.au, A3 Knowledge Systems Group, Dept of Computing, School of MPCE, Macquarie University, NSW 2109, Australia E-mail: abhaya@mpce.mq.edu.au

The Possible Models Approach (PMA) introduced by Winslett, proposes, among other things, a domain-independent criterion for measuring similarity between different states of a dynamic 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 study the implications of adopting PMA's criterion of similarity in the context of Belief Revision. More precisely, we formulate conditions that capture PMA's criterion of similarity in terms of systems of spheres (PMA systems of spheres) and we provide an axiomatic characterization of the class of epistemic entrenchments corresponding to systems of spheres that comply with PMA's criterion of similarity (PMA epistemic entrenchments). We also discuss some interesting properties of the class of PMA system of spheres and PMA epistemic entrenchments. Our study is primarily motivated by the role that PMA epistemic entrenchments can play in Reasoning about Action.

Keywords: belief revision, belief update, reasoning about action


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.