-
题名一种可扩展型CLP系统的统一建模方法
被引量：2
- 1
-
-
作者
易军凯
翟性泉
王雪晶
-
机构
北京化工大学信息科学与技术学院
海军后勤装备技术研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第30期116-119,共4页
-
文摘
约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。
-
关键词
约束逻辑程序设计
数学建模
搜索引擎
搜索求解器
-
Keywords
extended constraint logic programming,modeling,search engine,search solver
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
