knowledge representation and reasoning; conditional reasoning; logic
Abstract :
[en] In this paper we introduce and investigate a very basic semantics for conditionals that can be used to
define a broad class of conditional reasoning systems. We show that it encompasses the most popular kinds of conditional reasoning developed in logic-based KR. It turns out that the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy the property of Right Weakening. We show that it can be used for the further development of an analysis of the notion of relevance in conditional reasoning.
Disciplines :
Computer science
Author, co-author :
Casini, Giovanni ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas; University of Cape Town
Varzinczak, Ivan; Université d'Artois
External co-authors :
yes
Language :
English
Title :
Simple Conditionals with Constrained Right Weakening
Publication date :
2019
Event name :
28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Event place :
Macao, China
Event date :
10-16 August 2019
Audience :
International
Main work title :
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Richard Booth and Jeffrey B. Paris. A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information, 7(2):165-190, 1998.
Katarina Britz, Johannes Heidema, and Ivan Varzinczak. Constrained consequence. Logica Universalis, 5(2):327-350, 2011.
James P. Delgrande and Francis J. Pelletier. A formal analysis of relevance. Erkenntnis, 49(2):137-173, Sep 1998.
James P. Delgrande. What's in a default? thoughts on the nature and role of defaults in nonmonotonic reasoning. In G. Brewka, V.W. Marek, and M. Truszczynski, editors, Nonmonotonic Reasoning. Essays Celebrating Its 30th Anniversary. College Publications, 2011.
Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell., 44:167-207, 1990.
Daniel Lehmann and Menachem Magidor. What does a conditional knowledge base entail? Artif. Intell., 55:1-60, 1992.
Daniel Lehmann. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence, 15(1):61-82, 1995.
David Makinson and Leendert van der Torre. Input/output logics. Journal of Philosophical Logic, 29(4):383-408, 2000.
Xavier Parent and Leendert van der Torre. “Sing and Dance!”. In F. Cariani, D. Grossi, J. Meheus, and X. Parent, editors, Deontic Logic and Normative Systems, pages 149-165, Cham, 2014. Springer International Publishing.
Judea Pearl. System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning. In Proceedings of the 3rd Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 1990.
Greg Restall. Relevant and substructural logics. In D.M. Gabbay and J. Woods, editors, Handbook of the History of Logic, volume 7: Logic and the Modalities in the Twentieth Century, pages 289-398. Elsevier North-Holland, 2006.
Hans Rott. Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning. Oxford University Press, 2001.