| Creator |
|
|
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| Issue |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| Crossref DOI |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
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 def...ault 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.show more
|
Export Mendeley
p015