主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
沈榆平,赵希顺.一个带破圈启发方法的回答集编程系统.软件学报,2008,19(4):869-878
一个带破圈启发方法的回答集编程系统
An Answer Set Programming System with Cycle Breaking Heuristic
投稿时间:2006-10-31  修订日期:2007-03-08
DOI:
中文关键词:  回答集编程  启发方法  前向搜索  逻辑程序  相变
英文关键词:answer set programming  heuristic  look-ahead  logic program  phase transition
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60573011, 10410638 (国家自然科学基金); the MOE Project of China under Grant No.05JJD72040122 (国家教育部基地重大招标项目)
作者单位
沈榆平 中山大学 逻辑与认知研究所,广东 广州 510275 
赵希顺 中山大学 逻辑与认知研究所,广东 广州 510275 
摘要点击次数: 4185
全文下载次数: 3066
中文摘要:
      回答集编程(answer set programming,ASP)是一种回答集语义下的逻辑编程范例,可应用于非单调推理,叙述式问题求解等领域.本文为ASP提出并实现了一种破圈启发方法与一种基部限制式前向搜索过程,所得到的系统称为LPS.实验结果显示,相对于其他经典的ASP系统,LPS能够有效地解决处于相变难区域中的逻辑程序,通常这些程序被认为是计算困难的.除此以外,通过使用被称为动态变元过滤(dynamic variable filtering,DVF)的技术,LPS可以在计算过程中极大地缩小搜索树的尺寸.
英文摘要:
      Answer set programming (ASP) is a logic programming paradigm under answer set semantics, which can be utilized in the field of non-monotonic reasoning and declarative problem solving, etc. This paper proposes and implements a cycle breaking heuristic and a bottom-restricted look-ahead procedure for ASP, and the resulting system is called LPS. The experimental results show that, relative to other state-of-the-art ASP systems, LPS could efficiently solve logic programs in phase transition hard-job-regions, and these programs are generally considered difficult to compute. In addition, by applying the so-called dynamic variable filtering (DVF) technique, LPS could greatly reduce the search tree size during the computation.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

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