研究人员为定量论证对话引入了新的安全、活性和公平性概念。这些概念借鉴了时间推理，并应用于具有在推理之间更新的加权节点的论证图。该工作正式展示了这些概念之间的关系，并讨论了提供通用保证的分析挑战。 AI
影响 为分析AI对话系统引入了新的形式化方法，可能提高其可靠性和可预测性。
排序理由 该集群包含一篇提交至arXiv的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
在 arXiv cs.MA (Multiagent) 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →