首页 > 范文大全 > 正文

多技术辩论系统中的应用

开篇:润墨网以专业的文秘视角,为您筛选了一篇多技术辩论系统中的应用范文,如需获取更多写作素材,在线客服老师一对一协助。欢迎您的阅读与分享!

摘要:辩论系统是较为复杂而难以实现的,多技术又为解决复杂问题提供了一种方法。针对这种情况,将多技术应用于辩论系统,本文首先介绍了技术的概念及的结构,然后将多技术应用到辩论系统中,介绍了辩论系统的实现方法和组成部分,最后用多平台JADE予以实现。

关键词:;辩论;多;对话模型

中图分类号TP11 文献标识码A 文章编号 1674-6708(2012)66-0182-02

0 引言

基于的编程把应用程序看成是由组成的,具有自治性、前摄性的特点,并且之间可以相互进行通信,的这些特性使得它们能够解决一些比较复杂的问题,例如可以不需要人工参与而单独地完成特定的任务。同时,由于之间可以通信交流,这样多个就可以联合起来以实现特定的目标,由于以上优点,技术现在得到越来越广泛的应用,无论是相对较小的个人助理系统还是大型复杂的商业应用,例如控制系统、系统诊断、制造业、交通、后勤、以及网络管理等。本文将技术应用于辩论系统中,是对解决构建辩论系统问题方法的一个发展。

1 及结构

1.1

,又可称为软件[1], Wooldridge等把定义为具有自治性、社会性和反应性特点的软件系统[2],是一种特殊的软件组件,软件系统一般需要多个软件联合起来凭借相互影响和作用来实现,通过多个软件实现的系统被称为多系统。

1.2 的结构

结构大致可以分为四种类型:基于逻辑的结构,反应型的结构、BDI结构和分层的结构。

基于逻辑的结构根据传统的基于知识系统技术发展而来,在这该结构中,用推论机制来表示和操作符号系统。这种结构的优点是用符号来表示知识,便于人去理解逻辑,而它的不足之处是很难把现实世界用符号来准确地描述,而且符号表示和操作非常地不方便,效率低下。

反应型结构把情形和行为一一对应起来,它是以刺激反应机制为基础的,和基于逻辑的结构不同的是,它们不使用任何复杂的符号来推理,该结构的优点是在动态环境中工作效率比较高,而且比基于逻辑的结构易于设计,然而,反应型仅仅依靠感应的数据有时并不能让选择合适的行为,同时由于没有状态,不可能让具有从经验学习的功能,因而很难实现一个能够完成特定任务的,尤其是在具有很多行为的情况下。

BDI(Belief, desire, intention)是当前最流行的结构,本文也以这种结构为基础。 BDI结构的思想起源于哲学,使用形式逻辑定义信念、愿望、意图三个心理状态,目前有许多系统采用这种结构来实现,例如 JAM和JACK等,最著名的BDI结构是过程推理系统(PRS)[3] 。该结构基于四种重要的数据结构,即信念、愿望、意图、计划。在PRS系统中, 信念代表一个掌握的关于环境的信息,目标即代表分配给的任务;意图代表已经开始着手去去完成的目标。 解释器控制着这四种数据结构。最后,它根据当前的所有意图和过程知识选择一个要开始的行为。

分层的结构又称混合结构,该结构可分为水平分层结构和垂直分层结构。在水平分层结构中,每一层都直接和感应输入和行为输出相联,该结构的优点是设计简单,对于一个需要n个不同行为的来说,只要n层;它的缺点是层之间的行为可能不协调,且层之间的交互太多。垂直分层结构解决了水平分层结构的缺点,它只有一个输入和输出,这种结构的主要优点是层与层之间的交互大为减少,它的缺点是层与层之间相互依赖,一旦某层发生问题,整个系统便不能使用。

2 辩论系统

2.1 系统模型

