首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号