| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 397482 | International Journal of Approximate Reasoning | 2010 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
