论文部分内容阅读
设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体Agent代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。