A formal model of diagnostic inference. I. Problem formulation and decomposition
Information Sciences: an International Journal - Special issue on expert systems
Using crude probability estimates to guide diagnosis
Artificial Intelligence
Formal theories of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Epistemic entrenchment and possibilistic logic
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Inconsistency in possibilistic knowledge bases: to live with it or not live with it
Fuzzy logic for the management of uncertainty
Dealing with multi-source information in possibilistic logic
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the relation between the coherence and foundations theories of belief revision
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Consistent belief reasoning in the presence of inconsistency
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
Inferring from Inconsistency in Preference-Based Argumentation Frameworks
Journal of Automated Reasoning
Coherent Composition of Distributed Knowledge-Bases Through Abduction
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
An Algorithmic Approach to Recover Inconsistent Knowledge-Bases
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Handling Inconsistency Efficiently in the Incremental Construction of Statified Belief Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
On Anytime Coherence-Based Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Brave Nonmonotonic Inference and Its Kinds
Annals of Mathematics and Artificial Intelligence
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Belief revision: from theory to practice
The Knowledge Engineering Review
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Commonsense reasoning by distance semantics
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Lexicographical Inference over Inconsistent DL-Based Ontologies
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Reasoning with Prioritized Data by Aggregation of Distance Functions
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Resource-bounded inference from inconsistent belief bases
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
On the relation between argumentation and non-monotonic coherence based entailment
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Inconsistency and preservation
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning
Review: on the evolving relation between belief revision and argumentation
The Knowledge Engineering Review
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
On the acceptability of arguments in preference-based argumentation
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Merging uncertain knowledge bases in a possibilistic logic framework
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
The outcomes of logic-based argumentation systems under preferred semantics
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Hi-index | 0.00 |
This paper investigates, several methods for coping with inconsistency caused by multiple source information by introducing suitable consequence relations capable of inferring non trivial conclusions from an inconsistent stratified knowledge base. Some of these methods presuppose a revision step, namely a selection of one or several consistent subsets of formulas, and then classical inference is used for inferring from these subsets. Two alternative methods that do not require any revision step are studied: inference based on arguments and a new approach called safely supported inference, where inconsistency is kept local. These two last methods look suitable when the inconsistency is due to the presence of several sources of information. The paper offers a comparative study of the various inference modes under inconsistency.