Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process.
Thiago Freitas dos SantosPaulo SantosLeonardo Anjoletto FerreiraReinaldo A. C. BianchiPedro CabalarPublished in: BRACIS (2018)
Keyphrases
- answer set programming
- markov decision process
- logic programs
- transition matrices
- answer sets
- logic programming
- state space
- reinforcement learning
- markov decision processes
- optimal policy
- stable model semantics
- causal theories
- answer set programs
- knowledge representation
- infinite horizon
- stable models
- initial state
- disjunctive logic programming
- programming language
- haplotype inference
- machine learning
- heuristic search
- higher order
- learning algorithm