Relations Between Extended Incidence Calculus and Assumption-Based Truth Maintenance System

  • Weiru Liu
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 77)


In Chapter 7, we performed a comprehensive comparison between DS theory and generalized incidence calculus, under the perception that generalized incidence calculus is taken as a numerical approach for reasoning under uncertainty. However, as generalized incidence calculus can also be viewed as a pure symbolic reasoning mechanism, it would be interesting to see whether it has any formal links with other pure symbolic reasoning approaches, such as the ATMS.


Full Extension Belief Function Reasoning Pattern Auxiliary Element High Level Node 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Weiru Liu
    • 1
  1. 1.School of Information and Software EngineeringUniversity of Ulster at JordanstownNewtownabbey Co. AntrimNorthern Ireland UK

Personalised recommendations