The University of Southampton
University of Southampton Institutional Repository

Mixed rational assessments of possibility and probability measures

Mixed rational assessments of possibility and probability measures
Mixed rational assessments of possibility and probability measures
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.
Coherence, Computational Complexity, Fuzzy Logics, Possibility Measure, Probability Measure
33-42
Flaminio, Tommaso
10824669-cfbb-4724-aa74-e1b31574dae8
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Flaminio, Tommaso
10824669-cfbb-4724-aa74-e1b31574dae8
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96

Flaminio, Tommaso and Marchioni, Enrico (2007) Mixed rational assessments of possibility and probability measures. Electronic Notes in Theoretical Computer Science, 169, 33-42. (doi:10.1016/j.entcs.2006.07.027).

Record type: Article

Abstract

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.

Full text not available from this repository.

More information

e-pub ahead of print date: 22 February 2007
Published date: 1 March 2007
Keywords: Coherence, Computational Complexity, Fuzzy Logics, Possibility Measure, Probability Measure

Identifiers

Local EPrints ID: 417389
URI: https://eprints.soton.ac.uk/id/eprint/417389
PURE UUID: be1254ff-ba1e-475e-9ecb-1816ee3fcfc2

Catalogue record

Date deposited: 30 Jan 2018 17:31
Last modified: 13 Mar 2019 19:04

Export record

Altmetrics

Contributors

Author: Tommaso Flaminio
Author: Enrico Marchioni

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×