Keyphrases
- reinforcement learning
- function approximation
- state space
- knowledge base
- logic programming
- machine learning
- robotic control
- consistency checking
- query answering
- markov decision processes
- optimal policy
- multi agent
- plan recognition
- model free
- background knowledge
- explanation based learning
- reinforcement learning algorithms
- learning problems
- abductive reasoning
- learning algorithm
- temporal difference
- optimal control
- action selection
- markov decision process
- theorem proving
- learning agents
- constraint logic programming
- proof procedure
- belief updating
- data sets