| 含有文字序逻辑程序的一种辩论语义 |
| |
| 引用本文： | 谢红梅,王建东,周勇.含有文字序逻辑程序的一种辩论语义[J].南京航空航天大学学报,2005,37(1):79-81. |
| |
| 作者姓名： | 谢红梅 王建东 周勇 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 基金项目： | 国家自然科学基金 (60 1 75 0 1 7)资助项目 |
| |
| 摘 要： | 有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充，针对含有文字序的逻辑程序提出了一种优先辩论框架，加入了对文字之间优先序的处理，进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例，而优先扩充语义可以处理没有回答集的优先逻辑程序。
|
| 关 键 词： | 逻辑程序 辩论语义 优先序 |
| 文章编号： | 1005-2615(2005)01-0079-03 |
| 修稿时间： | 2003年4月23日 |
Argumentation Semantics for Logic Programs with Literal Priority |
| |
| XIE Hong-mei,WANG Jian-dong,ZHOU Yong.Argumentation Semantics for Logic Programs with Literal Priority[J].Journal of Nanjing University of Aeronautics & Astronautics,2005,37(1):79-81. |
| |
| Authors: | XIE Hong-mei WANG Jian-dong ZHOU Yong |
| |
| Abstract: | 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. |
| |
| Keywords: | logic program argumentation semantics prior order |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
