Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi.
Fredrik RømmingJens OttenSean B. HoldenPublished in: AReCCa@TABLEAUX (2023)
Keyphrases
- markov decision processes
- finite state
- state space
- optimal policy
- dynamic programming
- reinforcement learning
- policy iteration
- decision theoretic planning
- reinforcement learning algorithms
- planning under uncertainty
- model based reinforcement learning
- factored mdps
- partially observable
- real time dynamic programming
- transition matrices
- finite horizon
- modal logic
- average cost
- average reward
- reachability analysis
- linear logic
- risk sensitive
- state abstraction
- least squares
- infinite horizon
- markov decision process
- decision processes
- action space
- decision diagrams
- fuzzy numbers
- state and action spaces
- action sets
- markov decision problems
- semi markov decision processes
- multistage