Sep, 2024

基于行动语言的抽象论证框架的形式化

TL;DR本研究解决了传统抽象论证框架未能考虑论证顺序的问题,提出了一种新模型来建模抽象论证图。通过考虑论证的表达顺序,研究能够为每个对话推导出唯一的结果,并确立了多个重要性质,如终止性和正确性。