Prolog Technology Reinforcement Learning Prover - (System Description).
Zsolt ZomboriJosef UrbanChad E. BrownPublished in: IJCAR (2) (2020)
Keyphrases
- reinforcement learning
- theorem proving
- function approximation
- case study
- rapid development
- high level
- expert systems
- cost effective
- logic programming
- key technologies
- knowledge representation
- computer systems
- state space
- model free
- information technology
- machine learning
- transition model
- data sets
- data processing
- programming language
- data model
- genetic algorithm