BriefGPT.xyz
Ask
alpha
关键词
formal argumentation
搜索结果 - 4
抽象论证中的对立假设和半事实解释:形式基础、复杂性与计算
该论文探讨了可解释人工智能和形式论证在抽象论证框架中的反事实和半事实推理,研究了其计算复杂性,并提供了通过 ASP 求解器的计算策略。
PDF
2 months ago
IJCAI
基于排名的逻辑论证的论证语义
探索基于排名的语义在结构化论证中的应用行为,展示一类广泛用于排名的语义引发了所谓的可责任性度量,并且在论证构建方法的具体选择上相对稳定。
PDF
a year ago
稳定的规范解释:从论证到义务逻辑
本文研究了如何在正式论证的情境下表达并建立稳定解释的概念,并展示了如何利用论证邻域结构构建符合行为准则逻辑的解释,同时提供了一些复杂性结果。
PDF
a year ago
AAAI
将神经网络解释为逐步论证框架(包括证明附录)
研究发现前馈神经网络可以理解为量化论证框架,通过学习稀疏论证网络和密集神经网络的参数,可以从数据中端到端地学习量化框架。
PDF
4 years ago
Prev
Next