本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework,这是解决动态 multi-agent 系统中的问题的一种方法。
Nov, 2022
本研究提出了一种基于答案集编程的软件系统 DIAMOND 用于将抽象辩证框架(ADFs)翻译成稳定模型,从而实现多种语义(即允许、完整、稳定、基础)下的 ADF 模型。
Dec, 2013
本文通过实验比较了原有编码与新的 metasp 编码,提供了最近引入的基于解析的基础语义的新编码,结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。
Aug, 2011
本文介绍了一种并行计算的算法,用于枚举抽象论证框架的优先扩展,并采用 SCC - 递归语义定义模式,该算法在大型框架中表现出显着的性能改进,发现的解决方案数量和速度提高了。
Nov, 2014
本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合,第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具,而且还提供了一种新的通用的答案集可视化方法。
Jan, 2013
本文提出了一种基于 SAT 的方法,针对抽象论证中的可扩展性进行计算,并重点关注首选语义。该方法的思想是将计算完整扩展的问题简化为一个 SAT 问题,然后使用深度优先搜索方法来推导首选扩展。 该方法已使用两种不同的 SAT 求解器进行了测试,并与三个最先进的首选扩展计算系统进行了比较。结果表明,提出的方法在大多数情况下都能显著提供更好的性能。
Oct, 2013
这篇论文介绍了一种名为 Defeasible Logic Programming(DeLP)的形式化方法,它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来,提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。
Feb, 2003
我们提出了一种基于扩展的方法来计算和验证抽象论证系统中的偏好。我们的研究考虑了标准推理问题的逆,即在给定一个抽象论证框架和一组被证明的论证时,计算关于论证的所有可能偏好的方法和算法。我们证明了算法的正当性、完备性和终止性。该研究表明,偏好是在评估阶段(论证的可接受性)之后使用基于扩展的方法确定的,而不是事先声明的。我们的研究集中在基于地面、首选和稳定的语义上,我们发现计算偏好集的复杂度与论证数量呈指数关系,因此描述了一种近似方法和算法来计算偏好,并提供了验证所计算偏好的新算法。我们提供了算法的实施细节(源代码已提供)、用于评估算法的各种实验以及结果的分析。
Mar, 2024
本文使用 ASP 系统 clingo 提供的条件量词的析取形式,提供了三种著名的辩论语义的新编码,这些编码不仅比以前的版本更简洁,而且在标准基准测试中也表现优异,从而为高级辩论系统的高效解决方案的设计提供了一步关键。
Jul, 2015
本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容,并展示了这些形式化工具在复杂道德困境中的应用。
Sep, 2023