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
会议日期	16-May-20
会议地点	Vancouver, BC, Canada
关键词	Logic programming
页码	376-381
英文摘要	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.
收录类别	EI
会议主办者	Artificial Intelligence Journal; Pacific Institute of the Mathematical Sciences (PIMS); Assocation of Logic Programming (ALP); Simon Fraser University; University of Calabria
会议录	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议录出版地	Germany
ISSN号	3029743
ISBN号	9783642208942
内容类型	会议论文
源URL	[http://124.16.136.157/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]. 见:11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011. Vancouver, BC, Canada. 16-May-20.