Closed world assumptions having precedence in predicates |
| |
Authors: | Hirofumi Katsuno |
| |
Affiliation: | 1. NTT Basic Research Laboratories, 3-9-11, Midori-cho, Musashino-shi, 180, Tokyo, Japan
|
| |
Abstract: | This paper extends Reiter’s closed world assumption to cases where the assumption is applied in a precedence order between
predicates. The extended assumptions are: thepartial closed world assumption, thehierarchical closed world assumption and thestepwise closed world assumption. The paper also defines an extension of Horn formulas and shows several consistency results about the theory obtained from
the extended Horn formulas by applying the proposed assumptions. In particular, the paper shows that both the hierarchical
closed world assumption and the stepwise closed world assumption characterize the perfect model of stratified programs. |
| |
Keywords: | Deductive Database Closed World Assumption Stratified Program Horn Clause |
本文献已被 SpringerLink 等数据库收录! |
|