Goal-directed execution of answer set programs

Kyle Marple; Ajay Bansal; Richard Min; Gopal Gupta

doi:10.1145/2370776.2370782

Goal-directed execution of answer set programs

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta

Software Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 Scopus citations

Abstract

Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas of AI. However, none of the approaches and current implementations for ASP are goal-directed. In this paper we present a technique based on coinduction that can be employed to design SLD resolution-style, goal-directed methods for executing answer set programs.We also discuss advantages and applications of such goal-directed execution of answer set programs, and report results from our implementation.

Original language	English (US)
Title of host publication	PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming
Pages	35-43
Number of pages	9
DOIs	https://doi.org/10.1145/2370776.2370782
State	Published - 2012
Event	14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012 - Leuven, Belgium Duration: Sep 19 2012 → Sep 21 2012

Publication series

Name	PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

Other

Other	14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012
Country/Territory	Belgium
City	Leuven
Period	9/19/12 → 9/21/12

Keywords

Answer set programming
Coinduction
Goal-directed execution

ASJC Scopus subject areas

Software

Access to Document

10.1145/2370776.2370782

Cite this

Goal-directed execution of answer set programs. / Marple, Kyle; Bansal, Ajay; Min, Richard et al.
PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming. 2012. p. 35-43 (PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Marple, K, Bansal, A, Min, R & Gupta, G 2012, Goal-directed execution of answer set programs. in PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming. PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming, pp. 35-43, 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, 9/19/12. https://doi.org/10.1145/2370776.2370782

@inproceedings{cfa984f0bf9343589a91d9712c6562dd,

title = "Goal-directed execution of answer set programs",

abstract = "Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas of AI. However, none of the approaches and current implementations for ASP are goal-directed. In this paper we present a technique based on coinduction that can be employed to design SLD resolution-style, goal-directed methods for executing answer set programs.We also discuss advantages and applications of such goal-directed execution of answer set programs, and report results from our implementation.",

keywords = "Answer set programming, Coinduction, Goal-directed execution",

author = "Kyle Marple and Ajay Bansal and Richard Min and Gopal Gupta",

year = "2012",

doi = "10.1145/2370776.2370782",

language = "English (US)",

isbn = "9781450315227",

series = "PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming",

pages = "35--43",

booktitle = "PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming",

note = "14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012 ; Conference date: 19-09-2012 Through 21-09-2012",

}

TY - GEN

T1 - Goal-directed execution of answer set programs

AU - Marple, Kyle

AU - Bansal, Ajay

AU - Min, Richard

AU - Gupta, Gopal

PY - 2012

Y1 - 2012

N2 - Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas of AI. However, none of the approaches and current implementations for ASP are goal-directed. In this paper we present a technique based on coinduction that can be employed to design SLD resolution-style, goal-directed methods for executing answer set programs.We also discuss advantages and applications of such goal-directed execution of answer set programs, and report results from our implementation.

AB - Answer Set Programming (ASP) represents an elegant way of introducing non-monotonic reasoning into logic programming. ASP has gained popularity due to its applications to planning, default reasoning and other areas of AI. However, none of the approaches and current implementations for ASP are goal-directed. In this paper we present a technique based on coinduction that can be employed to design SLD resolution-style, goal-directed methods for executing answer set programs.We also discuss advantages and applications of such goal-directed execution of answer set programs, and report results from our implementation.

KW - Answer set programming

KW - Coinduction

KW - Goal-directed execution

UR - http://www.scopus.com/inward/record.url?scp=84867555714&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867555714&partnerID=8YFLogxK

U2 - 10.1145/2370776.2370782

DO - 10.1145/2370776.2370782

M3 - Conference contribution

AN - SCOPUS:84867555714

SN - 9781450315227

T3 - PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

SP - 35

EP - 43

BT - PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

T2 - 14th Symposium on Principles and Practice of Declarative Programming, PPDP 2012

Y2 - 19 September 2012 through 21 September 2012

ER -

Goal-directed execution of answer set programs

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this