Prolog Technology Reinforcement Learning Prover.
Zsolt ZomboriJosef UrbanChad E. BrownPublished in: CoRR (2020)
Keyphrases
- reinforcement learning
- theorem proving
- logic programming
- function approximation
- state space
- programming language
- machine learning
- rapid development
- multi agent
- expert systems
- mobile devices
- key technologies
- cost effective
- data processing
- real time
- case study
- knowledge base
- artificial intelligence
- learning algorithm
- data sets