Creator |
|
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Publication Type |
|
Access Rights |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
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.show more
|