Compiling Answer Set Programs into Event-Driven Action Rules

No Thumbnail Available
File version
Author(s)
Zhou, Neng-Fa
Shen, Yi-Dong
You, Jia-Huai
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2011
Size
File type(s)
Location
License
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.

Journal Title

Lecture Notes in Computer science

Conference Title
Book Title
Edition
Volume

6645

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Artificial Intelligence and Image Processing not elsewhere classified

Persistent link to this record
Citation
Collections