主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第8期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
赖永,刘大有.一种有效的分层加权库编译方法.软件学报,2012,23(10):2550-2563
一种有效的分层加权库编译方法
Efficient Compilation Approach on Stratified Weighted Bases
投稿时间:2011-08-30  修订日期:2012-01-17
DOI:10.3724/SP.J.1001.2012.04194
中文关键词:  偏好  惩罚逻辑  分层加权库  知识编译
英文关键词:preference  penalty logic  stratified weighted base  knowledge compilation
基金项目:国家自然科学基金(61133011, 61170092, 60973088, 60873149); 吉林大学研究生创新基金(20111060)
作者单位E-mail
赖永 吉林大学计算机科学与技术学院, 吉林长春 130012
符号计算与知识工程教育部重点实验室(吉林大学), 吉林长春 130012 
 
刘大有 吉林大学计算机科学与技术学院, 吉林长春 130012
符号计算与知识工程教育部重点实验室(吉林大学), 吉林长春 130012 
dyliu@jlu.edu.cn 
摘要点击次数: 2089
全文下载次数: 2379
中文摘要:
      提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信息,并提出两种优化技术提高时间效率.该方法与现有方法相同,当软约束权值改变时无需重新编译.选择 ROBDD 为目标语言,使用随机问题对该方法进行测试.结果表明:对于非分层加权库,该方法的空间效率高于已存在方法;对于分层加权库,该方法的时间和空间效率均高于已存在方法,且当层数越多时,该方法的效率越高.
英文摘要:
      To be in accordance with the thinking habits of human and improve the efficiency of reasoning, thisstudy argues to stratify weighted bases. The study shows that the existing compilation approach to non-stratifiedweighted bases can also be applied to COMPILE stratified weighted bases; however, its time and space costs arerelatively high because of redundant information in the compilation results. The paper proposes a novel compilationapproach, which can remove the redundant information in the process of compilation, and presents two optimizationtechniques to further improve the time efficiency. As with the existing approach, re-compiling a stratified weightedbase is not required whenever the weights associated with soft constraints change with time. The approach is testedby compiling random instances into ROBDD-normal bases, and the preliminary experimental results show that thetime and space costs of this approach are lower than the existing approach for most instances.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利