CAJ | 학술논문

约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题.这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统.为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图.在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容.最后在描述系统结构后,提出了可扩展的内容.根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器.
약속추리시인공지능중주요조성부분지일,가이해결실제우화조도화규화과정중적약속구해문제.저리재해석료약속라집정서설계적원리화과정기출상,타파봉폐식약속라집정서설계계통,종연건공정상채용통일건모어언,제출일충신적개방적가확전형약속라집정서설계결구계통.위실현가확전적약속추리수색계통,인진UML건모어언중용례도、류도화협작도.재건모기출상상세설명료가확전약속라집정서설계중수학모형,수색인경화수색구동삼자간적관계이급타문내부적공작내용.최후재묘술계통결구후,제출료가확전적내용.근거확전인소,외계위만족경다적수요가확전본계통적약속과려기.