ECAI-2000 Logo

ECAI-2000 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Classical and General Frameworks for Recovery

Wiebe van der Hoek, Cees Witteveen

Theory recovery is the process of restoring consistency of a theory with respect to some intended semantics. Recently, a general framework for theory recovery has been developed using an intended and a backup semantics, where the latter is used to guide the recovery process. In this paper we establish some relationships between this recovery framework and the well-known AGM postulates for theory revision. We show that these AGM revision postulates can be easily adapted to theory recovery and AGM-style recovery can be embedded in the general recovery framework. We also generalize the postulates to deal with recovery of not necessarily closed theories and we show that the general framework specialised to classical intended semantics satisfies these AGM postulates. It turns out that the backup semantics used is a special cumulative, non-inclusive para-consistent semantics. Finally, we generalize these AGM postulates for recovery to cases where the intended semantics does not need to be classical. We show that in such cases the postulates allow for recovery by expansions.

Keywords: belief revision, nonmonotonic reasoning

Citation: Wiebe van der Hoek, Cees Witteveen: Classical and General Frameworks for Recovery . In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.33-37.

[prev] [tofc] [next]

ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.