a Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia b Mathematical Institute of the Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia
Abstract:
We introduce a method for measuring inconsistency based on the number of formulas needed for deriving a contradiction. The relationships to previously considered methods based on probability measures are discussed. Those methods are extended to conditional probability and default reasoning.