Reasoning Consistently about Inconsistency

Patching et al. and Hinde et al. in their work on truth-space mass assignments, presented a semantic unification function and a semantic separation function for mass assignment logic that dealt with inconsistency. This paper takes these two functions and while preserving the outside inconsistencies...

Full description

Saved in:
Bibliographic Details
Published in2007 IEEE International Fuzzy Systems Conference pp. 1 - 7
Main Authors Hinde, C.J., Patching, R.S., Stone, R.G., Xhemali, D., McCoy, S.A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2007
Subjects
Computer languages
Computer science
Data mining
Fuzzy sets
Logic
Uncertainty
Online AccessGet full text

Cover

More Information
Summary:Patching et al. and Hinde et al. in their work on truth-space mass assignments, presented a semantic unification function and a semantic separation function for mass assignment logic that dealt with inconsistency. This paper takes these two functions and while preserving the outside inconsistencies shows how inconsistency can be reasoned about in a consistent manner. This means that inconsistency that arises outside the system need not enter the system, but needs to be represented within the system, and can therefore be extracted appropriately as output from the system to emerge as inconsistency on the outside. The internal reasoning system need therefore only concern itself with belief in truth, falsity and uncertainty.
ISBN:1424412099
9781424412099
ISSN:1098-7584
DOI:10.1109/FUZZY.2007.4295463