justifications | BriefGPT - AI 论文速递

关键词justifications

搜索结果 - 9

带有 s (CASP) 的反事实解释生成
自动决策的机器学习模型在贷款批准、预审保释、招聘等领域越来越普遍，但大多数模型是不透明的，无法揭示决策依据。本文专注于自动生成反事实解释的问题，采用了答案集规划和 s (CASP) 目标导向 ASP 系统。我们展示了如何计算和证明反事实解释
PDF8 months ago
ACL事实核查解释生成的基准测试
自动化生成证明（说明为何某主张被分类为真或假）的过程在抵制虚假信息方面起到重要作用，这篇论文针对无结构知识（如新闻文章）的摘要方法进行了实验证明，结果显示，通过基于主张信息的抽取步骤改善摘要性能可以从证明生成摘要中获益。
PDF10 months ago
OWL 本体真正可解释性的前夕：采用 Evee 和 Evonne 的描述逻辑证明（扩展版）
本文介绍了一个计算 DLs 证明的 Java 库及其在 Protégé 中的插件，并提供了一款显示计算结果的高级应用。
PDF2 years ago
Evonne: 描述逻辑的交互证明可视化 (系统描述) -- 扩展版
介绍了一个名为 Evonne 的交互式系统，用于可视化表达式描述逻辑的推导过程，其中包括证明的计算方法和基于签名的证明压缩特征。同时，使用真实本体评估了所生成证明的质量。
PDF2 years ago
EMNLP基于问句的多跳推理摘要
本研究提出了一种基于问题驱动的摘要式多跳选择生成器方法，将多跳推理吸收到问题驱动的摘要中，并为生成的摘要提供了理由。
PDF4 years ago
ACL生成事实检查解释
本文针对自动事实检测的不足之处，提供了首个研究可利用可用的声明上下文生成自动化证明，并且演示了一项同时优化判断准确性预测和证明生成的多任务模型平均性能更好。
PDF4 years ago
MM推荐辩论中涵盖范围最广的反对和支持论点
本研究使用加权二分图，解决直接民主网络（DirectDemocracyP2P）中的投票者签名和讨论决定中合并和推荐不同类型的辩论建议的问题。
PDF10 years ago
懒惰模型扩展：将基础与搜索交错
论文提出一种延迟递归地进行理论理解，克服现有策略中的瓶颈问题，用于处理 ASP、FO (.)、Zinc 等类似的知识表示语言的模型生成问题。
PDF10 years ago
基于答案集语义的逻辑程序的证明
本文介绍了基于图的解释 Answer Set 编程的离线和在线证明方法，并将其集成到计算模型中用于调试 Answer Set 程序。
PDF16 years ago