Institutional Repository
| compiling answer set programs into event-driven action rules | |
| Zhou Neng-Fa; Shen Yi-Dong; You Jia-Huai | |
| 2011 | |
| Conference Name | 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 376-381 |
| Conference Date | 16-May-20 |
| Conference Place | Vancouver, BC, Canada |
| Indexed Type | EI |
| Publish Place | Germany |
| ISSN | 3029743 |
| ISBN | 9783642208942 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Logic Programming |
| Sponsorship | Artificial Intelligence Journal; Pacific Institute of the Mathematical Sciences (PIMS); Assocation of Logic Programming (ALP); Simon Fraser University; University of Calabria |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14339 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| compiling answer set（129KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment