1 / 11

Compiling ASP into Event-Driven Action Rules

Compiling ASP into Event-Driven Action Rules. Neng-Fa Zhou (CUNY) Yi-Dong Shen (CAS) Jia-Huai You (U. Alberta). Background and Motivation. ASP is a powerful modeling language Elegant for knowledge-intensive problems Most ASP systems require grounding Grounding may take time

don
Download Presentation

Compiling ASP into Event-Driven Action Rules

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Compiling ASP intoEvent-Driven Action Rules Neng-Fa Zhou (CUNY) Yi-Dong Shen (CAS) Jia-Huai You (U. Alberta) LPNMR'11 (Zhou&Shen&You)

  2. Background and Motivation • ASP is a powerful modeling language • Elegant for knowledge-intensive problems • Most ASP systems require grounding • Grounding may take time • The resulting grounded program may be too large to be stored and processed efficiently • Bottom-up iterative approach • GASP and ASPeRiX LPNMR'11 (Zhou&Shen&You)

  3. Preparation • The stratified part is completely evaluated using tabling • For the unstratified part, three sets are used • IN: contains tuples that are known to be true • OUT: contains tuples that are known to be false • PIN: contains tuples that are assumptively true LPNMR'11 (Zhou&Shen&You)

  4. The Procedure LPNMR'11 (Zhou&Shen&You)

  5. Propagation LPNMR'11 (Zhou&Shen&You)

  6. Encoding Relations • Encoding domains • p(L1..U1,L2..U2,…,Ln..Un) • [INp ,OUTp ] :: 0..S1*…*Sn+1 • where Si = Ui-Li+1 • Encoding tuples • p(a1,a2,…,an) is encoded as Cn where • C1 = (a1-L1) • Ci = Ci-1*Si+(ai-Li) LPNMR'11 (Zhou&Shen&You)

  7. Primitives and Events • add_tuple(S,p(a1,a2,…,an)) • Exclude the code for p(a1,a2,…,an) from S • Iterators • foreach(p(A1,…,An) in S, …) • Event • tuple_added(S, p(a1,a2,…,an)) LPNMR'11 (Zhou&Shen&You)

  8. Action Rules Agent, Condition, {EventSet} => Action • Agentp(X1,…,Xn) • Condition • Inline tests (e.g., var(X),nonvar(X),X==Y,X>Y) • EventSet • event(X,O) -- a general form event • ins(X) -- X is instantiated • Action • Same as a clause body LPNMR'11 (Zhou&Shen&You)

  9. Encoding Propagation p(X,Z) :-q(X,Y),r(Y,Z) • Right-to-feft • Left-to-right LPNMR'11 (Zhou&Shen&You)

  10. Performance Evaluation ASP2AR – B-Prolog, Hand-compiled GASP – SICStus-Prolog LPNMR'11 (Zhou&Shen&You)

  11. Conclusion • ASP2AR is one giant step forward from GASP • In general, ASP2AR is still not competitive with Clasp or CLP(FD) • Another giant step is needed to make non-grounding approach competitive LPNMR'11 (Zhou&Shen&You)

More Related