Simple Conditionals with Constrained Right Weakening

Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

doi:10.24963/ijcai.2019/226

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Simple Conditionals with Constrained Right Weakening

Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan

2019 • In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)

Peer reviewed

Permalink
https://hdl.handle.net/10993/40324

DOI
10.24963/ijcai.2019/226

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

IJCAI_2019_Basic_Conditionals_final.pdf

Author preprint (354.12 kB)

Download

The original publication is available at https://www.ijcai.org/proceedings/2019/226

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

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)

ISBN/EAN :

978-0-9992411-4-1

Pages :

1632-1638

Peer reviewed :

Peer reviewed

Focus Area :

Computational Sciences

Additional URL :

https://www.ijcai.org/proceedings/2019/226

European Projects :

H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

Funders :

CE - Commission Européenne [BE]

Available on ORBilu :

since 11 September 2019

Statistics

Number of views

83 (4 by Unilu)

Number of downloads

86 (3 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

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.