A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B.
Carlos OlarteCamilo RochaDaniel OsorioPublished in: CoRR (2022)
Keyphrases
- statistical analysis
- logic programming
- proof theory
- probabilistic logic
- sound and complete with respect
- sound and complete axiomatization
- epistemic logic
- nonmonotonic logics
- propositional dynamic logic
- probabilistic knowledge
- probability theory
- default reasoning
- proof theoretic
- logical framework
- model theoretic
- formal semantics
- event detection
- logic programs
- formal language
- operational semantics
- alternating time temporal logic
- conditional logic
- algebraic structure
- dynamic logic
- statistical analyses
- computational properties
- clinical data
- probabilistic model
- probabilistic reasoning
- derivation rules
- modal logic
- intuitionistic logic
- rewrite systems
- rule engine
- highly expressive
- modal operators
- classical logic
- active rules
- predicate calculus
- deontic logic
- automated reasoning
- nonmonotonic reasoning
- bayesian networks
- rewriting rules
- reasoning tasks
- autoepistemic logic
- predicate logic
- statistical methods
- semantic information
- fixed point semantics
- datalog programs