Abstract
Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision — the conclusion follows or does not follow — in a very economical way.
Similar content being viewed by others
References
Batens, B. Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse, 145:57-94, 1994. Appeared 1996.
Batens, D. Blocks. The clue to dynamic aspects of logic. Logique et Analyse, 150–152:285-328, 1995. Appeared 1997.
Batens, D. Inconsistency-adaptive logics. In [17], pp. 445-472.
Batens, D. Minimally abnormal models in some adaptive logics. Synthese, 125:5-18, 2000.
Batens, D. A survey of inconsistency-adaptive logics. In [8], pp. 49-73.
Batens, D. Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy, in print.
D. Batens and J. Meheus. A tableau method for inconsistency-adaptive logics. In R. Dyckhoff (ed.), Automated Reasoning with Analytic Tableauxand Related Methods, Lecture Notes in Artificial Intelligence 1847, pp. 127-142. Springer, 2000.
D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem, editors. Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, UK, 2000.
Benferhat, S., D. Dubois and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case. Studia Logica, 58:17-45, 1997.
Benferhat, S., D. Dubois, and H. Prade. Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case. In [17], pp. 473-511.
Boolos, G. S., and R. J. Jeffrey. Computability and Logic. Cambridge University Press, 1989. (Third edition).
D'Agostino, M. Tableau methods for classical propositional logic. In M. D'Agostino, D. M. Gabbay, R. Hänle, and J. Possegga, editors, Handbook of Tableau Methods, pp. 45-123. Kluwer, Dordrecht, 1999.
De Clercq, K. Two new strategies for inconsistency-adaptive logics. Logic and Logical Philosophy, in press.
Kraus, S., D. Lehman and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
Meheus, J. Adaptive logic in scientific discovery: the case of Clausius. Logique et Analyse, 143–144:359-389, 1993. Appeared 1996.
Meheus, J. An extremely rich paraconsistent logic and the adaptive logic based on it. In [8], pp. 189-201.
OrWlowska, E., editor. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Physica Verlag (Springer), Heidelberg, New York, 1999.
Priest, G. Minimally inconsistent LP. Studia Logica, 50:321-331, 1991.
Smullyan, R.M. First Order Logic. Dover, New York, 1995. Original edition: Springer, 1968.
Vanackere, G. Ambiguity-adaptive logic. Logique et Analyse, 159:261-280, 1997.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Batens, D., Meheus, J. Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. Studia Logica 69, 221–248 (2001). https://doi.org/10.1023/A:1013865807250
Issue Date:
DOI: https://doi.org/10.1023/A:1013865807250