The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #611

Title:On the Relationship Between Incidence Calculus and Atms
Authors:Liu,W; Bundy,A; Robertson,DS
Date: 1992
Presented:Submitted to ECSQARU-93
Abstract:Although it is widely recognized that logics of belief and truth maintenance systems share some fundamental similarities, there has been little study of the precise nature of this relationship. We show that an ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any of such nodes in it. The nogood environments can also be obtained automatically. The probability calculated for the nogood environments represents the weight of conflict for multiple pieces of evidence. We also show that an ATMS can be viewed as a fast algorithm for incidence calculus.

[Search These Pages] [DAI Home Page] [Comment]