Mixed Rational Assessments of Possibility and Probability Measures

Authors:
Tommaso Flaminio;Enrico Marchioni
Affiliations:
Dipartimento di Matematica e Informatica, Università degli Studi di Siena, Pian dei Mantellini 44, 53100 Siena, Italy;Departamento de Lógica, Universidad de Salamanca, Campus Unamuno - Edificio FES, 37007 Salamanca, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 6
Cited 1

Probabilistic Satisfiability

Journal of Complexity
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Reasoning about Uncertainty

Reasoning about Uncertainty
A zero-layer based fuzzy probabilistic logic for conditional probability

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Complexity of Fuzzy Probability Logics

Fundamenta Informaticae

A complete fuzzy logical system to deal with trust management systems

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce the modal-fuzzy logic FP@P(RL"@D) 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@P(RL"@D)-theory. By means of this characterization, we will also prove that the problem of testing the coherence of a mixed assessment is NP-complete.