扩展的加权约束逻辑程序在产品配置中的应用  

Extended Weight Constraint Logic Programs Application in Product Configuration

作　　者：王洁[1] 安雪妹[1] 刘椿年[1] 

机构地区：[1]北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室,北京100124

出　　处：《北京工业大学学报》2012年第1期90-94,共5页Journal of Beijing University of Technology

基　　金：北京市教育委员会科研计划资助项目(JC007011200904)

摘　　要：为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.To express the complex form of product configuration knowledge,this paper proposes an extended weight constraint logic programming language,which is based on the weight constraint logic program,extending the head of the rule to the form of disjunctive constrain,and its stable model semanteme is also obtained.The new logic program has more powerful expressiveness and reasoning ability;however,it does not increase the computational complexity.Finally,an example of computer configuration is used to discuss the extended weight constraint logic programm in the application of product configuration.

关 键 词：加权约束 逻辑程序 稳定模型 产品配置 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]