Creator |
|
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Publication Type |
|
Access Rights |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
This paper is concerlled with extension and belief revision in Reiter's default reasoning, First we introduce a new notion of pseudo extension which is successively constructed from a given default th...eory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasollable 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.show more
|