关键词argumentation frameworks
搜索结果 - 8
- 当因子化遇到论证:朝着论证性解释的方向
该研究提出一种将基于因子分解的模型与论证框架相结合的新模型,通过在模型的每个阶段提供明确的含义,使其能够产生易于理解的推荐解释,并能够结合用户上下文等附加信息实现更准确的预测。
- 定量双极论证框架中的论证归因解释
解释性 AI 的一个关键问题是如何解释 Argumentation Frameworks (AFs) 的推理结果,而定量推理结果在 gradual semantics 下的解释尚未得到广泛关注。本文提出了一个新的 Argument Attr - 使用论证解释因果模型:以双变量强化为例
本文介绍基于因果模型生成论证框架的概念化,将 AF 的语义理解为可解释 AI 的说明模式,演示了使用双变量强化属性重新解释为说明模式来为因果模型的输出制作双极 AF 的方法,并进行了理论评估。
- 利用集体攻击重新发现论证原则
本研究提出了一种基于原则的方法来探究 Argumentation Frameworks with Collective Attacks (SETAFs) 的语义,并提供了常见原则的综合概述,利用所得结果为增量计算提供了新的可行性结果。
- MM抽象论证框架语义:逻辑编程方法
本研究探讨了基于 Argumentation Framework 的框架和 Partial Stable Models 之间的关系,证明每个基于 AF 的框架 Delta 都可以被翻译成一个逻辑程序 P_Delta,而不同的 Delta 语 - MM关于抽象辩证框架和逻辑程序之间的等价性
本研究针对一种名为 ADFs 的论证框架,提出 ADF^ +,实现与 NLP 的语义等价,并定义了一种新的 ADF^ + 语义用于 nlp 的 L-stable 语义的等价。
- MMDIAMOND 论证系统:初步报告
本研究提出了一种基于答案集编程的软件系统 DIAMOND 用于将抽象辩证框架(ADFs)翻译成稳定模型,从而实现多种语义(即允许、完整、稳定、基础)下的 ADF 模型。
- MM利用答案集程序设计的技术提升抽象论证系统
本文通过实验比较了原有编码与新的 metasp 编码,提供了最近引入的基于解析的基础语义的新编码,结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。