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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论