Reasoning with Inconsistent Information
In this thesis we are concerned with developing formal and representational mechanisms for reasoning with inconsistent information. Strictly speaking there are two conceptually distinct senses in which we are interested in reasoning with inconsistent information. In one sense, we are interested in using logical deduction to draw inferences in a symbolic system. More specifically, we are interested in mechanisms that can continue to perform deduction in a reasonable manner despite the threat of...[Show more]
|Collections||Open Access Theses|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.