一种可扩展型CLP系统的统一建模方法

摘要

约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题.这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统.为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图.在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容.最后在描述系统结构后,提出了可扩展的内容.根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器.