本文通过实验比较了原有编码与新的 metasp 编码,提供了最近引入的基于解析的基础语义的新编码,结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。
Aug, 2011
本研究提出了一种基于答案集编程的软件系统DIAMOND用于将抽象辩证框架(ADFs)翻译成稳定模型,从而实现多种语义(即允许、完整、稳定、基础)下的ADF模型。
Dec, 2013
本文使用ASP系统clingo提供的条件量词的析取形式,提供了三种著名的辩论语义的新编码,这些编码不仅比以前的版本更简洁,而且在标准基准测试中也表现优异,从而为高级辩论系统的高效解决方案的设计提供了一步关键。
Jul, 2015
本文研究抽象辩证框架并将其推广以适应不完整指定的初始参数和关系的情况,以及计算其重要度的各种方法。
Jun, 2018
本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系,比较了松弛稳定、状态和松弛相容扩展之间的异同,并阐述了松弛相容扩展的对称性。
Jul, 2019
本研究探讨了基于Argumentation Framework的框架和Partial Stable Models之间的关系,证明每个基于AF的框架Delta都可以被翻译成一个逻辑程序P_Delta,而不同的Delta语义扩展可以对应于P_Delta的不同PSM子集。该研究为新的基于AF的框架的语义定义提供了可能性,例如带有递归攻击和递归演绎支持的AFs。
Aug, 2020
本文研究了关于逻辑基础论证的命题变体,分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度,并在 Schaefer 的框架下对问题进行结构参数分类,给出了各问题在参数化难度上的界限,其中一些情况具有极高的难度。
Feb, 2021
本文研究了基于假设的论证(ABA)中逻辑编程碎片中比第二层多项式分层难度的理性推理和优先推理问题的有效算法, 利用增量 ASP 求解器中的非平凡反例引导的抽象精化程序。
Aug, 2021
本文提出非矛盾推理与强化封闭世界假设两个原则,将逻辑编程和抽象论证框架都用Nelson构造逻辑N4予以说明,并将它们以一种模块化的方式翻译成构造逻辑,从而形成一种新的蕴涵连接,支持攻击表示通过将这个新的蕴涵与强否定相结合。
Mar, 2022
本文提出了一种双极 AF 语义,借鉴了推理支持的概念,用于实例化 general ABAFs 概念,并证明了在此概念下具有所需的关系。
May, 2023