Abstract
We consider several monotonic logics and show how our framework is well-suited to handle inconsistency in them. It is particularly important to note that reasoning about inconsistency in many of these logics has not been studied before. As a consequence, our general framework for reasoning about inconsistency is not only novel, but it also yields new algorithms and new results for such reasoning in existing logics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that a definite clause is a Horn clause where exactly one L i is positive. It is well known that any set of definite clauses is always consistent.
References
Artale A (2008) Formal methods: linear temporal logic. http://www.inf.unibz.it/~artale/FM/slide3.pdf
Cayrol C, Lagasquie-Schiex M (1994) On the complexity of non-monotonic entailment in syntax-based approaches. In: ECAI workshop on algorithms, complexity and commonsense reasoning
Cohn AG, Renz J (2008) Qualitative spatial representation and reasoning. In: van Hermelen F, Lifschitz V, Porter B (eds) Handbook of knowledge representation. Elsevier, Amsterdam/Boston, pp 551–596
Emerson EA (1990) Temporal and modal logic. In: Handbook of theoretical computer science. Elsevier, Amsterdam/New York, pp 995–1072
Gabbay DM, Pnueli A, Shelah S, Stavi J (1980) On the temporal basis of fairness. In: Symposium on principles of programming languages (POPL), Las Vegas, pp 163–173
Levesque HJ (1984) A logic of implicit and explicit belief. In: National conference on artificial intelligence (AAAI), Austin, pp 198–202
Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification. Springer, New York
Nilsson NJ (1986) Probabilistic logic. Artif Intell 28(1):71–87
Papadimitriou CH (1994) Computational complexity. Addison-Wesley, Reading
Pnueli A (1977) The temporal logic of programs. In: Symposium on foundations of computer science (FOCS), Providence, pp 46–57
Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connection. In: Principles of knowledge representation and reasoning (KR), Cambridge, pp 165–176
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 The Author(s)
About this chapter
Cite this chapter
Martinez, M.V., Molinaro, C., Subrahmanian, V.S., Amgoud, L. (2013). Handling Inconsistency in Monotonic Logics. In: A General Framework for Reasoning On Inconsistency. SpringerBriefs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-6750-2_4
Download citation
DOI: https://doi.org/10.1007/978-1-4614-6750-2_4
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-6749-6
Online ISBN: 978-1-4614-6750-2
eBook Packages: Computer ScienceComputer Science (R0)