TY - GEN
T1 - On the Relation Between Incidence Calculus and ATMS
AU - Liu, W.
AU - Bundy, A.
AU - Robertson, D.
PY - 1993/11/1
Y1 - 1993/11/1
N2 - 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.
AB - 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.
U2 - 10.1007/BFb0028207
DO - 10.1007/BFb0028207
M3 - Conference contribution
SN - 978-3-540-57395-1
VL - 747
T3 - Lecture Notes in Computer Science
SP - 249
EP - 256
BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A2 - Clarke, Michael
A2 - Kruse, Rudolf
A2 - Moral, Serafin
PB - Springer-Verlag GmbH
ER -