FIRST INTERNATIONAL SYMPOSIUM ON
IMPRECISE PROBABILITIES AND THEIR APPLICATIONS

Ghent, Belgium
30 June - 2 July 1999

ELECTRONIC PROCEEDINGS

Veselka Boeva, Elena Tsiporkova, and Bernard De Baets

Plausibility and Belief Measures Induced by Kripke Models

Abstract

Modal logic interpretations of plausibility and belief measures are developed based on the observation that the inverse of the value assignment function in a model of modal logic induces the upper plausibility and lower belief measures of the plausibility and belief measures induced by the accessibility relation, regarded as a multivalued mapping.

Keywords. Accessibility relation, basic probability assignment, belief measure, modal logic, multivalued mapping, plausibility measure, value assignment function.

The paper is available in the following formats:

Authors addresses:

Veselka Boeva

Computer Systems
Technical University of Plovdiv
St. Petersburg Blvd. 61
4000 Plovdiv, Bulgaria

Elena Tsiporkova

Lernout & Hauspie Speech Products
Koning Albert-I laan 64
B-1780 Wemmel, Belgium

Bernard De Baets

Applied Maths and Comp. Sc.
University of Gent
Krijgslaan 281 (S9)
B-9000 Gent, Belgium

E-mail addresses:

Veselka Boeva boevi@mbox.digsys.bg
Elena Tsiporkova etsipork@baard.lhs.be
Bernard De Baets bernard.debaets@rug.ac.be

Related Web Sites

De Baets Bernard

[ back to the Proceedings of ISIPTA '99 home page ]  
Send any remarks to the following address: smc@decsai.ugr.es