安雪妹
- 作品数:3 被引量:2H指数:1
- 供职机构:北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室更多>>
- 发文基金:北京市教委科技计划面上项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 扩展的加权约束逻辑程序在产品配置中的应用被引量:1
- 2012年
- 为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.
- 王洁安雪妹刘椿年
- 关键词:逻辑程序产品配置
- 扩展的加权约束逻辑程序及其在产品配置中的应用
- 当前,逻辑程序设计已经成为人工智能领域知识表示和推理的一种重要工具。其中回答集编程是一种描述性的问题解决框架,是国际上一个非常活跃的研究方向。加权约束逻辑程序是回答集程序的一种重要形式。
Soininen等人提出了...
- 安雪妹
- 文献传递
- 基于加权定量方法的产品配置解优化
- 2010年
- 加权逻辑程序可以很好地表示产品配置知识,在程序有解的情况下,可以很快地计算出产品配置问题的配置解。实际上,由于客户不了解领域知识,或者需求超出产品的配置范围等原因,客户所提出的需求往往不能完全被满足,造成程序无解。为了在无解情况下,找到最接近用户需求的最满意解,本文以加权逻辑程序为基础,提出了一种定量的优先关系,方便而简洁地给出了最满意解方案,并与相关的工作进行比较。
- 安雪妹张燕燕王洁刘椿年
- 关键词:产品配置优化解