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

• 作者: 周勇 王建东 谢红梅
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 逻辑程序 辩论语义 优先序
• 年，卷（期）: 2005,（1）
• 页码范围: 79-81
• 页数: 3页
• 分类号: TP18|TP301
• 字数: 3079字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2005.01.018

摘要

有序逻辑程序的语义研究是常识推理的重要研究内容.文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义.证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周勇	南京航空航天大学信息科学与技术学院	47	321	8.0	16.0
2	王建东	南京航空航天大学信息科学与技术学院	158	1573	21.0	31.0
3	谢红梅	南京航空航天大学信息科学与技术学院	6	2	1.0	1.0