Entailment Functions and Reasoning Under Inconsistency
Pages 2183 - 2185
Abstract
This study proposes an intuitive and flexible framework for defining a large variety of paraconsistent entailment relations. We first introduce a notion named entailment function (EF) that is used for associating a value called entailment degree to every pair of belief base and formula. Then, we introduce our EF-based framework for defining paraconsistent entailment relations. Finally, we discuss a connection between the notion of entailment function and that of inconsistency measure.
References
[1]
Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, and Badran Raddaoui. 2017. On an MCS-based inconsistency measure. International Journal of Approximate Reasoning, Vol. 80 (2017), 443--459.
[2]
Nuel D. Belnap. 1977. A Useful Four-Valued Logic. Modern Uses of Multiple-Valued Logic, J. Michael Dunn and George Epstein (Eds.). Springer Netherlands, 5--37.
[3]
Salem Benferhat, Didier Dubois, and Henri Prade. 1993. Argumentative inference in uncertain and inconsistent knowledge bases. In UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, The Catholic University of America, Providence, Washington, DC, USA, 411--419.
[4]
Salem Benferhat, Didier Dubois, and Henri Prade. 1997. Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case. Studia Logica, Vol. 58, 1 (1997), 17--45.
[5]
Jean-Yves Bé ziau. 2016. Two Genuine 3-Valued Paraconsistent Logics. Towards Paraconsistent Engineering . Intelligent Systems Reference Library, Vol. 110. Springer, 35--47.
[6]
Glauber De Bona, John Grant, Anthony Hunter, and Sé bastien Konieczny. 2018. Towards a Unified Framework for Syntactic Inconsistency Measures. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18) . AAAI Press, New Orleans, Louisiana, USA, 1803--1810.
[7]
Melvin Fitting. 1994. Kleene's Three Valued Logics and Their Children. Fundam. Inform., Vol. 20, 1/2/3 (1994), 113--131.
[8]
John Grant and Anthony Hunter. 2011. Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 11th European Conference, ECSQARU 2011. Proceedings (Lecture Notes in Computer Science), Vol. 6717. Springer, Belfast, UK, 362--373.
[9]
John Grant and Anthony Hunter. 2013. Distance-Based Measures of Inconsistency. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013. Proceedings . Springer, Utrecht, The Netherlands, 230--241.
[10]
Anthony Hunter and Sé bastien Konieczny. 2010. On the measure of conflicts: Shapley Inconsistency Values. Artificial Intelligence, Vol. 174, 14 (2010), 1007--1026.
[11]
Sa"i d Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, and Yakoub Salhi. 2016. A MIS Partition Based Framework for Measuring Inconsistency. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016. AAAI Press, Cape Town, South Africa, 84--93.
[12]
Sé bastien Konieczny, Jé rô me Lang, and Pierre Marquis. 2003. Quantifying information and contradiction in propositional logic through test actions. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, Acapulco, Mexico, 106--111.
[13]
Graham Priest. 1991. Minimally inconsistent LP . Studia Logica, Vol. 50 (1991), 321--331.
[14]
Nicholas Rescher and Ruth Manor. 1970. On inference from inconsistent premisses. Theory and Decision, Vol. 1, 2 (1970), 179--217.
[15]
Matthias Thimm. 2016. On the expressivity of inconsistency measures. Artificial Intelligence, Vol. 234 (2016), 120--151.
Index Terms
- Entailment Functions and Reasoning Under Inconsistency
Recommendations
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
We consider the entailment problem in the fragment of first-order logic (FOL) composed of existentially closed conjunctions of literals (without functions), denoted by FOL(@__ __,@__ __,@__ __"a). This problem can be recast as several fundamental ...
A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions
We develop a doubly exponential decision procedure for the satisfiability problem of guarded separation logic—a novel fragment of separation logic featuring user-supplied inductive predicates, Boolean connectives, and separating connectives, including ...
Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity
SMC '13: Proceedings of the 2013 IEEE International Conference on Systems, Man, and CyberneticsFormalizing inconsistency-tolerant relevant human reasoning in a philosophically plausible logic is useful for modeling sophisticated agents similar to human. For this aim, the positive fragment of the logic RW of contraction-less relevant implication ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 2019
2518 pages
ISBN:9781450363099
- General Chairs:
- Edith Elkind,
- Manuela Veloso,
- Program Chairs:
- Noa Agmon,
- Matthew E. Taylor
Sponsors
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC
Publication History
Published: 08 May 2019
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
AAMAS '19
Sponsor:
AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems
May 13 - 17, 2019
Montreal QC, Canada
Acceptance Rates
AAMAS '19 Paper Acceptance Rate 193 of 793 submissions, 24%;
Overall Acceptance Rate 1,155 of 5,036 submissions, 23%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 35Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in