为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.%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.
展开▼
