高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
扩展的加权约束逻辑程序在产品配置中的应用
作者:
收录:
摘要:
为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
2001,北京工业大学学报
1994,软件学报
2010,计算机工程与科学
2014,
来源 :
北京工业大学学报
年份: 2012
期: 01
卷: 38
页码: 90-94
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 1
归属院系:
信息学部 计算机学院
全文获取
外部链接: