<テクニカルレポート>
Sub-extensions in the Default Knowledge Base Systems

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 The extension is the most important concept of default logic, but it is not constructible. In [6], we have provided two kinds of successively constructible extensions, sub-extensions and approximate e...xtensions whose construction steps are all finite. In this paper, we consider a time-bounded default knowledge base system. Particularly, we pay attention to the tradeoff between constructing an infinite extension and restricting usable resources to finite ones. To reduce unnecessary computations, this system constructs the sub-extension, called the current belief set, for a user based on his/her interests (e.g. queries). We also show that this sub-extension is just a perfect belief set which the user can infer. Then, we discuss the concepts including consistency, existence and uniqueness of extensions, belief revision under the constraint of the time-bound, and give some more natural explanations for these concepts.続きを見る

本文情報を非表示

rifis-tr-50 pdf 977 KB 65  

詳細

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