作成者 |
|
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
号 |
|
開始ページ |
|
終了ページ |
|
出版タイプ |
|
アクセス権 |
|
Crossref DOI |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
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.続きを見る
|