Automated Reasoning for Reinforcement Learning Agents in Structured Environments.
Alessandro GianolaMarco MontaliMatteo PapiniPublished in: OVERLAY@GandALF (2021)
Keyphrases
- automated reasoning
- structured environments
- reinforcement learning agents
- dynamic environments
- stereo vision
- reinforcement learning
- autonomous vehicles
- knowledge representation
- state abstraction
- probabilistic reasoning
- theorem prover
- theorem proving
- transfer learning
- multi agent
- multi agent environments
- path planning
- markov decision processes
- learning algorithm
- autonomous agents
- artificial neural networks
- expert systems
- knowledge base