Bibliografie
Journal Article
States in Lukasiewicz logic correspond to probabilities of rational polyhedra
: International Journal of Approximate Reasoning vol.53, 4 (2012), p. 435-446
: CEZ:AV0Z10750506
: 1M0572, GA MŠk, GA201/09/1891, GA ČR
: state, Lukasiewicz logic, rational polyhedron
(eng): It will be shown that probabilities of infinite-valued events represented by formulas in Lukasiewicz propositional logic are in one-to-one correspondence with tight probability measures over rational polyhedra in the unit hypercube. This result generalizes a recent work on rational measures of polyhedra and provides an elementary geometric approach to reasoning under uncertainty with states in Lukasiewicz logic.
: BA