FOURTH INTERNATIONAL SYMPOSIUM ON
IMPRECISE PROBABILITIES AND THEIR APPLICATIONS
Carnegie Mellon University
Pittsburgh, PA, USA
July 20-23 2005

ISIPTA'05 ELECTRONIC PROCEEDINGS

Thomas Lukasiewicz

Nonmonotonic Probabilistic Logics under Variable-Strength Inheritance with Overriding: Algorithms and Implementation in nmproblog

Abstract

In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a value lambda in [0,1] that describes the strength of the inheritance of default probabilistic knowledge. In this paper, I continue this line of research. I present algorithms for deciding consistency of strength lambda and for computing tight consequences of strength lambda, which are based on reductions to the standard problems of deciding satisfiability and of computing tight logical consequences in model-theoretic probabilistic logic. Furthermore, I describe an implementation of these algorithms in the system nmproblog.

Keywords. Model-theoretic and nonmonotonic probabilistic logics, qualitative reasoning about uncertainty, probability rankings, algorithms for manipulating imprecise probabilities, convex sets of probability measures.

Paper Download

The paper is availabe in the following formats:

Authors addresses:

Dipartimento di Informatica e Sistemistica
Universita di Roma "La Sapienza"
Via Salaria 113,
198 - Roma
Italy

E-mail addresses:

Thomas Lukasiewicz Thomas.Lukasiewicz@dis.uniroma1.it

Related Web Sites


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