Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/4068

Title: Reasoning consistently about inconsistency
Authors: Hinde, Chris J.
Patching, Robert S.
Stone, R.G.
Xhemali, Daniela
McCoy, Stephen A.
Issue Date: 2007
Publisher: © IEEE
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
Abstract: 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.
Description: 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.
Version: Published
DOI: 10.1109/FUZZY.2007.4295463
URI: https://dspace.lboro.ac.uk/2134/4068
ISBN: 1424412099
ISSN: 1098-7584
Appears in Collections:Conference Papers and Presentations (Computer Science)

Files associated with this item:

File Description SizeFormat
Hinde_Reasoning_Fuzzy_Systems_2007.pdf505.38 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.