结构化论证中的相关性
我们研究ABA+的性质,ABA+是一个扩展了假设为基础的论证(ABA)的形式化,具有偏好处理机制。我们确定了ABA +语义表现出的理想特性,这为ABA+在论证和非单调推理中满足一些(可以说是)理想的偏好处理原则以及ABA+的非单调推理性质奠定了基础。
Mar, 2016
本研究选择计算可信度作为应用领域,评估了异议论证推理的推理能力,并将其与模糊推理和专家系统进行了比较。结果表明,与基线相比,基于异议论证的模型表现更为稳健。这项研究扩展了先前工作,从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。
Jun, 2022
本文提出了关于解释对象的一种形式模型,用于分析用户与系统之间的交互情景,通过输入,输出和解释的顺序。作者论证了解释可以被认为是承诺某种行为模式的对象,并认为其应被视为非单调性。这样做可以通过确定性关系解决一些解释中考虑到的不一致性,也可以考虑非单调推理文献中的属性并讨论其可取性,从而更深入地了解交互式解释场景。
Jul, 2022
该论文研究了论证理论,尤其是基于假设的论证和不同类型的逻辑程序之间的关系,并通过展示基于假设的论证不仅可以表示普通逻辑程序,而且可以表示否定逻辑程序及其扩展,扩展了Caminada,Schultz和Toni的已有研究结果。
Jun, 2023
通过引入辩证推理方法,使用大语言模型(LLMs)构建论证框架,从而使LLMs的决策能够被自然地解释和争辩,通过在声称验证的决策任务中的实验,我们证明了辩论性LLMs的有效性,结果竞争力强于同类技术。
May, 2024
通过调查来自一系列领域中的抽象和上下文逻辑问题的对比,本研究旨在系统地分离纯逻辑推理和文本理解。我们探讨当基础逻辑结构保持不变时,LLMs 在各个领域中是否展示出真正的推理能力。
Jun, 2024
本研究主要关注于论证的形式化表示,引入了新的基于Shapley值的影响度量,并通过对比已有的Delobelle和Villata影响度量,结合多个逐渐语义进行评估,深入研究了它们的功能和可取性。
Jul, 2024