Edinburgh Research Explorer

On the Relation Between Incidence Calculus and ATMS

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations


Original languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Reasoning and Uncertainty
Subtitle of host publicationEuropean Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings
EditorsMichael Clarke, Rudolf Kruse, Serafin Moral
PublisherSpringer-Verlag GmbH
Number of pages8
ISBN (Print)978-3-540-57395-1
Publication statusPublished - 1 Nov 1993

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the incidence sets of these statements in incidence calculus. We will prove that a probabilistic ATMS can be implemented using incidence calculus. In this way, we can not only produce labels for all nodes in the system automatically, but also calculate the probability of any of such nodes in it. The reasoning results in incidence calculus can provide justifications for an ATMS automatically.

Download statistics

No data available

ID: 3505817