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