论证理论
逻辑框架
计算机科学
编码(内存)
语义学(计算机科学)
逻辑后果
意义(存在)
表达式(计算机科学)
简单(哲学)
逻辑连接
论证框架
理论计算机科学
订单(交换)
证明理论语义学
操作语义
程序设计语言
人工智能
认识论
指称语义学
哲学
财务
经济
作者
Claudette Cayrol,Marie-Christine Lagasquie-Schiex
标识
DOI:10.1109/ictai.2018.00106
摘要
We propose a logical encoding of extended abstract argumentation frameworks, that is frameworks with higher-order attacks (i.e. attacks whose targets are other attacks). Our purpose is to separate the logical expression of the meaning of an attack (simple or higher-order) from the logical expression of acceptability semantics. We consider semantics which specify the conditions under which the arguments (resp. the attacks) are considered as accepted, directly on the extended framework, without translating the original framework into a Dung's argumentation framework. We characterize the output of a given framework in logical terms (namely as particular models of a logical theory). Our proposal applies to the particular case of Dung's frameworks, enabling to recover standard extensions.
科研通智能强力驱动
Strongly Powered by AbleSci AI