期刊文献+

含有文字序逻辑程序的一种辩论语义

Argumentation Semantics for Logic Programs with Literal Priority
下载PDF
导出
摘要 有序逻辑程序的语义研究是常识推理的重要研究内容。文中对 Dung的辩论框架进行了扩充 ,针对含有文字序的逻辑程序提出了一种优先辩论框架 ,加入了对文字之间优先序的处理 ,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是 Sakama回答集的特例 ,而优先扩充语义可以处理没有回答集的优先逻辑程序。 Prior logic programs (PLP) are important for reasoning w ith priorities in commonsence reasoning. A new kind of argumentation framework f or PLP with literal prior orders is introduced. The proposed framework incorpora tes the order processing between arguments and has new attack relations with lit eral orders. The argumentation semantics along with the framwork is compared wit h the prior answer set semantics. Since the answer sets for PLP donot always exi st, the argumentation semantics is more expressive for PLP.
出处 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第1期79-81,共3页 Journal of Nanjing University of Aeronautics & Astronautics
基金 国家自然科学基金 (60 1 75 0 1 7)资助项目
关键词 逻辑程序 辩论语义 优先序 logic program argumentation semantics prior order
  • 相关文献

参考文献8

  • 1Brewka G, Eiter T. Preferred answer sets for extended logic programs [J]. Artificial Intelligence,1999,109:297-356.
  • 2Sakama C, Inoue K. Prioritized logic programming and its application to common sense reasoning[J]. Artificial Intelligence, 2000,123 : 185- 222.
  • 3Dung P M. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games[J]. Artificial Intelligence, 1995,77 : 321 - 357.
  • 4Bondarenko A, Dung P M, Kowalski R A, et al. An abstract, argumentation-theoretic approach to default reasoning[J].k Artificial Intelligence, 1997,97:63-101.
  • 5Amgoud L, Cayrol C. A reasoning model based on the production of acceptable arguments[J].Annals of Mathematics and Artificial Intelligence, 2002,34:197-215.
  • 6Amgoud L, Cayrol C. Inferring from Inconsistency in preference-based argumentation frameworks [J]. J Autom Reasoning, 2002,29 (2) : 125 - 169.
  • 7Prakken H, Sartor G. The role of logic in computational models of legal argument: a critical survey [M]. Computational Logic: Logic Programming and Beyond, 2002. 342 - 381.
  • 8Prakken H, Reed C, Walton D. Argumentation schemes and generalizations in reasoning about evidence[A]. International Conference on Artificial Intelligence and Law[C]. 2003.32-41.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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