<学術雑誌論文>
PSEUDO EXTENSION AND BELIEF REVISION IN DEFAULT REASONING

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

本文ファイル

pdf p015 pdf 516 KB 417  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
タイプ
登録日 2009.04.22
更新日 2020.10.22

この資料を見た人はこんな資料も見ています