25、协作行为语义表征与大阶梯概率逻辑关系解析

协作行为语义表征与大阶梯概率逻辑关系解析

协作行为语义表征相关研究

在对话研究领域，不同类型的对话有着不同的特点和研究重点。

非协作类的说服对话（其中一部分被称为争议），并不追求全局完整性。在这类对话中，重点放在与正确性和局部进展类似的属性上，即只关注对话中涉及的公共知识。例如，在动态争议中，两个参与者（支持者和反对者）交替提出论点和反论点。相关研究探讨了协议的两个属性——合理性和公平性，涉及生成的公共知识与得出的结论（即争议的获胜者）之间的关系。同时，也给出了一个关于行动相关性的自然定义：“当且仅当它改变了争议初始行动的状态”，这与自然相关性概念的精神相似，但应用于可废止论证逻辑的特定情况。还有研究考虑了更灵活的争议协议，允许使用诸如挑战和让步等替代表述集，以及更灵活的相关性概念。

另外，关于相关性的明确研究中，有工作探讨了基于论证的对话中话语的相关性，但未追求全局完整性，也未考虑分布式贡献的问题，而是研究了三种相关性概念及其对对话结果的影响。

在探究类对话方面，有研究定义了一种成功追求全局完整性理念的探究对话协议，但该协议基于特定的论证系统，设计方法隐含其中。它采用了DeLP系统的简化版本，定义了一种论证探究对话，允许两个代理共同为给定的主张构建论证。

而对于基于论证的说服分析，有研究提出了不同的衡量标准，包括交换论点的质量、每个代理的行为以及对话本身在行动相关性和有用性方面的质量。不过，该分析是从外部代理的角度进行的，关注的是非协作对话类型，与主要研究问题关联不大。

大阶梯概率与标准概率逻辑关系研究

条件句“通常，如果A那么B”在逻辑知识表示中是强大的工具，不同形式的语义被提出，从定量概率分