LLM2D
Home
Arxiv
返回列表
基于行动语言的抽象论证框架形式化
An action language-based formalisation of an abstract argumentation framework
作者:
Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne, Catherine Pelachaud, Marie-Jeanne Lesot
发布日期:
10/1/2024
arXiv ID:
oai:arXiv.org:2409.19625v1
摘要
抽象论证框架是一种常用的形式化方法,用于提供对话的静态表示。然而,论证对话中论证的陈述顺序非常重要,它会影响对话的结果。本文提出了一种新的抽象论证图建模框架,该模型包含论证的陈述顺序。通过考虑此顺序,我们可以为每个对话推导出一个唯一的结论,称为扩展。我们还建立了一些属性,例如终止和正确性,并讨论了两种完整性概念。特别是,我们提出了一种基于“最后陈述最后更新”策略的先前转换的修改,该策略验证了第二种完整性形式。
查看原文
下载 PDF