A system for the use of answer set programming in reinforcement learning

Matthias Nickles

doi:10.1007/978-3-642-33353-8_40

A system for the use of answer set programming in reinforcement learning

Matthias Nickles

Technical University Munich

Research output: Chapter in Book or Conference Publication/Proceeding › Conference Publication › peer-review

2 Citations (Scopus)

Abstract

We present the software system QASP which integrates Reinforcement Learning (RL) with Answer Set Programming (ASP). Our framework allows for the ASP-based representation, computation and constraining of states and actions (and other events), and for the use of AnsProlog for the specification of action- and event-calculi and background knowledge for RL.

Original language	English
Title of host publication	Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
Pages	488-491
Number of pages	4
DOIs	https://doi.org/10.1007/978-3-642-33353-8_40
Publication status	Published - 2012
Externally published	Yes
Event	13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse, France Duration: 26 Sep 2012 → 28 Sep 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7519 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th European Conference on Logics in Artificial Intelligence, JELIA 2012
Country/Territory	France
City	Toulouse
Period	26/09/12 → 28/09/12

Keywords

Answer Set Programming
Logical Planning
Relational Reinforcement Learning
Satisfiability Checking
Statistical Relational Learning

Access to Document

10.1007/978-3-642-33353-8_40

Cite this

Nickles, M. (2012). A system for the use of answer set programming in reinforcement learning. In Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings (pp. 488-491). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7519 LNAI). https://doi.org/10.1007/978-3-642-33353-8_40

@inproceedings{b2b60177799f4a6fb4ada58460e75da6,

title = "A system for the use of answer set programming in reinforcement learning",

abstract = "We present the software system QASP which integrates Reinforcement Learning (RL) with Answer Set Programming (ASP). Our framework allows for the ASP-based representation, computation and constraining of states and actions (and other events), and for the use of AnsProlog for the specification of action- and event-calculi and background knowledge for RL.",

keywords = "Answer Set Programming, Logical Planning, Relational Reinforcement Learning, Satisfiability Checking, Statistical Relational Learning",

author = "Matthias Nickles",

year = "2012",

doi = "10.1007/978-3-642-33353-8\_40",

language = "English",

isbn = "9783642333521",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "488--491",

booktitle = "Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings",

note = "13th European Conference on Logics in Artificial Intelligence, JELIA 2012 ; Conference date: 26-09-2012 Through 28-09-2012",

}

Nickles, M 2012, A system for the use of answer set programming in reinforcement learning. in Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7519 LNAI, pp. 488-491, 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, Toulouse, France, 26/09/12. https://doi.org/10.1007/978-3-642-33353-8_40

A system for the use of answer set programming in reinforcement learning. / Nickles, Matthias.
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. 2012. p. 488-491 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7519 LNAI).

Research output: Chapter in Book or Conference Publication/Proceeding › Conference Publication › peer-review

TY - GEN

T1 - A system for the use of answer set programming in reinforcement learning

AU - Nickles, Matthias

PY - 2012

Y1 - 2012

N2 - We present the software system QASP which integrates Reinforcement Learning (RL) with Answer Set Programming (ASP). Our framework allows for the ASP-based representation, computation and constraining of states and actions (and other events), and for the use of AnsProlog for the specification of action- and event-calculi and background knowledge for RL.

AB - We present the software system QASP which integrates Reinforcement Learning (RL) with Answer Set Programming (ASP). Our framework allows for the ASP-based representation, computation and constraining of states and actions (and other events), and for the use of AnsProlog for the specification of action- and event-calculi and background knowledge for RL.

KW - Answer Set Programming

KW - Logical Planning

KW - Relational Reinforcement Learning

KW - Satisfiability Checking

KW - Statistical Relational Learning

UR - https://www.scopus.com/pages/publications/84866914502

U2 - 10.1007/978-3-642-33353-8_40

DO - 10.1007/978-3-642-33353-8_40

M3 - Conference Publication

AN - SCOPUS:84866914502

SN - 9783642333521

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 488

EP - 491

BT - Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings

T2 - 13th European Conference on Logics in Artificial Intelligence, JELIA 2012

Y2 - 26 September 2012 through 28 September 2012

ER -

A system for the use of answer set programming in reinforcement learning

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this