本文介绍了一个新颖的框架,使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估,我们证明了我们的框架胜过现有的论证求解器,从而在形式论证和人机对话领域开启了新的未来研究方向。
Oct, 2023
本文提出了一种新的推理演算法,用于描述逻辑 SHOIQ+,该逻辑在语义 Web 等领域具有应用。我们基于超表和超分辨率演算,引入阻塞条件以保证演算终止,并采用任意配对阻塞来减少构造模型的大小。同时,还引入改进的名词引入规则,以确保在存在名词、逆向角色和数量限制等问题时,演算的终止性。我们的实现在多个知名本体上,优于先前的推理器。
Jan, 2014
本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容,并展示了这些形式化工具在复杂道德困境中的应用。
Sep, 2023
本文提出了一个综合性研究,通过对排名语义进行比较和评估,在现有的语义之间揭示了行为差异,以期为论证的过程提供更清晰的指导。
Feb, 2016
本文研究了关于逻辑基础论证的命题变体,分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度,并在 Schaefer 的框架下对问题进行结构参数分类,给出了各问题在参数化难度上的界限,其中一些情况具有极高的难度。
Feb, 2021
建议了一种使用反驳规则构建抵消参数系统进行冲突解决的方法,并提出了能够进行分析且具有封闭性质的系统扩展。
Sep, 2022
本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework,这是解决动态 multi-agent 系统中的问题的一种方法。
Nov, 2022
本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合,第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具,而且还提供了一种新的通用的答案集可视化方法。
Jan, 2013
本文提出了一种新的辩护关系和辩护图的概念,基于辩护语义,定义了两种接受论点的原因,即直接原因和根本原因,介绍了辩证汇总中根等价的概念。
Apr, 2017
探索基于排名的语义在结构化论证中的应用行为,展示一类广泛用于排名的语义引发了所谓的可责任性度量,并且在论证构建方法的具体选择上相对稳定。
Jul, 2023