基於行動語言的抽象論證框架形式化

本文提出了一個新的框架,通過使用行動語言來建模和推理抽象論證對話,並考慮了論證的陳述順序。這種方法可以得到一個唯一的結果,即每個論證的可接受性狀態。