States in Łukasiewicz logic correspond to probabilities of rational polyhedra.
Tomás KroupaPublished in: Int. J. Approx. Reason. (2012)
Keyphrases
- probability theory
- modal logic
- transition probabilities
- state transition probabilities
- classical logic
- probability distribution
- multi valued
- predicate logic
- logic programming
- logical framework
- special case
- decision making
- markov chain
- digital circuits
- probabilistic logic
- convex polyhedra
- proof theory
- epistemic logic
- state transitions
- hidden markov models
- belief functions
- inference rules
- line drawings
- linear program