KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by
  1. Gabriele Kern-Isberner
  2. Gerhard Lakemeyer
  3. Thomas Meyer

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

A General Framework for Modelling Conditional Reasoning - Preliminary Report

  1. Giovanni Casini(ISTI-CNR, CAIR, University of Cape Town)
  2. Umberto Straccia(ISTI-CNR)
PDF
BibTeX
https://doi.org/10.24963/kr.2022/12

Keywords

  1. Nonmonotonic logics, default logics, conditional logics
  2. Inconsistency- and exception tolerant reasoning, paraconsistent logics

Abstract

We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy closure properties associated to classical logics.