Mixed Rational Assessments of Possibility and Probability Measures
Author(s) -
Tommaso Flaminio,
Enrico Marchioni
Publication year - 2007
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.07.027
Subject(s) - formalism (music) , coherence (philosophical gambling strategy) , modal , computer science , characterization (materials science) , modal logic , fuzzy logic , consistency (knowledge bases) , mathematics , theoretical computer science , algorithm , calculus (dental) , artificial intelligence , statistics , medicine , art , musical , chemistry , materials science , dentistry , polymer chemistry , visual arts , nanotechnology
In this paper we introduce the modal-fuzzy logic FPΠ(RŁΔ) for reasoning about probability and possibility at the same time. We will use such a logical formalism in order to treat mixed assessments of both those kinds of measures. The main result of this paper is a characterization of the coherence for rational mixed assessments by means of the logical consistency of a suitably defined FPΠ(RŁΔ)-theory. By means of this characterization, we will also prove that the problem of testing the coherence of a mixed assessment is NP-complete
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom