论解决论证冲突
描述了在 Assurance 2.0 及其 Clarissa/ASCE 工具支持下如何表示和评估 defeaters 和多个层次的 defeaters。这些机制还支持消除性论证,这是一种与确保相反的方法,被一些人青睐,它使用负面论证来否定为什么顶层主张可能是错误的所有理由。
May, 2024
这篇论文介绍了一种名为 Defeasible Logic Programming(DeLP)的形式化方法,它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来,提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。
Feb, 2003
本文研究了基于认可度模型的不确定知识推理,通过评估命题的最可接受论点来评估命题的确定性,并探讨了基于直接反论和存在捍卫者两种认可度计算方法,并采用优先级比较方法,构建了支持这两种认可度计算方法的理论框架, 并在分层知识库推理方面进行了实证研究。
Jan, 2013
本文针对行为规范方面,将 Meta rules 适用于可撤销逻辑中,提出了两个变体的 Defeasible Deontic Logic,并针对这两个变体提出了高效的算法,此方法可适用于法规和信息技术领域。
Sep, 2022
本研究选择计算可信度作为应用领域,评估了异议论证推理的推理能力,并将其与模糊推理和专家系统进行了比较。结果表明,与基线相比,基于异议论证的模型表现更为稳健。这项研究扩展了先前工作,从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。
Jun, 2022
本文研究了抽象论证系统中一种特定的添加新论点的变化,探讨了这种变化对于该论证系统中扩展集合的影响,基于集合基数和包含关系定义了几个结构属性,还提出了一些基于特定论点状态变化的属性,研究了这些属性在两种特定语义下的可行性和优越性。
Jan, 2014
本研究通过从另一个 NLP 任务中的迁移学习自动生成支持推理图谱的论证,从而改进了违背推理的人工准确性,为机器推理帮助人类推理的新应用领域开辟了有趣的新途径。
May, 2021