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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dzeroski, S., De Raedt, L., Blockeel, H.: Relational Reinforcement Learning. In: Procs. ICML 1998. Morgan Kaufmann (1998)
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Communications 24(2) (2011)
Nickles, M.: Integrating Relational Reinforcement Learning with Reasoning about Actions and Change. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds.) ILP 2011. LNCS (LNAI), vol. 7207, pp. 255–269. Springer, Heidelberg (2012)
Driessens, K., Ramon, J.: Relational Instance Based Regression for Relational Reinforcement Learning. In: Procs. ICML (2003)
Croonenborghs, T., Ramon, J., Bruynooghe, M.: Towards Informed Reinforcement Learning. Procs. In: Workshop on Relational Reinforcement Learning at ICML 2004 (2004)
Van Otterlo, M.: The Logic of Adaptive Behavior. IOS Press, Amsterdam (2009)
Rodrigues, C., Gerard, P., Rouveirol, C.: Relational TD Reinforcement Learning. In: Procs. EWRL 2008 (2008)
Kim, T.-W., Lee, J., Palla, R.: Circumscriptive Event Calculus as Answer Set Programming. In: Procs. IJCAI 2009 (2009)
Niemelä, I., Simons, P.: Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)
Giunchiglia, E., Lierler, Y., Maratea, M.: Answer Set Programming based on Propositional Satisfiability. Journal of Automated Reasoning (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nickles, M. (2012). A System for the Use of Answer Set Programming in Reinforcement Learning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)