The Independence of Markov's Principle in Type Theory.
Thierry CoquandBassel MannaaPublished in: CoRR (2016)
Keyphrases
- conditional independence
- theoretical framework
- markov chain
- general theory
- structural risk minimization
- probability theory
- theoretical basis
- data structure
- multi agent
- multiscale
- bayesian networks
- real world
- dependence structure
- formal theory
- markov processes
- decision trees
- image sequences
- multiple types
- decision theory
- markov model
- theoretical foundation
- reinforcement learning
- random variables
- computational model
- learning environment