Title :
Haziness for Common Sensical Inference from Uncertain and Inconsistent Linear Knowledge Base
Author_Institution :
Centre for Appl. Math., Mines ParisTech, Sophia Antipolis
Abstract :
We theoretically address the problem of reasoning common sensically in uncertain and inconsistent linear knowledge bases.Those bases linearly combine degrees of belief about sentences of a propositional logic, where degrees of belief are assumed to be probabilities. A knowledge base is inconsistent iff no probability function satisfies it. We propose a new process that consistently infers information from such bases. Contrary to ordinary inference processes, ours tackles inconsistencies by trusting every single item of knowledge, where trust can be an application-specific parameter. Moreover, our inference process behaves common sensically when applied to a consistent knowledge base, since it coincides with the maximum entropy inference process. Besides, we provide new measures of inconsistency and similarity that deal with possibly inconsistent knowledge bases. Injecting a bit of common sense into decision systems should make them more easily trustworthy.
Keywords :
belief maintenance; common-sense reasoning; decision theory; formal logic; knowledge based systems; maximum entropy methods; probability; uncertainty handling; belief degree; common sensical inference; decision system; inconsistent linear knowledge base; maximum entropy inference process; probability; propositional logic; reasoning mechanism; uncertain linear knowledge base; Artificial intelligence; Educational institutions; Entropy; Hidden Markov models; Intrusion detection; Logic; Mathematics; Prototypes; Sensor systems; Uncertainty; common sense; inconsistency; knowledge base; logic; para-consistency; uncertain reasoning;
Conference_Titel :
Tools with Artificial Intelligence, 2008. ICTAI '08. 20th IEEE International Conference on
Conference_Location :
Dayton, OH
Print_ISBN :
978-0-7695-3440-4
DOI :
10.1109/ICTAI.2008.11