Partial logics with two kinds of negation as a foundation for knowledge-based reasoning

From Wiki

Introduction

As opposed to theoretical reasoning, such as in mathematics where all predicates are exact,and a simple contradiction destroy the entire theory, knowledge-based reasoning has to be able to deal with inexact predicates (e.g. from empirical domains, having truth value gaps and with knowledge bases containing contradictory items but being still informative. Therefore, partial logics allowing both for truth value gaps and for inconsistency are natural candidates for modeling knowledge bases reasoning. [Read Article]