Measures of inconsistency and defaults

Authors:
Dragan Doder;Miodrag Rašković;Zoran Marković;Zoran Ognjanović
Affiliations:
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia;Mathematical Institute of the Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia;Mathematical Institute of the Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia;Mathematical Institute of the Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia
Venue:
International Journal of Approximate Reasoning
Year:
2010

Citing 24
Cited 7

Probabilistic logic

Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
What does a conditional knowledge base entail?

Artificial Intelligence
General patterns in nonmonotonic reasoning

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Belief revision

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Diverse confidence levels in a probabilistic semantics for conditional logics

Artificial Intelligence
Paraconsistent logics

Handbook of defeasible reasoning and uncertainty management systems
Belief functions and default reasoning

Artificial Intelligence
Making inconsistency respectable: a logical framework for inconsistency in reasoning

FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
System JLZ: rational default reasoning by minimal ranking constructions

Journal of Applied Logic - Special issue on combining probability and logic
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Measuring inconsistency in knowledgebases

Journal of Intelligent Information Systems
An argumentation framework for merging conflicting knowledge bases

International Journal of Approximate Reasoning
A logic with approximate conditional probabilities that can model default reasoning

International Journal of Approximate Reasoning
Ordinal and probabilistic representations of acceptance

Journal of Artificial Intelligence Research
Quantifying information and contradiction in propositional logic through test actions

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Inconsistency as qualified truth: A probability logic approach

International Journal of Approximate Reasoning
Reasoning under inconsistency: the forgotten connective

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Specificity and inheritance in default reasoning

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Weak nonmonotonic probabilistic logics

Artificial Intelligence
Approaches to measuring inconsistent information

Inconsistency Tolerance

A framework for reasoning under uncertainty based on non-deterministic distance semantics

International Journal of Approximate Reasoning
A Syntax-based approach to measuring the degree of inconsistency for belief bases

International Journal of Approximate Reasoning
Probabilistic approach to nonmonotonic consequence relations

ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
On real-valued evaluation of propositional formulas

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Inconsistency-Tolerant Bunched Implications

International Journal of Approximate Reasoning
Measuring inconsistency through minimal proofs

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Policy-based inconsistency management in relational databases

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a method for measuring inconsistency based on the number of formulas needed for deriving a contradiction. The relationships to previously considered methods based on probability measures are discussed. Those methods are extended to conditional probability and default reasoning.