基于有限状态机的对话式论证分析

对话式论证是一种重要的认知活动，代理人（agents）通过该活动在讨论、辩论、说服和谈判等过程中交换论点和反论点。尽管已提出了许多形式系统，但缺乏用于实施和评估这些提议的框架。一阶可执行逻辑已被提出作为指定和分析对话式论证的通用框架。在本文中，我们研究如何使用命题可执行逻辑来实现对话式论证系统。我们的方法是提出并评估一种算法，该算法生成一个有限状态机，以反映带有初始状态的对话式论证的命题可执行逻辑规范。我们还考虑如何分析这些有限状态机，并以极小化极大策略（minimax strategy）为例，说明可进行的各类实证分析。