Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions.
Matias David LeeErik P. de VinkPublished in: MFCS (2016)
Keyphrases
- probability distribution
- state transition
- state transitions
- random variables
- internal states
- logical structure
- equivalence relation
- bayesian networks
- conditional probabilities
- goal directed
- plan recognition
- logical reasoning
- initial state
- human actions
- semantic relations
- databases
- decision theoretic
- internal and external
- spatial relations
- search algorithm
- logical operations
- data sets
- temporal relations
- hidden markov models
- internal state
- transition model
- knowledge base