XPL: An extended probabilistic logic for probabilistic transition systems.
Andrey GorlinC. R. RamakrishnanPublished in: CoRR (2016)
Keyphrases
- probabilistic logic
- transition systems
- probabilistic reasoning
- maximum entropy
- model checking
- concurrent systems
- probabilistic knowledge
- default reasoning
- temporal logic
- finite state
- probability theory
- practical reasoning
- belief revision
- conditional independence
- artificial intelligence
- first order logic
- control flow
- higher order