Relations Between Extended Incidence Calculus and Assumption-Based Truth Maintenance System
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.
KeywordsFull Extension Belief Function Reasoning Pattern Auxiliary Element High Level Node
Unable to display preview. Download preview PDF.