Hinde_Reasoning_Fuzzy_Systems_2007.pdf (505.38 kB)
Reasoning consistently about inconsistency
conference contribution
posted on 2008-12-18, 16:45 authored by Christopher Hinde, Robert S. Patching, Roger Stone, Daniela Xhemali, Stephen A. McCoyPatching 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-7Publisher
© IEEEVersion
- VoR (Version of Record)
Publication date
2007Notes
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
1424412099ISSN
1098-7584Language
- en