论带有偏好的论证的一般做法
本文通过实验比较了原有编码与新的 metasp 编码,提供了最近引入的基于解析的基础语义的新编码,结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。
Aug, 2011
本文利用 Answer Set Programming (in particular, asprin) 开发了一个概念感知的多偏好语义,以处理典型性描述逻辑,其中偏好与概念相关,并从包含有缺陷的概念推理的排名 TBoxes 集合开始。利用多偏好方法实现 E L+ bot 下的有缺陷推理。
Jun, 2020
本文正式比较了两种基于规则的论证形式,DeLP 和 ASPIC + 的一些中心概念,特别关注直观的充分性和可相互转换性、一致性和闭合性质。与攻击和论据的定义不同,DeLP 的定义更具吸引力,但可能不完全符合严格闭合和间接一致性的理性假设。 针对一些特殊情况,DeLP 的定义被证明比 ASPIC + 更好。最后证明了如果将 DeLP 确认程序更改为基于 grounded 语义,那么 DeLP 的 warrant 概念和 ASPIC + 的 justification 的概念是相等的,并为三种攻击定义的情况证明了这一结果。
Sep, 2019
我们提出了一种基于扩展的方法来计算和验证抽象论证系统中的偏好。我们的研究考虑了标准推理问题的逆,即在给定一个抽象论证框架和一组被证明的论证时,计算关于论证的所有可能偏好的方法和算法。我们证明了算法的正当性、完备性和终止性。该研究表明,偏好是在评估阶段(论证的可接受性)之后使用基于扩展的方法确定的,而不是事先声明的。我们的研究集中在基于地面、首选和稳定的语义上,我们发现计算偏好集的复杂度与论证数量呈指数关系,因此描述了一种近似方法和算法来计算偏好,并提供了验证所计算偏好的新算法。我们提供了算法的实施细节(源代码已提供)、用于评估算法的各种实验以及结果的分析。
Mar, 2024
本文研究了在声称层面下偏好对抽象论证的影响,研究发现了四种处理偏好的减少方法在处理声称扩充论证框架的语义和计算复杂度方面的行为不同,这加强了认为必须谨慎选择处理偏好的观点。
Apr, 2022
本文介绍了从抽象辩论框架 (ADF) 和 GRAPPA 到解答集编程 (ASP) 的新型有效转化,并提供了 ADF 的五种主要语义 (包括允许的、完整的、首选的、基本的和稳定的解释) 的降低。
Dec, 2019
本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合,第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具,而且还提供了一种新的通用的答案集可视化方法。
Jan, 2013
通过构建一个与参数化规模相近的逻辑程序,将传统参数化的 argumentation framework 转化为 disjunctive logic 程序,从而找出适合的 stable model,可以直接关联到非单调逻辑推理。
Mar, 2008
本文使用 ASP 系统 clingo 提供的条件量词的析取形式,提供了三种著名的辩论语义的新编码,这些编码不仅比以前的版本更简洁,而且在标准基准测试中也表现优异,从而为高级辩论系统的高效解决方案的设计提供了一步关键。
Jul, 2015
本文介绍了基于先验偏好的逻辑程序的扩展,使用保留谓词符号和命名技巧动态推导出有关规则之间优先级的偏好信息,并能在多项式时间内计算有限制的逻辑程序的良基结论,同时通过合法推理示例说明了该方法的实用性。
Feb, 1996