-
Subjective probability, trivalent logics and compound conditionals
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
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 con…
▽ More
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échet-Hoeffding bounds) are preserved in our approach. We also recall the characterization of p-consistency and p-entailment by our notion of conjunction.
△ Less
Submitted 23 January, 2023;
originally announced January 2023.
-
Compound conditionals as random quantities and Boolean algebras
Authors:
Tommaso Flaminio,
Angelo Gilio,
Lluis Godo,
Giuseppe Sanfilippo
Abstract:
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 object, with betting-based semantics, and its related approach as random quantity as mainly developed by two of the authors. Compound conditionals have been studied i…
▽ More
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 object, with betting-based semantics, and its related approach as random quantity as mainly developed by two of the authors. Compound conditionals have been studied in the literature, but not in full generality. In this paper we provide a natural procedure to explicitly attach conditional random quantities to arbitrary compound conditionals that also allows us to compute their previsions. By studying the properties of these random quantities, we show that, in fact, the set of compound conditionals can be endowed with a Boolean algebraic structure. In doing so, we pave the way to build a bridge between the long standing tradition of three-valued conditionals and a more recent proposal of looking at conditionals as elements from suitable Boolean algebras.
△ Less
Submitted 6 May, 2022; v1 submitted 29 April, 2022;
originally announced April 2022.
-
Iterated Conditionals and Characterization of P-entailment
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
In this paper we deepen, in the setting of coherence, some results obtained in recent papers on the notion of p-entailment of Adams and its relationship with conjoined and iterated conditionals. We recall that conjoined and iterated conditionals are suitably defined in the framework of conditional random quantities. Given a family $\mathcal{F}$ of $n$ conditional events…
▽ More
In this paper we deepen, in the setting of coherence, some results obtained in recent papers on the notion of p-entailment of Adams and its relationship with conjoined and iterated conditionals. We recall that conjoined and iterated conditionals are suitably defined in the framework of conditional random quantities. Given a family $\mathcal{F}$ of $n$ conditional events $\{E_1|H_1,\ldots, E_n|H_n\}$ we denote by $\mathscr{C}(\mathcal{F})=(E_1|H_1)\wedge \cdots \wedge (E_n|H_n)$ the conjunction of the conditional events in $\mathcal{F}$. We introduce the iterated conditional $\mathscr{C}(\mathcal{F}_2)|\mathscr{C}(\mathcal{F}_1)$, where $\mathcal{F}_1$ and $\mathcal{F}_2$ are two finite families of conditional events, by showing that the prevision of $\mathscr{C}(\mathcal{F}_2)\wedge \mathscr{C}(\mathcal{F}_1)$ is the product of the prevision of $\mathscr{C}(\mathcal{F}_2)|\mathscr{C}(\mathcal{F}_1)$ and the prevision of $\mathscr{C}(\mathcal{F}_1)$. Likewise the well known equality $(A\wedge H)|H=A|H$, we show that $ (\mathscr{C}(\mathcal{F}_2)\wedge \mathscr{C}(\mathcal{F}_1))|\mathscr{C}(\mathcal{F}_1)= \mathscr{C}(\mathcal{F}_2)|\mathscr{C}(\mathcal{F}_1)$. Then, we consider the case $\mathcal{F}_1=\mathcal{F}_2=\mathcal{F}$ and we verify for the prevision $μ$ of $\mathscr{C}(\mathcal{F})|\mathscr{C}(\mathcal{F})$ that the unique coherent assessment is $μ=1$ and, as a consequence, $\mathscr{C}(\mathcal{F})|\mathscr{C}(\mathcal{F})$ coincides with the constant 1. Finally, by assuming $\mathcal{F}$ p-consistent, we deepen some previous characterizations of p-entailment by showing that $\mathcal{F}$ p-entails a conditional event $E_{n+1}|H_{n+1}$ if and only if the iterated conditional $(E_{n+1}|H_{n+1})\,|\,\mathscr{C}(\mathcal{F})$ is constant and equal to 1. We illustrate this characterization by an example related with weak transitivity.
△ Less
Submitted 15 September, 2021; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Compound conditionals, Fréchet-Hoeffding bounds, and Frank t-norms
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
In this paper we consider compound conditionals, Fréchet-Hoeffding bounds and the probabilistic interpretation of Frank t-norms. By studying the solvability of suitable linear systems, we show under logical independence the sharpness of the Fréchet-Hoeffding bounds for the prevision of conjunctions and disjunctions of $n$ conditional events. We study the set of all coherent prevision assessments o…
▽ More
In this paper we consider compound conditionals, Fréchet-Hoeffding bounds and the probabilistic interpretation of Frank t-norms. By studying the solvability of suitable linear systems, we show under logical independence the sharpness of the Fréchet-Hoeffding bounds for the prevision of conjunctions and disjunctions of $n$ conditional events. We study the set of all coherent prevision assessments on a family containing $n$ conditional events and their conjunction, by verifying that it is convex. We discuss the case where the prevision of conjunctions is assessed by Lukasiewicz t-norms and we give explicit solutions for the linear systems; then, we analyze a selected example. We obtain a probabilistic interpretation of Frank t-norms and t-conorms as prevision of conjunctions and disjunctions of conditional events, respectively. Then, we characterize the sets of coherent prevision assessments on a family containing $n$ conditional events and their conjunction, or their disjunction, by using Frank t-norms, or Frank t-conorms. By assuming logical independence, we show that any Frank t-norm (resp., t-conorm) of two conditional events $A|H$ and $B|K$, $T_λ(A|H,B|K)$ (resp., $S_λ(A|H,B|K)$), is a conjunction $(A|H)\wedge (B|K)$ (resp., a disjunction $(A|H)\vee (B|K)$). By considering a family $\mathcal{F}$ containing three conditional events, their conjunction, and all pairwise conjunctions we give some results on Frank t-norms and coherence of the prevision assessments on $\mathcal{F}$. By assuming logical independence, we show that it is coherent to assess the previsions of all the conjunctions by means of Minimum and Product t-norms. We verify by a counterexample that, when the previsions of conjunctions are assessed by the Lukasiewicz t-norm, coherence is not assured.
△ Less
Submitted 10 September, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
Probabilities of conditionals and previsions of iterated conditionals
Authors:
Giuseppe Sanfilippo,
Angelo Gilio,
David Over,
Niki Pfeifer
Abstract:
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…
▽ More
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.
△ Less
Submitted 13 March, 2020; v1 submitted 11 December, 2019;
originally announced December 2019.
-
Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
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 decompos…
▽ More
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 $\mathscr{F}$ constituted by $n$ conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $\mathscr{F}\cup \mathscr{K}$, where $\mathscr{K}$ is the set of conditional constituents associated with the conditional events in $\mathscr{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.
△ Less
Submitted 23 August, 2020; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Conjunction of Conditional Events and T-norms
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We s…
▽ More
We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm.
△ Less
Submitted 2 October, 2019; v1 submitted 19 March, 2019;
originally announced March 2019.
-
Generalized Logical Operations among Conditional Events
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
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 com…
▽ More
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échet-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.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Probabilistic entailment and iterated conditionals
Authors:
Angelo Gilio,
Niki Pfeifer,
Giuseppe Sanfilippo
Abstract:
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 $[0,1]$. We examine the iterated conditional $(B|K)|(A|H)$, by showing that $A|H$ p-entails $B|K$ if and only if $(B|K)|(A|H) = 1$. Then, we show that a p-consistent family…
▽ More
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 $[0,1]$. We examine the iterated conditional $(B|K)|(A|H)$, by showing that $A|H$ p-entails $B|K$ if and only if $(B|K)|(A|H) = 1$. Then, we show that a p-consistent family $\mathcal{F}=\{E_1|H_1,E_2|H_2\}$ p-entails a conditional event $E_3|H_3$ if and only if $E_3|H_3=1$, or $(E_3|H_3)|QC(\mathcal{S})=1$ for some nonempty subset $\mathcal{S}$ of $\mathcal{F}$, where $QC(\mathcal{S})$ is the quasi conjunction of the conditional events in $\mathcal{S}$. Then, we examine the inference rules $And$, $Cut$, $Cautious $ $Monotonicity$, and $Or$ of System~P and other well known inference rules ($Modus$ $Ponens$, $Modus$ $Tollens$, $Bayes$). We also show that $QC(\mathcal{F})|\mathcal{C}(\mathcal{F})=1$, where $\mathcal{C}(\mathcal{F})$ is the conjunction of the conditional events in $\mathcal{F}$. We characterize p-entailment by showing that $\mathcal{F}$ p-entails $E_3|H_3$ if and only if $(E_3|H_3)|\mathcal{C}(\mathcal{F})=1$. Finally, we examine \emph{Denial of the antecedent} and \emph{Affirmation of the consequent}, where the p-entailment of $(E_3|H_3)$ from $\mathcal{F}$ does not hold, by showing that $(E_3|H_3)|\mathcal{C}(\mathcal{F})\neq1.$
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
A Generalized Probabilistic Version of Modus Ponens
Authors:
Giuseppe Sanfilippo,
Niki Pfeifer,
Angelo Gilio
Abstract:
Modus ponens (\emph{from $A$ and "if $A$ then $C$" infer $C$}, short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from $P(A)$ and $P(C|A)$ infer $P(C)$). In this paper, we generalize the probabilistic MP by replacing $A$ by the conditional event $A|H$. The result…
▽ More
Modus ponens (\emph{from $A$ and "if $A$ then $C$" infer $C$}, short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from $P(A)$ and $P(C|A)$ infer $P(C)$). In this paper, we generalize the probabilistic MP by replacing $A$ by the conditional event $A|H$. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic MP coincide with the respective bounds on the conclusion for the (non-nested) probabilistic MP.
△ Less
Submitted 30 April, 2017;
originally announced May 2017.
-
Probabilistic inferences from conjoined to iterated conditionals
Authors:
Giuseppe Sanfilippo,
Niki Pfeifer,
David E. Over,
Angelo Gilio
Abstract:
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$, $P(B|A)$. We identify a conditional which is such that $P(\textit{if } A \textit{ then } B)= P(B|A)$ with de Finetti's conditional event, $B|A$. An objection to m…
▽ More
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$, $P(B|A)$. We identify a conditional which is such that $P(\textit{if } A \textit{ 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.
△ Less
Submitted 10 November, 2017; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Transitive reasoning with imprecise probabilities
Authors:
Angelo Gilio,
Niki Pfeifer,
Giuseppe Sanfilippo
Abstract:
We study probabilistically informative (weak) versions of transitivity, by using suitable definitions of defaults and negated defaults, in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we prove the coherent proba…
▽ More
We study probabilistically informative (weak) versions of transitivity, by using suitable definitions of defaults and negated defaults, in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Finally, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving the p-entailment for the associated knowledge bases.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Conditional Random Quantities and Compounds of Conditionals
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 17 April, 2013;
originally announced April 2013.
-
Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms:…
▽ More
We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms: minimum, product, Lukasiewicz, and Hamacher t-norms and their dual t-conorms. On this basis we obtain Quasi And and Quasi Or rules. These are rules for which any finite family of conditional events p-entails the associated quasi conjunction and quasi disjunction. We examine some cases of logical dependencies, and we study the relations among coherence, inclusion for conditional events, and p-entailment. We also consider the Or rule, where quasi conjunction and quasi disjunction of premises coincide with the conclusion. We analyze further aspects of quasi conjunction and quasi disjunction, by computing probabilistic bounds on premises from bounds on conclusions. Finally, we consider biconditional events, and we introduce the notion of an $n$-conditional event. Then we give a probabilistic interpretation for a generalized Loop rule. In an appendix we provide explicit expressions for the Hamacher t-norm and t-conorm in the unitary hypercube.
△ Less
Submitted 20 March, 2013;
originally announced March 2013.
-
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
Authors:
Angelo Gilio,
Giuseppe Sanfilippo
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 January, 2013;
originally announced January 2013.
-
Precise Propagation of Upper and Lower Probability Bounds in System P
Authors:
Angelo Gilio
Abstract:
In this paper we consider the inference rules of System P in the framework of coherent imprecise probabilistic assessments. Exploiting our algorithms, we propagate the lower and upper probability bounds associated with the conditional assertions of a given knowledge base, automatically obtaining the precise probability bounds for the derived conclusions of the inference rules. This allows a more…
▽ More
In this paper we consider the inference rules of System P in the framework of coherent imprecise probabilistic assessments. Exploiting our algorithms, we propagate the lower and upper probability bounds associated with the conditional assertions of a given knowledge base, automatically obtaining the precise probability bounds for the derived conclusions of the inference rules. This allows a more flexible and realistic use of System P in default reasoning and provides an exact illustration of the degradation of the inference rules when interpreted in probabilistic terms. We also examine the disjunctive Weak Rational Monotony of System P+ proposed by Adams in his extended probability logic.
△ Less
Submitted 7 March, 2000;
originally announced March 2000.
