基于fipa-acl-sl的fms多智能体调度系统.docVIP

基于FIPA-ACL/SL的FMS多智能体调度系统 提出具有开放性的基于多智能体体系结构的调度框架，实现柔性制造系统的动态调度系统。系统中的个体智能体可根据实际需要进行增加、删减、修改，有利于系统的优化配置。另外采用FIPA规范的ACL/SL作为智能体系统的通信原语，并给出合同网交互协议的时序图和原语实例。 用多智能体系统进行分布式问题求解时，集成在一个系统中的智能体彼此之间必须能通信和协作，通信是协作的基础。目前国际上主要的智能体消息语言有ACL和KQML这两种，语义语言有SL和KIF这两种。KQML和KIF是美国ARPA的知识共享计划[1]提出的，曾经一度成为最通用的智能体通信语言。而ACL和SL是由智能物理主体基金(Foundation for Intelligent Physical Agents，FIPA)提出的，现已成为大多数开发平台的智能体通信语言。柔性制造系统(Flexible Manufacturing System，FMS)的调度问题是FMS能否实现其设计初衷的重要问题之一，而FMS调度问题的复杂性、不确定性使得多智能体系统实现其动态调度具有相对的优势[3’4]。为此本文提出了FMS多智能体调度系统，并以招标/投标过程为例设计其FIPA-ACL及FIPA-SL通信语言，实现智能体之间的交互。 1 多智能体系统及FIPA通信语言 1.1 多智能体系统的特征 智能体(Agent)是处在某个环境中的计算机系统，该系统有能力在这个环境中自主行动以实现其设计目标[2]。多智能体系统(Multi-agent System，MAS)是通过某种协议而松散联系的智能体形成的网络，各智能体之间互相协作和协调，共享知识和信息，解决单个智能体不能处理的问题。MAS具有以下特点：①每个智能体只拥有部分的、不完备的信息或者只具有求解部分问题的能力，因此每个智能体的能力是有限的；②多智能体系统没有一个全局的控制系统；③数据是分散处理和存储的；④能够实现异步计算。而智能体之间要实现协作，个体之间必须以一种能够互相理解的语言(智能体语言)进行交互，因此智能体语言的设计是实现多智能体系统的重要内容。 1.2 FIPA-ACL与FIPA-SL 用多智能体系统进行分布式问题求解，集成在一个系统中的智能体彼此之间必须能通信和协作，通信是协作的基础。 在叙述以下内容之前，先明确几个概念：①消息(message)：智能体问通信的载体；②消息内容(content)：消息的一个参数，用以说明消息所要表达的内容；③通信语言(或消息语言)：用于表示消息的语言，如ACL和KQML；④语义语言：用于表示消息内容的语言，如SL和KIF。 图1为一个智能体消息的ACL格式。 图1 ACL消息格式 由图1可以看出，ACL消息包含一组参数(一个或多个)。消息以一对括弧作为起止标记。消息的第一个参数是通信动作(Communicative Act，CA)类型，在本例中为“inform”，通信动作类型这个参数是必不可少的，它表明了这个消息的基本类型。其余的参数的取舍根据实际情况而定，且必须以冒号“：”开头，中间无空格。其中参数content包含用某种语言编码的消息内容。其他参数用于消息传输服务正确传递消息(如sender，receiver)，或帮助接收者解释消息含义(如language，ontology)，或者帮助接收者能更合作地回复(如reply-with，reply-by)。更多的消息参数参见表1。 表1 FIPA-ACL消息参数 在FIPA规范中，通信动作类型有一个库，包含着FIPA规范的所有通信动作类型的定义[5]，常用的通信动作类型见表2。 表2 FIPA通信动作类型 如果说ACL为人的发音系统，那么SL则为能够使人们相互理解的语言。语义语言可以用来表达ACL消息的内容，一般用于以下三种情形：①命题(Proposition)：用于inform通信动作及其派生动作；②动作(Act)：动作可以是单个动作，也可以是由顺序或选择算子连接的合成动作。当动作是request及其他派生动作，一个动作可以被作为内容表达式；⑧确定的参考表达式(An identifying reference expression)：确定域内的对象。用于inform-ref及其派生活动。 其他有效的内容表达式都可以从以上三个基本点合成。而一般用原子式[6]、完型表达式[6]和参考算子[6]表示以上三种情形。 消息内容表达式是智能体之间传递信息的核心内容，只有规范内容表达式的格式，智能体才能正确识别接收到的信息。除了标准原子式以，还可以根据需要自定义一些原子式，这时必须有“：language”这个消息参数，而消息内容中所用的词语