Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.
Alejandro AguirreGilles BartheLars BirkedalAles BizjakMarco GaboardiDeepak GargPublished in: CoRR (2018)
Keyphrases
- markov chain
- lambda calculus
- database query languages
- transition probabilities
- finite state
- probabilistic reasoning
- random walk
- probabilistic automata
- transition matrix
- programming language
- predicate calculus
- relational databases
- state space
- first order logic
- markov processes
- program understanding
- bayesian networks
- reasoning systems
- data model
- relational algebra
- expressive power
- probabilistic model
- databases
- theorem proving
- complex objects
- knowledge representation and reasoning
- distance function
- higher order
- general purpose