析取封闭世界假设的一种过程语义
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.69883008, 69773027 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under the Grant No.G1999032704 (国家重点973基础研究发展规划)


A Procedural Semantics for Disjunctive Closed World Assumption
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [10]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.

    Abstract:

    Recently there has been an increasing interest in representing disjunctive information. DCWA (disjunctive closed world assumption) is a skeptical semantics for disjunctive deductive databases (DDBs) (with default negation) and extends the well founded model for normal logic programs. DCWA also provides an approximation for the generalized closed world assumption (GCWA) and supports argumentation. This paper presents a top down procedure for DCWA and proves its soundness and completeness.

    参考文献
    [1] Reiter, R. On the closed world databases. In: Gallaire, H., Minker, J., eds. Logic and Data Bases. New York: Plenum Press, 1978. 119~140.
    [2] Minker, J. On indefinite databases and the closed world assumption. LNCS 138, 1982. 292~308.
    [3] Brass, S., Dix, J. Semantics of disjunctive logic programs based on partial evaluation. Journal of Logic Programming (to appear), 1998. Extended abstract appeared as disjunctive semantics based upon partial and bottom-up evaluation. In: Proceedings of the 12th International Logic Programming Conference. MIT Press, 1995. 199~213.
    [4] Baral, C., Lobo, J., Minker, J. Generalized disjunctive well-founded semantics for logic programs: declarative semantics. In: Proceedings of the 5th International Symposium on Methodologies for Intelligent Systems. Knoxville, TN, 1990. 465~473.
    [5] Rajasekar, A., Minker, J. On stratified disjunctive programs. Annals of Mathematics and Artificial Intelligence, 1(1-4):339~357.
    [6] Sakama, C., Inoue, K. Negation in disjunctive logic programs. In: Proceedings of the 10th International Conference on Logic Programming (ICLP'93). MIT Press, 1993. 703~719.
    [7] Wang, K., Lin, F. Closed world reasoning and query evaluation in disjunctive deductive databases. In: Proceedings of the 1999 International Conferenceon Applications of Prolog. Japan, 1999.
    [8] Lobo, J., Minker, J., Rajasekar, A. Foundations of Disjunctive Logic Programming. MIT Press, 1992.
    [9] Wang, K. Argumentation-based abduction in disjunctive logic programming. Journal of Logic Programming, 2000,45(1-3):105~141.
    [10] Wang, K., Chen, H., Wu, Q. Credulous argumentation with the disjunctive stable semantics. Science in China (Series E), 1998,41(3):330~336.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

王克文,周立柱,冯建华.析取封闭世界假设的一种过程语义.软件学报,2001,12(9):1265-1270

复制
分享
文章指标
  • 点击次数:3800
  • 下载次数: 4310
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2000-01-10
  • 最后修改日期:2001-02-07
文章二维码
您是第19793956位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号