| 一种可扩展型CLP系统的统一建模方法 |
| |
| 引用本文： | 易军凯,翟性泉,王雪晶.一种可扩展型CLP系统的统一建模方法[J].计算机工程与应用,2004,40(30):116-119. |
| |
| 作者姓名： | 易军凯 翟性泉 王雪晶 |
| |
| 作者单位： | 1. 北京化工大学信息科学与技术学院,北京,100029
2. 海军后勤装备技术研究所,北京,101200 |
| |
| 摘 要： | 约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。
|
| 关 键 词： | 约束逻辑程序设计 数学建模 搜索引擎 搜索求解器 |
| 文章编号： | 1002-8331-(2004)30-0116-04 |
Modeling for Extended Constraint Logic Programming |
| |
| Yi Junkai,Zhai Xingquan,Wang Xuejing.Modeling for Extended Constraint Logic Programming[J].Computer Engineering and Applications,2004,40(30):116-119. |
| |
| Authors: | Yi Junkai Zhai Xingquan Wang Xuejing |
| |
| Affiliation: | Yi Junkai1 Zhai Xingquan2 Wang Xuejing11 |
| |
| Abstract: | |
| |
| Keywords: | extended constraint logic programming modeling search engine search solver |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
