knowledge representation and reasoning; conditional reasoning; logic
Résumé :
[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 :
Sciences informatiques
Auteur, co-auteur :
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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Simple Conditionals with Constrained Right Weakening
Date de publication/diffusion :
2019
Nom de la manifestation :
28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Lieu de la manifestation :
Macao, Chine
Date de la manifestation :
10-16 August 2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
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.
