This paper introduces a logical analysis of convex combinations within the framework of Åukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Åukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As an illustration of the applicability of our framework we present a logical version of the AnscombeâAumann representation result.
Convex MV-Algebras: Many-Valued Logics Meet Decision Theory
FLAMINIO, TOMMASO
;HOSNI, HYKEL;Lapenta, S.
2018
Abstract
This paper introduces a logical analysis of convex combinations within the framework of Åukasiewicz real-valued logic. This provides a natural link between the fields of many-valued logics and decision theory under uncertainty, where the notion of convexity plays a central role. We set out to explore such a link by defining convex operators on MV-algebras, which are the equivalent algebraic semantics of Åukasiewicz logic. This gives us a formal language to reason about the expected value of bounded random variables. As an illustration of the applicability of our framework we present a logical version of the AnscombeâAumann representation result.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.