FIRST INTERNATIONAL SYMPOSIUM ON
IMPRECISE PROBABILITIES AND THEIR APPLICATIONS

Ghent, Belgium
30 June - 2 July 1999

ELECTRONIC PROCEEDINGS

Nic Wilson

A Logic of Extended Probability

Abstract

This paper shows how the logic of gambles corresponding to Peter Walley's system of Imprecise Probability can be extended to allow gambles involving infinitesimal values and infinite values. This logic can then be used for reasoning with infinitesimal probabilities alongside conventional reasoning with linear constraints on probabilities. The proof theory is shown to be sound and complete for finite input sets.

Keywords. Imprecise Probability, Probabilistic Logic, infinitesimals, order of magnitude probabilistic reasoning.

The paper is available in the following formats and sites:

Authors addresses:

School of Computing
and Mathematical Sciences
Oxford Brookes University
Gipsy Lane, Headington, Oxford,
OX3 0BP, U.K.

E-mail addresses:

Nic Wilson pnwilson@brookes.ac.uk


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