AI Chat AI Image Generator AI Video Text to Speech

A General Framework for Modelling Conditional Reasoning – Preliminary Report

02/15/2022

∙

by Giovanni Casini, et al.

∙

∙

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.

Giovanni Casini
8 publications
Umberto Straccia
11 publications

page 1

page 2

page 3

page 4

research

∙ 07/17/2022

Certain and Uncertain Inference with Trivalent Conditionals

Research on indicative conditionals usually aims either at determining t...

0 Paul Egré, et al. ∙

research

∙ 07/08/2018

Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure

Reasoning about exceptions in ontologies is nowadays one of the challeng...

0 Laura Giordano, et al. ∙

research

∙ 06/15/2023

Streamlining Input/Output Logics with Sequent Calculi

Input/Output (I/O) logic is a general framework for reasoning about cond...

0 Agata Ciabattoni, et al. ∙

research

∙ 08/28/1998

First-Order Conditional Logic Revisited

Conditional logics play an important role in recent attempts to formulat...

0 Nir Friedman, et al. ∙

research

∙ 08/21/2023

Normative Conditional Reasoning as a Fragment of HOL

We report some results regarding the mechanization of normative (prefere...

0 Xavier Parent, et al. ∙

research

∙ 12/12/2019

Finite models and the theory of concatenation

We propose FC, a logic on words that combines the previous approaches of...

0 Dominik D. Freydenberger, et al. ∙

research

∙ 01/23/2021

Equational reasoning for non-determinism monad: the case of Spark aggregation

As part of the author's studies on equational reasoning for monadic prog...

0 Shin-Cheng Mu, et al. ∙