cs.AI updates on arXiv.org 07月09日 12:01
Argumentative Characterizations of (Extended) Disjunctive Logic Programs
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_guoji1.html

 

本文研究假设论证理论与逻辑程序的关系,扩展了Caminada等人的成果,表明假设论证能表示正常逻辑程序、析取逻辑程序及其扩展。通过考虑析取推理规则,展示了论证框架与逻辑程序规则头部处理析取的一致性。

arXiv:2306.07126v2 Announce Type: replace Abstract: This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known result of Caminada, Schultz and Toni by showing that assumption-based argumentation can represent not only normal logic programs, but also disjunctive logic programs and their extensions. For this, we consider some inference rules for disjunction that the core logic of the argumentation frameworks should respect, and show the correspondence to the handling of disjunctions in the heads of the logic programs' rules. Under consideration in Theory and Practice of Logic Programming (TPLP).

Fish AI Reader

Fish AI Reader

AI辅助创作,多种专业模板,深度分析,高质量内容生成。从观点提取到深度思考,FishAI为您提供全方位的创作支持。新版本引入自定义参数,让您的创作更加个性化和精准。

FishAI

FishAI

鱼阅,AI 时代的下一个智能信息助手,助你摆脱信息焦虑

联系邮箱 441953276@qq.com

相关标签

假设论证 逻辑程序 析取逻辑 推理规则 Caminada成果
相关文章