914 research outputs found
A probabilistic analysis of selected notions of iterated conditioning under coherence
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 conditionals. We consider de Finetti's notion of conditional as a
three-valued object and as a conditional random quantity in the betting
framework. We recall the notions of conjunction and disjunction among
conditionals in selected trivalent logics. First, in the framework of specific
three-valued logics we analyze the notions of iterated conditioning introduced
by Cooper-Calabrese, de Finetti and Farrell, respectively. We show that the
compound probability theorem and other basic properties are not preserved by
these objects, by also computing some probability propagation rules. Then, for
each trivalent logic we introduce an iterated conditional as a suitable random
quantity which satisfies the compound prevision theorem and some of the
desirable properties. We also check the validity of two generalized versions of
Bayes' Rule for iterated conditionals. We study the p-validity of generalized
versions of Modus Ponens and two-premise centering for iterated conditionals.
Finally, we observe that all the basic properties are satisfied only by the
iterated conditional mainly developed in recent papers by Gilio and Sanfilippo
in the setting of conditional random quantities
Conjunction, disjunction and iterated conditioning of conditional events
Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold
A probabilistic analysis of selected notions of iterated conditioning under coherence
It is well known that basic conditionals satisfy some desirable basic logical and probabilistic properties, such as the compound probability theorem. However checking the validity of these becomes trickier when we switch to compound and iterated conditionals. Herein we consider de Finetti's notion of conditional both in terms of a three-valued object and as a conditional random quantity in the betting framework. We begin by recalling the notions of conjunction and disjunction among conditionals in selected trivalent logics. Then we analyze the notions of iterated conditioning in the frameworks of the specific three-valued logics introduced by Cooper-Calabrese, by de Finetti, and by Farrel. By computing some probability propagation rules we show that the compound probability theorem and other important properties are not always preserved by these formulations. Then, for each trivalent logic we introduce an iterated conditional as a suitable random quantity which satisfies the compound prevision theorem as well as some other desirable properties. We also check the validity of two generalized versions of Bayes' Rule for iterated conditionals. We study the p-validity of generalized versions of Modus Ponens and two-premise centering for iterated conditionals. Finally, we observe that all the basic properties are satisfied within the framework of iterated conditioning followed in recent papers by Gilio and Sanfilippo in the setting of conditional random quantities
Probabilistic entailment and iterated conditionals
In this paper we exploit the notions of conjoined and iterated conditionals,
which are defined in the setting of coherence by means of suitable conditional
random quantities with values in the interval . We examine the iterated
conditional , by showing that p-entails if and only if
. Then, we show that a p-consistent family
p-entails a conditional event if
and only if , or for some nonempty
subset of , where is the quasi
conjunction of the conditional events in . Then, we examine the
inference rules , , , and of System~P
and other well known inference rules ( , ,
). We also show that , where
is the conjunction of the conditional events in
. We characterize p-entailment by showing that
p-entails if and only if .
Finally, we examine \emph{Denial of the antecedent} and \emph{Affirmation of
the consequent}, where the p-entailment of from does
not hold, by showing that $(E_3|H_3)|\mathcal{C}(\mathcal{F})\neq1.
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals
We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the form if not-A, then A, should not hold, since the conditional’s antecedent not-A contradicts its consequent A. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional event A | not-A is p(A | not-A) = 0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms of suitable probabilistic constraints on conditional events. In the second approach we study connexivity within the coherence framework of compound conditionals, by interpreting connexive principles in terms of suitable conditional random quantities. After developing notions of validity in each approach, we analyze the following connexive principles: Aristotle’s theses, Aristotle’s Second Thesis, Abelard’s First Principle, and Boethius’ theses. We also deepen and generalize some principles and investigate further properties related to connexive logic (like non-symmetry). Both approaches satisfy minimal requirements for a connexive logic. Finally, we compare both approaches conceptually
On compound and iterated conditionals
We illustrate the notions of compound and iterated conditionals introduced, in recent papers, as suitable conditional random quantities, in the framework of coherence. We motivate our definitions by examining some concrete examples. Our logical operations among conditional events satisfy the basic probabilistic properties valid for unconditional events. We show that some, intuitively acceptable, compound sentences on conditionals can be analyzed in a rigorous way in terms of suitable iterated conditionals. We discuss the Import-Export principle, which is not valid in our approach, by also examining the inference from a material conditional to the associated conditional event. Then, we illustrate the characterization, in terms of iterated conditionals, of some well known p-valid and non p-valid inference rules
A Generalized Notion of Conjunction for Two Conditional Events
Traditionally the conjunction of conditional events has been defined as a three-valued object. However, in this way classical logical and probabilistic properties are not preserved. In recent literature, a notion of conjunction of two conditional events as a five-valued object satisfying classical probabilistic properties has been deepened in the setting of coherence. In this framework the conjunction of (A|H) \wedge (B|K) is defined as a conditional random quantity with set of possible values {1,0,x,y,z}, where x=P(A|H), y=P(B|K), and z is the prevision of (A|H) & (B|K).
In this paper we propose a generalization of this object, denoted by (A|H) \wedge_{a,b} (B|K), where the values x and y are replaced by two arbitrary values a,b in [0,1]. Then, by means of a geometrical approach, we compute the set of all coherent assessments on the family {A|H,B|K,(A|H) &_{a,b} (B|K)}, by also showing that in the general case the Fréchet-Hoeffding bounds for the conjunction are not satisfied. We also analyze some particular cases. Finally, we study coherence in the imprecise case of an interval-valued probability assessment and we consider further aspects on (A|H) &_{a,b} (B|K)
Subjective probability, trivalent logics and compound conditionals
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 of the two criteria by giving the geometrical interpretation of
coherence. We also consider the notion of coherence based on proper scoring
rules. We discuss conditional events in the trivalent logic of de Finetti and
the numerical representation of truth-values. We check the validity of selected
basic logical and probabilistic properties for some trivalent logics:
Kleene-Lukasiewicz-Heyting-de Finetti; Lukasiewicz; Bochvar-Kleene; Sobocinski.
We verify that none of these logics satisfies all the properties. Then, we
consider our approach to conjunction and disjunction of conditional events in
the setting of conditional random quantities. We verify that all the basic
logical and probabilistic properties (included the Fr\'{e}chet-Hoeffding
bounds) are preserved in our approach. We also recall the characterization of
p-consistency and p-entailment by our notion of conjunction
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
In this paper, by adopting a coherence-based probabilistic approach to
default reasoning, we focus the study on the logical operation of quasi
conjunction and the Goodman-Nguyen inclusion relation for conditional events.
We recall that quasi conjunction is a basic notion for defining consistency of
conditional knowledge bases. By deepening some results given in a previous
paper we show that, given any finite family of conditional events F and any
nonempty subset S of F, the family F p-entails the quasi conjunction C(S);
then, given any conditional event E|H, we analyze the equivalence between
p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some
nonempty subset of F. We also illustrate some alternative theorems related with
p-consistency and p-entailment. Finally, we deepen the study of the connections
between the notions of p-entailment and inclusion relation by introducing for a
pair (F,E|H) the (possibly empty) class K of the subsets S of F such that C(S)
implies E|H. We show that the class K satisfies many properties; in particular
K is additive and has a greatest element which can be determined by applying a
suitable algorithm
- …