Author
Author

Wong, Paul

Date
Description
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 inconsistencies as a direct result of errors or misrepresentations. So in this sense we are interested in inconsistency-tolerant or paraconsistent deduction. … ¶ In this thesis we adopt a novel framework to unify both logic-as-deduction and logic-as-representation approaches to reasoning with inconsistent information. … ¶
GUID
oai:openresearch-repository.anu.edu.au:1885/49368
Identifier
oai:openresearch-repository.anu.edu.au:1885/49368
Identifiers
b22285532
http://hdl.handle.net/1885/49368
10.25911/5d7a2d4eb5685
https://openresearch-repository.anu.edu.au/bitstream/1885/49368/6/01front.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/49368/7/02whole.pdf.jpg
Publication Date
Titles
Reasoning with Inconsistent Information