Hinde_Reasoning_Fuzzy_Systems_2007.pdf (505.38 kB)
Download file

Reasoning consistently about inconsistency

Download (505.38 kB)
conference contribution
posted on 18.12.2008, 16:45 by Christopher Hinde, Robert S. Patching, Roger StoneRoger Stone, Daniela Xhemali, Stephen A. McCoy
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.

History

School

  • Science

Department

  • Computer Science

Citation

HINDE, C.J. ... et al, 2007. Reasoning consistently about inconsistency. IEEE International Fuzzy Systems Conference, FUZZ-IEEE 2007, 23-26 July, pp.1-7

Publisher

© IEEE

Version

VoR (Version of Record)

Publication date

2007

Notes

This is a conference paper [© IEEE]. It is also available at: http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4295329&isYear=2007 Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

ISBN

1424412099

ISSN

1098-7584

Language

en

Usage metrics

Keywords

Exports