·906· 智能系统学报 第10卷 库K,C,读取领域本体K,、领域规则K和领域应用 2.3利用拓展分析研究自适应目标分解与服务聚 K,的相关知识并写入到信念库K,完成初始化任 集机制 务。其可拓语义是： 由于自适应软件是由自适应软件实体构成的， C3Aom(C1Aad(K1,K3,K）.C2AmK2） 可以利用对自适应软件实体的拓展分析研究自适应 2)环境Ev产生变化事件E通过接口I3输入 软件的演化。以上述基元网表示的自适应软件实体 到事件队列E。其可拓语义是： 为例，利用相关分析构成基元相关网，利用发散分析 构成基元发散网，利用蕴含分析构成基元的蕴含网， Env ApdceEAAE 利用可扩分析构成基元可扩网。 3)解释器C3控制事件管理器C,按优先级读取 例如，服务实体都具有同一个特征元（服务提供 事件队列E的首个事件e,按照构件的当前认知K2, 接口，S),根据“一征多物”的发散分析，由基元S= 采用菱形思维推理，转化为响应该事件的目标G。 (Services,Pro-Service,PS)可以得到一个表达“提 其可拓语义是： 供相同服务”的发散网： C3 A contro(C2Aead(E,K2）.C2 A chombus（e,K2）.C2AeG) S=(Service,Pro-Service,S2)-I 4)解释器C3控制目标管理C4读取目标库G, S;=(Servicei,Pro-Service,S2),i=1,2,.,n 按照构件的当前认知，采用菱形思维推理，分解目标 再如，服务实体与服务接口之间存在联接相关 为子目标$G构成的目标树。目标分解与分派也可 性，构成基元相关网：S~j,ij=1,2,…,n。 能产生内部消息E。其可拓语义是： 自适应智能服务构件的目标分解可以构成基元 C3(Ca AG.C4 Aous（g,Kz）.CaARSG 蕴含网，叶目标与实现叶目标的服务之间也可以构 成基元蕴含网。蕴含树表达了目标和服务之间的蕴 (i=1,2,.,n)I SGi ApmducteE) 含关系，实现目标有3种服务类型：组合服务(Com- 5)解释器C3控制服务管理器C读取目标树， Service)、提供服务(Pro-Service)和请求服务(Req 按照构件的当前认知，发现、聚集服务S,去实现目 Service)。图3表示目标分解及服务实现的蕴含网。 标树的每一个叶子目标。服务动态聚集也可能产生 SubGoal =Pro-Service, 内部消息E。其可拓语义是： Pro-Service, C3 A(Cs ASGCs AimdCs AS SubGoal,,-Com-Service Pro-Service, Req-Service (i=1,2...n)I S,ApmduceE) SubGoal, SubGoal-SubGoall Pro-Service5 6)解释器C3控制规划管理器C6读取聚集的服 务集合S,按照每一个叶子目标实现的先后顺序组 SubGoal =Pro-Service 成规划序列P:,封装到规划库P中。规划动态排序 也可能产生内部消息E。其可拓描述语义是： SubGoalze Pro-Sevice, SubGoal,-Pro-Services C3 A(Co ACo AeSCo A(SP) SubGoal. SubGoal,ePro-Service Goal (i=1,2,…,n)P AproducteE) 7)解释器C;控制执行器C,读取规划库P,按 SubGoal,Req-Service, 照规划序列执行Pi。其可拓语义是： SubGoal Pro-Service C3 A(C AP.CA Pi,i=1,2..n) Pro-Service 8)执行规划P通过输出接口I,去影响环境 SubGoal Com-Service,+Pro-Service Env,环境Env将产生新的变化事件E通过输入接 Pro-Service SubGoal. 口13进入消息队列E。其可拓语义是： SubGoal SubGoaln-Pro-Service C Aem(Pi,i=1,2..n). SubGoal =Req-Service, CAAEnv AAE 9)解释器C3重新执行3。 图3目标分解及服务实现的蕴含网 如此反复，形成感知监控-目标分解-服务聚集- Fig.3 Goal Tree Services Implement 规划封装-规划执行自适应循环链。库 Ｋ，Ｃ１ 读取领域本体 Ｋ３ 、领域规则 Ｋ１ 和领域应用 Ｋ４ 的相关知识并写入到信念库 Ｋ２ ，完成初始化任 务。 其可拓语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ１ Ａ ← ｒｅａｄ（Ｋ１ ，Ｋ３ ，Ｋ４ ）．Ｃ２ Ａ ⇀ ｗｒｉｔｅＫ２ ） ２）环境 Ｅｎｖ 产生变化事件 Ｅ 通过接口 Ｉ３ 输入 到事件队列 Ｅ。 其可拓语义是： Ｅｎｖ Ａ → ｐｒｏｄｕｃｔｅＥ Ａ → ｉｎｐｕｔ Ｉ３ Ａ → ｉｎｐｕｔＥ ３）解释器 Ｃ３ 控制事件管理器 Ｃ２ 按优先级读取 事件队列 Ｅ 的首个事件 ｅ，按照构件的当前认知 Ｋ２ ， 采用菱形思维推理，转化为响应该事件的目标 Ｇ。 其可拓语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ２ Ａ ← ｒｅａｄ（Ｅ，Ｋ２ ）．Ｃ２ Ａ → ｒｈｏｍｂｕｓ（ｅ，Ｋ２ ）．Ｃ２ Ａ ⇀ ｇｅｔＧ） ４）解释器 Ｃ３ 控制目标管理 Ｃ４ 读取目标库 Ｇ， 按照构件的当前认知，采用菱形思维推理，分解目标 为子目标 ＳＧｉ 构成的目标树。 目标分解与分派也可 能产生内部消息 Ｅ。 其可拓语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ４ Ａ ← ｒｅａｄＧ．Ｃ４ Ａ → ｒｈｏｍｂｕｓ（ｇ，Ｋ２ ）．Ｃ４ Ａ ⇀ ｇｅｔＳＧｉ （ｉ ＝ １，２，…，ｎ） ｜ ＳＧｉ Ａ → ｐｒｏｄｕｃｔｅＥ） ５）解释器 Ｃ３ 控制服务管理器 Ｃ５ 读取目标树， 按照构件的当前认知，发现、聚集服务 Ｓｉ 去实现目 标树的每一个叶子目标。 服务动态聚集也可能产生 内部消息 Ｅ。 其可拓语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ５ Ａ ← ｒｅａｄ ＳＧｉ ．Ｃ５ Ａ → ｆｉｎｄ Ｓｉ ．Ｃ５ Ａ ⇀ ａｓｓｅｍｂｌｅＳｉ （ｉ ＝ １，２，…，ｎ） ｜ Ｓｉ Ａ → ｐｒｏｄｕｃｔｅＥ） ６）解释器 Ｃ３ 控制规划管理器 Ｃ６ 读取聚集的服 务集合 Ｓｉ，按照每一个叶子目标实现的先后顺序组 成规划序列 Ｐｉ，封装到规划库 Ｐ 中。 规划动态排序 也可能产生内部消息 Ｅ。 其可拓描述语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ６ Ａ ← ｒｅａｄ Ｓｉ ．Ｃ６ Ａ → ｏｒｄｅｒＳｉ ．Ｃ６ Ａ ⇀ ｅｎｃａｐｓｕｌａｔｅ（Ｓｉ，Ｐ） （ｉ ＝ １，２，…，ｎ） ｜ Ｐ Ａ → ｐｒｏｄｕｃｔｅＥ） ７）解释器 Ｃ３ 控制执行器 Ｃ７ 读取规划库 Ｐ，按 照规划序列执行 Ｐｉ。 其可拓语义是： Ｃ３ Ａ → ｃｏｎｔｒｏｌ（Ｃ７ Ａ ← ｒｅａｄＰ．Ｃ７ Ａ → ｅｘｅｃｕｔｅＰｉ，ｉ ＝ １，２，…，ｎ） ８） 执行规划 Ｐ 通过输出接口 Ｉ４ 去影响环境 Ｅｎｖ，环境 Ｅｎｖ 将产生新的变化事件 Ｅ 通过输入接 口 Ｉ３ 进入消息队列 Ｅ。 其可拓语义是： Ｃ７ Ａ → ｅｘｅｃｕｔｅ（Ｐｉ，ｉ ＝ １，２，…，ｎ）． Ｃ７ Ａ → ｏｕｔｐｕｔ Ｉ４ Ａ → ｏｕｔｐｕｔＥｎｖ Ａ → ｉｎｐｕｔ Ｉ３ Ａ → ｉｎｐｕｔＥ ９）解释器 Ｃ３ 重新执行 ３。 如此反复，形成感知监控－目标分解－服务聚集－ 规划封装－规划执行自适应循环链。 ２．３ 利用拓展分析研究自适应目标分解与服务聚 集机制 由于自适应软件是由自适应软件实体构成的， 可以利用对自适应软件实体的拓展分析研究自适应 软件的演化。 以上述基元网表示的自适应软件实体 为例，利用相关分析构成基元相关网，利用发散分析 构成基元发散网，利用蕴含分析构成基元的蕴含网， 利用可扩分析构成基元可扩网。 例如，服务实体都具有同一个特征元（服务提供 接口，Ｓｉ），根据“一征多物”的发散分析，由基元 Ｓｉ ＝ （Ｓｅｒｖｉｃｅｓ， Ｐｒｏ⁃Ｓｅｒｖｉｃｅ， ＰＳ） 可以得到一个表达“提 供相同服务”的发散网： Ｓ ＝ （Ｓｅｒｖｉｃｅ，Ｐｒｏ⁃Ｓｅｒｖｉｃｅ，Ｓ２ ） －｜ Ｓｉ ＝ （Ｓｅｒｖｉｃｅｉ，Ｐｒｏ⁃Ｓｅｒｖｉｃｅ，Ｓ２ ），ｉ ＝ １，２，…，ｎ 再如，服务实体与服务接口之间存在联接相关 性，构成基元相关网： Ｓｉ ～ Ｉｊ，ｉ，ｊ ＝ １，２，…，ｎ 。 自适应智能服务构件的目标分解可以构成基元 蕴含网，叶目标与实现叶目标的服务之间也可以构 成基元蕴含网。 蕴含树表达了目标和服务之间的蕴 含关系，实现目标有 ３ 种服务类型：组合服务（Ｃｏｍ⁃ Ｓｅｒｖｉｃｅ）、提供服务（ Ｐｒｏ⁃Ｓｅｒｖｉｃｅ） 和请求服务（Ｒｅｑ⁃ Ｓｅｒｖｉｃｅ）。 图 ３ 表示目标分解及服务实现的蕴含网。 图 ３ 目标分解及服务实现的蕴含网 Ｆｉｇ．３ Ｇｏａｌ Ｔｒｅｅ ＆ Ｓｅｒｖｉｃｅｓ Ｉｍｐｌｅｍｅｎｔ ·９０６· 智 能 系 统 学 报 第 １０ 卷