辩论系统最基本的组成部分是对话模型。本辩论系统采用的对话模型以“DC”正规辩论系统模型为基础,系统中有两个参与者,每个参与者都有一个承诺库, 用来存放参与者说过的或接受的声明。在辩论过程中可以从承诺库中添加或删除承诺,有一系列规则规定每个参与者的辩论时的动作,每个参与者辩论的动作类型有声明、提问、反驳、收回和澄清,每种动作类型描述如下:

1)声明,即陈述语句;

2)提问,对对方的声明提出问题;

3)反驳,对对方观点进行反问;

4)收回,对自己曾经的声明没有足够的论据支持,只能收回声明;

5)澄清,要求对方进一步说出支持其声明的论据。

2.2 承诺规则

辩论双方都有自己的承诺库,每个承诺库包含两种类型的列表,即断言语句列表和让步语句列表。断言列表指的是辩论者曾明确声明过的语句列表,让步列表指的是辩论者隐含接受的语句列表,例如对方提出的一个声明而自己没有明确提出反对。

承诺规则如下:

1)最初承诺,用CR0表示:辩论双方的最初承诺都为空;

2)收回,用CRW 表示:如果辩论某方收回自己的声明,则该声明从它的承诺库中删除;

3)声明,用CRS表示:在辩论某方提出一个声明后,如果对方之前的语句不是反驳,则将该声明加入到自己的断言语句列表中,同时加入对方的让步语句列表中;

4)辩护,CRYS表示:在一个声明提出后,如果之前对方提出的是反驳,则将该语句加入到自己的断言语句列表中,同时加入对方的让步语句列表中;

5)反驳,用CRY来表示,对对方声明的反驳后,如果自己的库中存在该声明,则将该声明删除。

2.3 系统结构

本系统采用技术来实现,系统有五个:接口、对话、承诺、计划和知识库。

接口为用户提供一个与系统交互的接口,输入设施为用户提供输入辩论语句类型和内容的功能,以及帮助信息等功能对话的组成部分:输入管理、对话管理、裁判和输出管理。输入管理为用户的输入提供支持,它同时把输入传送给对话管理。

计划负责组织系统的辩论,它根据知识库,系统当前承诺库和对话规则的状态来产生自己的辩论语句,是系统的“指挥者”。

承诺负责更新计算机和用户的承诺库,它由一个承诺管理和两个承诺库组成,承诺库分为系统承诺库和用户承诺库。每个承诺库都有两个声明列表,即声明语句列表和让步语句列表,为了区分这两类型的语句列表,在系统运行窗口中,我们在让步语句前加“*”号。

知识库有一个知识库管理和两个内容相反的知识库,当辩论开始时,对话管理将根据用户选择的观点让知识库选择一个合适的知识库以便与用户辩论,每个知识库对应着一种计算机的论点(观点),例如,用户选择“研究生扩招是不可行的”,计算机将选择相反的观点即“研究生扩招是可行的”,这里知识库选择支持“研究生扩招是可行的”观点的知识库来与用户辩论,反之亦然。

2.4 系统实现

实现多系统的平台有很多,本文选择现在日趋成熟并且使用最为广泛的JADE平台,JADE是基于Java 语言的分布式多开发和运行环境,使用该平台实现多系统比较方便[4]。

3 结论

如何构建一个高智能的、方便使用的辩论系统是一项复杂而艰巨的任务,多技术的出现为解决这个问题提供了一个有效的解决方法,进一步工作将围绕策略的制定以及如何选择特定的辩论策略展开,使辩论系统具有更高的智能。

参考文献

[1]Genesereth,M.R.and Ketchpel,S.P.Software Agents[J].Communications of the ACM,1994,37(7):48-53.

[2]Huber,M.JAM:A BDI-Theoretic Mobile Agent Architecture. In Proceedings of the 3rd International Conference on Autonomous Agents,1999:236-243,New York,NY.

[3]Howden,N.,Ronnquist,R.,Hodgson,A.and Lucas,A.JACK Intelligent Agents Summary of an Agent Infrastructure. In Proceedings of the 5th International Conference on Autonomous Agents,2001.

[4]JADE(Java Agent DEvelopment Framework).http://jade.省略/doc/html/intro.htm,2012.