期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

拓展溯因逻辑程序设计的辩论理论基础 被引量：1

Extending the Argumentation theoretical Foundation for Abductive Logic Programming
在线阅读 下载PDF
导出
摘要 讨论一类扩展的溯因程序 ,它包含经典否定、缺省否定、一致性约束以及溯因推理机制 .论文的主要思想是 :(1)本着限制某些假说 (包括不相容假说 )的攻击能力这样的出发点 ,定义一种更符合直观理解的“反驳”与“击败”概念 ,其中的 II-型击败关系具有动态的特点 ;(2 )首次尝试一致性约束可以引起假说间的反驳与击败 ,这使得一致性约束不再仅仅是全局性的相容约束 .基于这些思想提出的完全类语义拓展了 This paper discusses an extended version of abductive logic programs which includes classical negation, default, negation, integrity constraints and abduction. The newly defined ‘rebut relation’ and ‘defeat relation’ among hypotheses greatly strengthen the capability of attacking of all consistent hypotheses; integrity constraints can create rebuts and defeats more than check global consistency. Base on these ideas, a unified semantics framework is presented to extend the argumentation theoretical foundation for abductive logic programming.
作者 陈荣 姜云飞
机构地区 吉林大学计算机科学系 中山大学软件研究所
出处 《计算机学报》 EI CSCD 北大核心 2000年第6期561-569,共9页 Chinese Journal of Computers
基金 国家自然科学基金!( 69873 0 47)
关键词 辩论理论 溯因推理 溯因逻辑程序设计 argumentation theory, nonmonotonic abduction, abductive logic programming, declarative semantics
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献15

  • 11，Kakas T, Kowalski R A, Toni F. Abductive logic programming. Journal of Logic and Computation, 1992, 2(6):719-770
  • 22，Dung P M. An argumentation-theoretic foundation for logic programming. Journal of Logic Programming,1995,22(2):151-177
  • 33，Bondarenko A, Toni F, Kowalski R A. An assumption-based framework for non-monotonic reasoning. In: Pereira L M, Nerode A eds. LPNMR-93. Cambridge, MA: MIT Press, 1993. 171-189
  • 44，Eshgi K, Kowalski R A. Abduction compared with negation by failure. In: Levi L, Martelli M eds. ICLP-89. Cambridge, MA: MIT Press, 1989. 234-254
  • 55，Dix J. Semantics of logic programs: Their intuitions and formal properties. An overview. In: Proceedings of the Konstanz Colloquium in Logic and Information, DeGruyter, 1994. 1-56
  • 66，Dix J. A classification-theory of semantics of normal logic programs II—Weak properties. Fundamenta Informaticae, 1995, 22(3):257-288
  • 77，Pereira L M, Alferes J J, Aparicio J N. Adding closed world assumptions to well-founded semantics. Theoretical Computer Science, 1994, 122(1):49-68
  • 88，Brewka G, Konolige K. An abductive framework for generalized logic programs. In: Pereira L M, Nerode A eds. LPNMR-93. Cambridge, MA: MIT Press, 1993. 349-364
  • 99，Kakas A C, Mamcarella P, Dung P M. The acceptability semantics for logic programs. In: Hentenrych P ed. ICLP-94. Cambridge, MA: MIT Press, 1994. 504-519
  • 1010，Torres A. Negation as failure to support. In: Pereira L M, Nerode A eds. LPNMR-93. Cambridge MA: MIT Press, 1993. 223-243

同被引文献5

  • 1Kakas A C, Kowalski R A, Toni F. Abductive logic programming[J]. Journal of Logic and Computation, 1993,2 (6) :719-770.
  • 2Sakama Chiaki. Induction from answer sets in nonmonotonic logic programs[J]. ACM Transactions of Computational Logic, 2005,6 (2) : 203 - 231.
  • 3Eiter Thomas, Gottlob Georg, Leone Nicola. Abduction from logic programs:semantics and complexity[J]. Theoretical Computer Science, 1997,189 (1/2) : 129-177.
  • 4Eiter Thomas,Makino Kazuhisa. On computing all abducrive explanations [C]//Proceedings Eighteenth National Conference on Artificial Intelligence. Canada: American Association for Artificial Intelligence, 2002 : 62-67.
  • 5陈荣,姜云飞,林笠.溯因推理研究:现状与问题[J].计算机科学,2003,30(5):23-25. 被引量：5

引证文献1

二级引证文献2

计算机学报
2000年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部