Title: Logical Markov decision programs and the convergence of logical TD(lambda)
Authors: Kersting, Kristian ×
De Raedt, Luc #
Issue Date: 2004
Publisher: Springer-verlag berlin
Series Title: Inductive logic programming, proceedings vol:3194 pages:180-197
Abstract: Recent developments in the area of relational reinforcement learning (RRL) have resulted in a number of new algorithms. A theory, however, that explains why RRL works, seems to be lacking. In this paper, we provide some initial results on a theory of RRL. To realize this, we introduce a novel representation formalism, called logical Markov decision programs (LOMDPs), that integrates Markov Decision Processes (MDPs) with Logic Programs. Using LOMDPs one can compactly and declaratively represent complex MDPs. Within this framework we then devise a relational upgrade of TD(lambda) called logical TD(lambda) and prove convergence. Experiments validate our approach.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science