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