Fault-Tolerant and Approximate Reasoning in Multi-Source Environments

When different knowledge based systems must cooperate to perform decision tasks that are beyond their individual capabilities, we are faced with the problem of combining knowledge in a multi-source environment. In particular, we are confronted with two main difficulties: the prospect of inconsistency which arises when different knowledge bases are merged together, and the high computational complexity of reasoning with large pools of combined information. The purpose of this paper is to define a formal framework which handles both aspects of consistency and tractability, and which is useful to specify knowledge retrievers. The framework includes several major features. First, it tolerates inconsistency and enables a knowledge retriever to infer non-degenerative conclusions when conflicting viewpoints are combined. Second, our framework incorporates approximate reasoning in order to perform efficient query answering using combined knowledge. Third, a stepwise procedure is included for improving approximate answers and allowing their convergence to the right answer