Conditional Random Quantities Research Articles

On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle

In this paper we first recall some results for conditional events, compound conditionals, conditional random quantities, p-consistency, and p-entailment. We discuss the equivalence between conditional bets and bets on conditionals, and review de Finetti's trivalent analysis of conditionals. But we go beyond de Finetti's early trivalent logical analysis and his later ideas, aiming to take his proposals to a higher level. We examine two recent articles that explore trivalent logics for conditionals and their definitions of logical validity and compare them with the approach to compound conditionals introduced by Gilio and Sanfilippo within the framework of conditional random quantities. As we use the notion of p-entailment, the full deduction theorem does not hold. We prove a Probabilistic Weak Deduction Theorem for conditional events. After that we study some variants of it, with further results, and we present several examples. Moreover, we illustrate how to derive new inference rules related to selected Aristotelian syllogisms. We focus on iterated conditionals and the invalidity of the Import-Export principle in the light of our Probabilistic Weak Deduction Theorem. We use the inference from a disjunction, A or B, to the conditional, if not-A then B, as an example to show the invalidity of this principle. We introduce a General Import-Export principle by examining examples and counterexamples. In particular, when considering the inference rules of System P, we find that a General Import-Export principle is satisfied, even if the assumptions of the Probabilistic Weak Deduction Theorem do not hold. We also deepen further aspects related to p-entailment and p-consistency. Finally, we briefly discuss some related work relevant to AI.

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.

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, thenA, 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|A¯\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${A| \\overline{A}}$$\\end{document} is p(A|A¯)=0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${p(A| \\overline{A})=0}$$\\end{document}. 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.

Algebraic aspects and coherence conditions for conjoined and disjoined conditionals

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by n conditional events and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula and we prove a suitable distributivity property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on F∪K, where K is the set of conditional constituents associated with the conditional events in F. Then, we give a further theoretical result and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications.

Probabilities of conditionals and previsions of iterated conditionals

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 to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then C as information, the probability of A should intuitively increase. We explain this intuition by making some implicit background information explicit. We consider several (generalized) iterated conditionals, which allow us to formalize different kinds of latent information. We verify that for these iterated conditionals the prevision is greater than or equal to the probability of A. We also investigate the lower and upper bounds of the Affirmation of the Consequent inference. We conclude our study with some remarks on the supposed “independence” of two conditionals, and we interpret this property as uncorrelation between two random quantities.

Generalized logical operations among conditional events

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 random quantities. We define the notion of negation, by verifying De Morgan's Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Fr\'echet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal{C}_{n+1}$ of $n+1$ conditional events to the family $\{\mathcal{C}_{n},E_{n+1}|H_{n+1}\}$. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid.

Probabilistic inferences from conjoined to iterated conditionals

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals.

Conditional Random Quantities and Compounds of Conditionals

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 conditional event $E|H$ is looked at as a three-valued quantity with values 1, or 0, or $p$, where $p$ is the probability of $E|H$. We introduce a notion of iterated conditional random quantity of the form $(X|H)|K$ defined as a suitable conditional random quantity, which coincides with $X|HK$ when $H \subseteq K$. Based on 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. We examine some cases of logical dependencies, by also showing that the conjunction may be a conditional event; moreover, we introduce the negation of the conjunction and by De Morgan's Law the operation of disjunction. Finally, we give the lower and upper bounds for the conjunction and the disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold.

Incomplete preferences on conditional random quantities: Representability by conditional previsions

We study “partial” preference relations, defined on an arbitrary set of conditional bounded random quantities: we provide a condition of rationality (interpretable in terms of betting scheme) characterizing preference relations representable by a conditional expectation. Moreover, we study the problem of extending a rational preference relation.

A notion of coherent conditional prevision for arbitrary random quantities

In the paper we give a notion of coherent prevision for arbitrary random quantities which extends the notions given by Holzer (1985) for bounded conditional random quantities and by Crisma et al. (1997) for arbitrary but unconditional random quantities. We show that the main properties of the prevision are preserved, apart from the multiplicative one which may fail in the presence of non-finite previsions.

Finitely additive conditional probabilities

This paper includes a concise survey of the work done in order to extend de Finetti's coherence condition to the prevision of conditional random quantities. Sections 1 and 2 deal with the equivalence among different formulations of the extended condition and analyse the relations between it and the usual axiomatic treatment of finitely additive probabilities and previsions. Sections 3 and 4 include some results and remarks about the extensibility of a coherent conditional prevision. Finally, Sections 5 and 6 consider conglomerative previsions in order to frame Kolmogorov's theory of conditional probability and expectation into the more general approach sketched in the previous sections.