On the Relations between Incidence Calculus and ATMS

. 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. 1 Introduction The ATMS is a symbolic reasoning technique used in the artificial intelligence domain to deal with problems by providing dependent relations among statements during inference normally. This technique can only infer results with absolutely true or false. It lacks the ability to draw plausible conclusions such as that a conclusion is true with some degree of belief. However in many cases, pieces of information from a knowledge..