• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

王洁 (王洁.) | 安雪妹 (安雪妹.) | 刘椿年 (刘椿年.)

Indexed by:

CQVIP PKU CSCD

Abstract:

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

Keyword:

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

Author Community:

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

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Source :

北京工业大学学报

Year: 2012

Issue: 01

Volume: 38

Page: 90-94

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 7

Online/Total:866/10659854
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.