Results

**1 - 1**of**1**### On the Relations Between Incidence Calculus and Fagin-Halpern Structures

"... . Incidence Calculus [Bun85] and Fagin-Halpern Structures [FH89] are two alternative frameworks for uncertain reasoning in knowledgebased systems. In this paper we present a comparative review of these two frameworks, thus completing the series of papers started with [CdSB90, CdS93]. Keywords: repr ..."

Abstract
- Add to MetaCart

(Show Context)
. Incidence Calculus [Bun85] and Fagin-Halpern Structures [FH89] are two alternative frameworks for uncertain reasoning in knowledgebased systems. In this paper we present a comparative review of these two frameworks, thus completing the series of papers started with [CdSB90, CdS93]. Keywords: representation languages for uncertain knowledge. 1 Introduction Incidence Calculus [Bun85] was introduced in 1985 by Bundy as a framework to represent uncertainty in knowledge-based systems. It was presented as an extension of Nilsson's (bayesian) Probability Logic [Nil86], which was in turn a reconstruction of Boole's work on logic and probabilities [Boo54] (see also [Hai86]). Incidence Calculus extends Nilsson's Probability Logic by relaxing the conditions to assign propositions to possible worlds, thus permitting that states of incomplete knowledge (of a certain form) be considered. The Dempster-Shafer Theory of Evidence [Sha76] was also proposed as an extension of bayesian probabilities to...