论文部分内容阅读
在浩如烟海的信息环境下,信息的不一致、不精确和不完全性是不可避免的问题。如此复杂信息环境使得人类迷失在海量信息中而显得无所适从:该相信哪一条信息和不应相信哪一条信息?如何从不一致信息环境下获取更加合理和更有根据的决策知识成为信息科学领域研究亟待解决的难题。在人类历史长河中,辩论为解决人们的冲突和分歧问题扮演着举足轻重的作用,它通过论据列举和推理来说服他人,以影响其信念和判断,并达到消除矛盾和分歧的目的。面对现代计算机科学,尤其是人工智能领域的不一致信息处理问题,它同样提供了一种进行非单调推理的新方法和新途径。近年来,随着辩论理论和技术的发展和成熟,它正成为人工智能研究领域的热点,引起学术界广泛关注和兴趣。围绕分布式不一致信息环境下争议问题和冲突观点的合理性验证,本文深入研究了采用辩论理论处理不一致信息的基本原理和方法,提出一种面向首选语义的论据博弈模型MAGPS,并建立基于MAGPS的多agent协同辩证推理方法,提供了一种面向分布式不一致信息环境下的信息处理的新方法和途径。同时,对多agent协同辩证推理方法所涉及的实现技术进行了深入的分析,包括多方对话博弈协议、辩论框架的实例化及其攻击论据动态构建等。总体来讲,本文主要研究工作概括如下:(1)提出了一种面向首选语义的论据博弈模型MAGPS。辩证证明是计算辩论框架中论据可接受语义的主要途径,采用论据博弈建模辩证证明过程是学术界的一个共识。目前论据博弈模型把辩证证明表示为建议者Pro和反对者Opp围绕焦点论据的双方对话博弈。现有的论据博弈模型大都通过Pro与Opp“你一言我一语”的论据交互来验证焦点论据的可接受语义,这种论据博弈模型在论据交互过程具有很大随意性和盲目性。为了提高论据博弈过程中提出论据的相关性和有效性,本文提出了一种面向首选语义论据博弈模型MAGPS:MAGPS建立在对话的临界因子、合法移动函数和临界对策等概念之上,促使参与者(Pro与Opp)在论据博弈中根据当前对话态势提出的攻击论据更具相关性和有效性。本文从理论上证明了MAGPS证明论据可接受语义是有效的和完全的。实验结果表明,MAGPS不仅缩短了对话的长度;而且一定程度上降低了求解焦点论据的可接受语义的时间复杂性。(2)提出了基于MAGPS的多agent协同辩证推理方法及其理论框架。为了实现分布式多agent参与论据博弈的思想,面向分布式辩论框架中焦点论据的可接受语义的辩证证明这一背景问题,本文提出了基于MAGPS的多agent协同辩证推理方法及其框架。多agent协同辩证推理的主要思想是联合各个agent的论据集协同辩证证明某个焦点论据的可接受语义;多agent协同辩证推理框架包含主持人和若干参与者agents,这些agents在主持人的协调控制下围绕特定的焦点论据展开论据博弈,试图通过论据的攻击和反驳来寻求更加合理、有根据的决策知识。这种正、反论据的列举过程即体现了人类的辩证思维过程。(3)设计并实现了面向多agent协同辩证推理的多方对话博弈协议ProMDR。多agent协同辩证推理实现的难点之一是多方对话博弈协议的设计与实现。目前,对话博弈协议的研究主要集中在双方对话博弈协议,相对于双方对话博弈协议而言,多方对话博弈协议要复杂得多。本文遵循一般的对话博弈协议的设计原则,总结分析多方对话博弈设计的特点和难点,以及多方对话博弈协议设计的一般性方法和原则,并遵循上述原则设计实现一种面向辩证推理的多方对话博弈协议ProMDR。ProMDR由若干操作原语和对话规则构成:其中操作原语包括控制原语和争论原语;对话规则包括控制规则、衔接规则和承诺规则等,它们共同规范了参与者agent在多方对话博弈中的言语行为。此外,本文还从操作原语的公理语义和对话协议的操作语义两个视角进一步刻画了ProMDR。(4)提出了一种采用单调逻辑实例化抽象辩论框架的方法,并提出了一种攻击论据动态构建方法。现有辩论研究工作大部分是基于抽象辩论框架,为此论据结构、论据从何而来以及如何构建等问题一直被大家忽略。而面向特定辩论逻辑的论据博弈,如何从知识库中构建出攻击论据是论据博弈参与者agent的必备技能之一。辩论框架的实例化以及(攻击)论据的动态构建架起了辩论从理论研究到现实应用的一座桥梁,是辩论理论在现实世界中得以应用的必经之路。为了弥合抽象辩论框架与现实问题之间的鸿沟,本文提出一种采用单调逻辑实例化抽象辩论框架的方法:通过Horn子句来表示agents的辩论知识库,这些agents的辩论知识库即构成了一个实例化分布式辩论框架;同时,面向单调逻辑建立的实例化辩论框架,本文提出了一种3阶段攻击论据动态构建方法:目标论据解析、攻击关系挖掘和论据构造,使得辩论agent能够根据对话态势围绕对话中的临界元从自身辩论知识库中构建攻击论据。该方法提供了一种运用辩论理论解决现实问题的参考,具有重要的现实意义。综上所述,本文系统地对多agent协同辩证推理方法及其实现技术进行了深入研究。本研究是对分布式环境不一致信息处理的一次有益探索,不管军事领域,还是民用领域,本研究工作具有一定的理论价值和广泛的应用价值。