z-logo
open-access-imgOpen Access
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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom