PSEUDO EXTENSION AND BELIEF REVISION IN DEFAULT REASONING
Hiroko Yuasa, Setsuo Arikawa · Bulletin of informatics and cybernetics · 1990
This paper is concerned with the extension and the belief revision in Reiter's default reasoning. First we introduce a new notion of pseudo extension which is successively constructed from a given default theory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasonable candidates of extension in a constructive way. This should be a first step towards computerization of the default reasoning. We also discuss the belief revision problem from the viewpoint of Shapiro's inductive inference of models.