An important issue in the management of knowledge-based systems is the handling of inconsistency. This problem has recently been attracting a lot of attention from Artificial Intelligence community. When inconsistency occurs in a knowledge base, there are mainly two ways to deal with it; we either resolve it or accept inconsistency and cope with it. This paper tackles the problem of evaluating the amount of contradiction in propositional knowledge bases, and provides a new measure of conflict based on deductive argumentation (...) theory. Measuring the degree of conflict of a knowledge base can help us to deal with inconsistencies. Several semantic- and syntax-based approaches have been proposed separately. Given the pivotal role of argumentation in representing and handling inconsistency, in this paper, we use logical argumentation as a way to compute the inconsistency measure for propositional formulae. We show using the complete argumentation tree that our family of inconsistency measures is able to... (shrink)

The aim of this paper is to offer an account of epistemic justification suitable for the context of theory pursuit, that is, for the context in which new scientific ideas, possibly incompatible with the already established theories, emerge and are pursued by scientists. We will frame our account paradigmatically on the basis of one of the influential systems of epistemic justification: Laurence Bonjour’s coherence theory of justification. The idea underlying our approach is to develop a set of criteria which indicate (...) that the pursued system is promising of contributing to the epistemic goal of robustness of scientific knowledge and of developing into a candidate for acceptance. In order to realize this we will (a) adjust the scope of Bonjour’s standards—consistency, inferential density, and explanatory power, and (b) complement them by the requirement of a programmatic character. In this way we allow for the evaluation of the “potential coherence” of the given epistemic system. (shrink)