抽象论证中的时间性和因果性
本文研究了抽象论证系统中一种特定的添加新论点的变化,探讨了这种变化对于该论证系统中扩展集合的影响,基于集合基数和包含关系定义了几个结构属性,还提出了一些基于特定论点状态变化的属性,研究了这些属性在两种特定语义下的可行性和优越性。
Jan, 2014
本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework,这是解决动态 multi-agent 系统中的问题的一种方法。
Nov, 2022
本文介绍了一个新颖的框架,使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估,我们证明了我们的框架胜过现有的论证求解器,从而在形式论证和人机对话领域开启了新的未来研究方向。
Oct, 2023
该论文探讨了可解释人工智能和形式论证在抽象论证框架中的反事实和半事实推理,研究了其计算复杂性,并提供了通过 ASP 求解器的计算策略。
May, 2024
我们提出了一种以构造主义为基础的方法,将 LLM 学习过程转向主动、持续的知识综合和定制,通过将时态推理分为两个阶段并整合历史数据中的抽象方法,显著提高了 LLM 对时态推理的能力。
Nov, 2023
本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合,第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具,而且还提供了一种新的通用的答案集可视化方法。
Jan, 2013
本文提出非矛盾推理与强化封闭世界假设两个原则,将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明,并将它们以一种模块化的方式翻译成构造逻辑,从而形成一种新的蕴涵连接,支持攻击表示通过将这个新的蕴涵与强否定相结合。
Mar, 2022