Abstract
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possible world semantics for conditional logic. The label formalism KEM, introduced to account for the semantics of normal modal logics, is easily adapted to the semantics of conditional logic by simply indexing labels with formulas. The inference rules are provided by the propositional system KE + —a tableau-like analytic proof system devised to be used both as a refutation and a direct method of proof— enlarged with suitable elimination rules for the conditional connective. The resulting algorithmic framework is able to compute cumulative consequence relations in so far as they can be expressed as conditional implications.
Due to space limitations, theorems are provided without proofs. The full version of the paper is available at http://www.cit.gu.edu.au/~guido/papers/tab2000.pdf .
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Artosi, A., Benassi, P., Governatori, G., Rotolo, A.: Labelled Proofs for Quantified Modal Logic. In: Alferes, J.J., Pereira, L.M., Orlowska, E. (eds.) Logics in Artificial Intelligence, pp. 70–86. Springer, Berlin (1996)
Artosi, A., Governatori, G.: A Tableau Methodology for Deontic Conditional Logic. In: Deon 1998. 4th International Workshop on Deontic Logic in Computer Science, Bologna, January 8–10, pp. 75–91 (1998), http://arXiv.org/abs/cs.LO/0003050
Artosi, A., Governatori, G., Sartor, G.: Towards a Computational Treatment of Deontic Defeasibility. In: Brown, M.A., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, pp. 27–46. Springer, Heidelberg (1996)
Boutilier, C.: Conditional Logics of Normality: a Modal Approach. Artificial Intelligence 68, 87–154 (1994)
Chellas, B.: Basic Conditional Logic. Journal of Philosophical Logic 4, 133–153 (1975)
Crocco, G., Fariñas del Cerro, L.: Structure, Consequence Relation and Logic. In: Gabbay, D. (ed.) What is a Logical System, pp. 375–393. Oxford UP, Oxford (1994)
Delgrande, J.P.: A First-Order Conditional Logic for Prototypical Properties. Artificial Intelligence 33, 105–139 (1987)
D’Agostino, M., Mondadori, M.: The Taming of the Cut. Journal of Logic and Computation 4, 285–319 (1994)
Fariñas del Cerro, L., Herzig, A., Lange, J.: From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artificial Intelligence 66, 375–393 (1994)
Gabbay, D.M.: Theoretical Foundations for Nonmonotonic Reasoning in Expert Systems. In: Apt, K.R. (ed.) Proc of the NATO Advanced Study Institute on Logics and Concurrent Systems, Berlin, pp. 439–457. Springer, Heidelberg (1985)
Gabbay, D.M.: Labelled Deductive Systems. Oxford University Press, Oxford (1996)
Gabbay, D.M., Governatori, G.: Dealing with Label Dependent Deontic Modalities. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 311–330. IOS Press, Amsterdam (1998)
Groeneboer, C., Delgrande, J.P.: Tableau-Based Theorem Proving in Normal Conditional Logics. In: AAAI 1988, vol. i, pp. 171–176 (1988)
Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London (1968)
Katsuno, H., Satoh, K.: A Unified View of Consequence Relation, Belief Revision, and Conditional Logic. In: Crocco, G., Fariñas del Cerro, L., Herzig, A. (eds.) Conditionals: From Philosophy to Computer Science, pp. 33–66. Oxford University Press, Oxford (1995)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44, 167–207 (1990)
Lamarre, P.: Apromenade from monotonicity to non-monotonocity following a theorem prover. In: Principles of Knowledge Representation and Reasoning (KR 1992), San Mateo (Ca), pp. 572–580. Morgan Kaufman Publishers, San Francisco (1992)
Lehmann, D.: What Does a Conditional Base Entail? In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Proceedings of Knowledge Representation and Reasoning (KR 1989), pp. 212–222. Morgan Kaufmann Publishers, S. Mateo (Ca) (1989)
Lewis, D.: Counterfactuals. Basil Blackwell, Oxford (1986)
Shoham, Y.: A Semantical Approach to Nonmonotonic Logics. In: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 388–392. Morgan Kaufmann Publ., Los Altos (1987); Reprinted in Ginsberg, M.L. (ed.): Reading in Nonmonotonic Reasoning, pp. 227–250. Morgan Kaufmann Publ., Los Altos (1987)
Smullyan, R.M.: First-Order Logic. Springer, Berlin (1968)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Artosi, A., Governatori, G., Rotolo, A. (2000). A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. In: Dyckhoff, R. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2000. Lecture Notes in Computer Science(), vol 1847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722086_10
Download citation
DOI: https://doi.org/10.1007/10722086_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67697-3
Online ISBN: 978-3-540-45008-5
eBook Packages: Springer Book Archive