English
Related papers

Related papers: On Trivalent Logics, Compound Conditionals, and Pr…

200 papers

In this work we first illustrate the subjective theory of de Finetti. We recall the notion of coherence for both the betting scheme and the penalty criterion, by considering the unconditional and conditional cases. We show the equivalence…

Probability · Mathematics 2023-01-24 Angelo Gilio , Giuseppe Sanfilippo

It is well know that basic conditionals satisfy some desirable basic logical and probabilistic properties, such as the compound probability theorem, but checking the validity of these becomes trickier when we switch to compound and iterated…

Probability · Mathematics 2023-08-22 Lydia Castronovo , Giuseppe Sanfilippo

Conditionals play a key role in different areas of logic and probabilistic reasoning, and they have been studied and formalized from different angles. In this paper we focus on the de Finetti's notion of conditional as a three-valued…

Logic · Mathematics 2022-05-09 Tommaso Flaminio , Angelo Gilio , Lluis Godo , Giuseppe Sanfilippo

In this talk - based on the results of a forthcoming paper (Coletti, Scozzafava and Vantaggi 2002), presented also by one of us at the Conference on "Non Classical Logic, Approximate Reasoning and Soft-Computing" (Anacapri, Italy, 2001) -…

Probability · Mathematics 2007-05-23 Giulianella Coletti , Romano Scozzafava , Barbara Vantaggi

We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability…

Probability · Mathematics 2020-03-17 Giuseppe Sanfilippo , Angelo Gilio , David Over , Niki Pfeifer

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, $P(\textit{if } A \textit{ then } B)$, is the conditional probability of $B$ given $A$,…

Probability · Mathematics 2017-11-13 Giuseppe Sanfilippo , Niki Pfeifer , David E. Over , Angelo Gilio

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional…

Probability · Mathematics 2019-09-27 Angelo Gilio , Giuseppe Sanfilippo

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by W. Cooper and yields two logics of…

Artificial Intelligence · Computer Science 2023-05-01 Paul Égré , Lorenzo Rossi , Jan Sprenger

In this paper we consider finite conditional random quantities and conditional previsions assessments in the setting of coherence. We use a suitable representation for conditional random quantities; in particular the indicator of a…

Probability · Mathematics 2015-04-13 Angelo Gilio , Giuseppe Sanfilippo

This paper explores trivalent truth conditions for indicative conditionals, examining the "defective" table put forward by de Finetti 1936, as well as Reichenbach 1944, first sketched in Reichenbach 1935. On their approach, a conditional…

Logic · Mathematics 2019-07-29 Paul Egré , Lorenzo Rossi , Jan Sprenger

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form "If $\sim A$, then $A$", should not hold,…

Logic · Mathematics 2021-09-13 Niki Pfeifer , Giuseppe Sanfilippo

This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines a (finite) {\em Boolean algebra of…

Logic · Mathematics 2020-06-11 Tommaso Flaminio , Lluis Godo , Hykel Hosni

The language of probability is used to define several different types of conditional statements. There are four principal types: subjunctive, material, existential, and feasibility. Two further types of conditionals are defined using the…

Logic · Mathematics 2014-09-29 Joseph W. Norman

De Finetti's betting argument is used to justify finitely additive probabilities when only finitely many bets are considered. Under what circumstances can countably many bets be used to justify countable additivity? In this framework, one…

Probability · Mathematics 2013-05-08 Rafael Bassi Stern , Joseph Born Kadane

This paper discusses the scope and significance of the so-called triviality result stated by Allan Gibbard for indicative conditionals, showing that if a conditional operator satisfies the Law of Import-Export, is supraclassical, and is…

Logic · Mathematics 2020-06-17 Paul Egré , Lorenzo Rossi , Jan Sprenger

We present a semantics for adding uncertainty to conditional logics for default reasoning and belief revision. We are able to treat conditional sentences as statements of conditional probability, and express rules for revision such as "If A…

Artificial Intelligence · Computer Science 2013-03-08 Craig Boutilier

In this paper a conditional logic is defined and studied. This conditional logic, Deterministic Bayesian Logic, is constructed as a deterministic counterpart to the (probabilistic) Bayesian conditional. The logic is unrestricted, so that…

Logic in Computer Science · Computer Science 2011-11-09 Frederic Dambreville

Conditional logics play an important role in recent attempts to formulate theories of default reasoning. This paper investigates first-order conditional logic. We show that, as for first-order probabilistic logic, it is important not to…

Artificial Intelligence · Computer Science 2009-09-25 Nir Friedman , Joseph Y. Halpern , Daphne Koller

Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the logic of conditionals in this setting. Here we extend this…

Artificial Intelligence · Computer Science 2018-07-31 Duligur Ibeling

We present locally complete inference rules for probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Crucially, in contrast to similar inference rules in the literature, our inference rules are…

Artificial Intelligence · Computer Science 2013-02-01 Thomas Lukasiewicz
‹ Prev 1 2 3 10 Next ›