An implementation of belief change operations based on probabilistic conditional logic

Abstract

Probabilistic conditionals are a powerful means for expressing uncertain knowledge. In this paper, we describe a system implemented in Java performing probabilistic reasoning at optimum entropy. It provides nonmonotonic belief change operations like revision and update and supports advanced querying facilities including diagnosis and what-if-analysis. © 2009 Springer Berlin Heidelberg.