PSEUDO EXTENSION AND BELIEF REVISION IN DEFAULT REASONING | Zendy

Hiroko Yuasa | Zendy; Setsuo Arikawa | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

PSEUDO EXTENSION AND BELIEF REVISION IN DEFAULT REASONING

Author(s) -

Hiroko Yuasa,

Setsuo Arikawa

Publication year - 1990

Publication title -

bulletin of informatics and cybernetics

Language(s) - English

Resource type - Journals

eISSN - 2435-743X

pISSN - 0286-522X

DOI - 10.5109/13408

Subject(s) - extension (predicate logic) , belief revision , false belief , computer science , psychology , mathematics , artificial intelligence , cognition , theory of mind , programming language , psychiatry

This paper is concerned with the extension and the belief revision in Reiter's default reasoning. First we introduce a new notion of pseudo exten sion 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research