<テクニカルレポート>
Pseudo Extension in Default Reasoning and Belief Revision by Model Inference

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 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.続きを見る

本文情報を非表示

rifis-tr-5 pdf 1.02 MB 44  

詳細

レコードID
査読有無
関連情報
注記
タイプ
登録日 2009.04.22
更新日 2017.01.20