compiling answer set programs into event-driven action rules

	compiling answer set programs into event-driven action rules
	Zhou Neng-Fa; Shen Yi-Dong; You Jia-Huai
	2011
会议名称	11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	376-381
会议日期	16-May-20
会议地点	Vancouver, BC, Canada
收录类别	EI
出版地	Germany
ISSN	3029743
ISBN	9783642208942
部门归属	(1) CUNY Brooklyn College and Graduate Center, United States; (2) Institute of Software, Chinese Academy of Sciences, China; (3) Department of Computing Science, University of Alberta, Canada
摘要	This paper presents a compilation scheme, called ASP2AR, for translating ASP into event-driven action rules. For an ASP program, the generated program maintains a partial answer set as a pair of sets of tuples (called IN and OUT) and propagates updates to these sets using action rules. To facilitate propagation, we encode each set as a finite-domain variable and treat additions of tuples into a set as events handled by action rules. Like GASP and ASPeRiX, ASP2AR requires no prior grounding of programs. The preliminary experimental results show that ASP2AR is an order of magnitude faster than GASP and is much faster than Clasp on benchmarks that require heavy grounding. © 2011 Springer-Verlag Berlin Heidelberg.
关键词	Logic Programming
主办者	Artificial Intelligence Journal; Pacific Institute of the Mathematical Sciences (PIMS); Assocation of Logic Programming (ALP); Simon Fraser University; University of Calabria
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/14339
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zhou Neng-Fa,Shen Yi-Dong,You Jia-Huai. compiling answer set programs into event-driven action rules[C]. Germany,2011:376-381.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
compiling answer set（129KB）			开放获取	--	请求全文