| 作成者 |
|
|
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 出版タイプ |
|
| アクセス権 |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
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.続きを見る
|
Mendeley出力
rifis-tr-5