Monte Carlo Simulations for probabilistic validation of consequence reasoning from Multilevel Flow Modelling.
Emil Krabbe NielsenDenis KirchhübelThomas Martini JørgensenPublished in: ETFA (2020)
Keyphrases
- monte carlo simulation
- monte carlo
- probabilistic logic
- probabilistic reasoning
- markov chain
- probabilistic knowledge
- causal reasoning
- knowledge representation
- reasoning systems
- information flow
- probabilistic model
- reasoning and decision making
- logical inference
- causal networks
- qualitative models
- bayesian networks
- qualitative reasoning
- model construction
- default reasoning
- uncertain data
- automated reasoning
- inference process