Přejít k hlavnímu obsahu
top

Bibliografie

Journal Article

States in Lukasiewicz logic correspond to probabilities of rational polyhedra

Kroupa Tomáš

: 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

: 10.1016/j.ijar.2011.10.007

(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