协作系统的问题形式化.pdfVIP

‘中国控铡会议论文集)．595·599 1998年9月16．22日，浙江宁渡 协作系统的问题形式化+ 刘立骐 吴启迪 上海同济大孝电气工程系，200092 摘要：问题形式化是协作系皖的基拳研究课题，它是系统设计者设计系统的指导，又是 一 系统内智能实体动态地规划、自构系统的基础。本支详细讨论了问题形式化技 术， 即问题描逆、分解和分配三阶段的主要原则和方法． 关键词：协作系统，问题描连，问题分解、问题分配 一、引言 为了解决复杂问题，常常需要多个智能实体交互以共同完成问题求解，这就是济作。 协作问题求解是多个学科领域的研究主题，如分布式智能控制、DAI等。这些领域通过把 协作的机理引入到系统设计，尝试通过交换目标、计划和知识，产生联台行动．以提高整 体求解的效率和质量。大量工程领域的应用结果是令人鼓舞的，证实了其高度的科学价值 和潜力。 近年来，协作系统在研究开发领域已经引起了越来越多的兴趣。协作系统的研究包 含了许多不同的理论、技术及关注的焦点。目前在}办作策略、通讯机制、冲突消解机制、 知识转换和通讯等方面研究较为成熟．开发出一系列理论成果。如合同网方法、FA／C、多 智能体规划等协作策略、KIF知识转换格式、协商、仲裁等冲突消解策略。另一些研究集 协作系统的应用极其广泛，典型的应用如交通控制、I-．业过程控制、柔性制造、网络通信、 电力系统的分布式智能控制系统以及军事、医疗、气象预；剐等领域的坍作专家系统。 尽管协作的概念得到了广泛的接受，而一些基本问题至今来得到很好解决，如问题／ 任务的自动描述、分解和分配。问题形式化是协作系统的基本研究问题，它是系统设计者 设计系统的指导，又是系统内智能实体动态地规划、自构系统的基础，研究地位是极为重 要的。本文详细讨论问题形式化技术，即问题描述、分解和分配三阶段的主要原则和方法。 二、问题形式化技术的发展概况 ’圃家自然科学基金资助项目。 协作系统的目标在于经由人和机器智能体之间的协作，进而帮助工作空间作为一个整 体更：茸效率地完成任务…。要协作求解复杂问题．第一步要对问题进行形式化处理e需 问题建模、建构、分解并按最佳分布原则分配，它包括问题描述、问题分解和问题分配三 阶段。 问题形式化技术主要有两方面的目的：～是指导系统设计者去设计系统，帮助设计者 理懈问题域和环境的特征。设计整个系统的结构，以及协作和通讯的策略；另一方面是用 作系统本身的输入，即作为蛔划智能体内嵌的元知识，以实现动态情况下的启发式地自主 规划和自构系统。协作系统的一个目标就是能动态地自构系统，以适应环境的变化，而勿 需用户的输入及重新设计，这样系统就必须具有自我推理能力。f21 对问题形式化的研究最初发端于人工智能领域，人工智能的代表人物Newelt和Simon 提越了问题求解的基本过程： (1)对一个给定的问题P进行抽象； f2)求解这个抽象问题P’； (3)将P分解成基于抽象问题P的解得中间问题序列{PI}； (4)连接中间问题序列{P，)的解得到问题P的解。 Nilsson提出商闽题(quotientproblem)作为抽象问题的数学模型，商问题的解给出了原 问题的关键操作(key．operator)，利用关键操作可将原问题分解为一系列的中间问题，利用 差(difference)对中间问题加以限制，使分解后的中间问题相对比较简单。这些方法一定程 度上降低了问题分解的难度。 以后随着DAI的兴起，问题，任务的描述、分解和分配重新成为研究的热点。S．DBirdand O．M．Kasper进行了深入的研究，得出了很多有益的成果，他们提出了适于协作的问题类 型和有效设计台作系统的啜则，认为问题形式化技术应包括问题的建模、结构化、分解和 分配．并探讨了各阶段的适用技术方法。另外．Band和Gasser等人也作了很多有价值的 ：[作。 本文的探讨建立在这些工作的基础上，对问题描述、分解和分配三阶段的主要原则和 ：疗法进行了总结，并结台了D