Inconsistency measures for probabilistic logics
TLDR
This paper investigates inconsistency measurement in probabilistic conditional logic, a logic that incorporates uncertainty and focuses on the role of conditionals, i.e. if-then rules by extending inconsistency measures for classical logic to the probabilism setting and proposes novel inconsistency measures that are specifically tailored for the Probabilistic case.About:
This article is published in Artificial Intelligence.The article was published on 2013-04-01 and is currently open access. It has received 64 citations till now. The article focuses on the topics: Probabilistic logic & Knowledge representation and reasoning.read more
Citations
More filters
Journal ArticleDOI
Probabilistic Reasoning with Abstract Argumentation Frameworks
Anthony Hunter,Matthias Thimm +1 more
TL;DR: A general framework to measure the amount of conflict of inconsistent assessments and provide a method for inconsistency-tolerant reasoning is presented.
Proceedings Article
Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation
TL;DR: An overview on the technical architecture of Tweety and a description of its different libraries is given and two case studies are provided that show how Tweety can be used for empirical evaluation of different problems in artificial intelligence.
Book ChapterDOI
Distance-Based measures of inconsistency
John Grant,Anthony Hunter +1 more
TL;DR: In this paper, the authors present a new approach that considers the amount each formula has to be weakened in order for the knowledgebase to be consistent, based on ideas of knowledge merging by Konienczny and Pino-Perez.
Journal ArticleDOI
On the expressivity of inconsistency measures
TL;DR: The approach aims at complementing ongoing discussions on rationality postulates for inconsistency measures by considering expressivity as a desirable property and concludes that the distance-based measure I dalal Σ from Grant and Hunter (2013) 8 and the proof-basedMeasure I P m from Jabbour and Raddaoui ( 2013) 16 have maximal expressivity.
Book ChapterDOI
Revisiting Postulates for Inconsistency Measures
TL;DR: Postulates for inconsistency measures are examined, the set of postulate due to Hunter and Konieczny being the starting point and a new series of postulates is introduced.
References
More filters
Book
Elements of information theory
Thomas M. Cover,Joy A. Thomas +1 more
TL;DR: The author examines the role of entropy, inequality, and randomness in the design of codes and the construction of codes in the rapidly changing environment.
Book
Convex Optimization
Stephen Boyd,Lieven Vandenberghe +1 more
TL;DR: In this article, the focus is on recognizing convex optimization problems and then finding the most appropriate technique for solving them, and a comprehensive introduction to the subject is given. But the focus of this book is not on the optimization problem itself, but on the problem of finding the appropriate technique to solve it.
Book
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
TL;DR: Probabilistic Reasoning in Intelligent Systems as mentioned in this paper is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty, and provides a coherent explication of probability as a language for reasoning with partial belief.
Book ChapterDOI
A Value for n-person Games
TL;DR: In this paper, an examination of elementary properties of a value for the essential case is presented, which is deduced from a set of three axioms, having simple intuitive interpretations.
Journal ArticleDOI
A logic for default reasoning
TL;DR: This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.