Measures of inconsistency and defaults

AbstractWe introduce a method for measuring inconsistency based on the number of formulas needed for deriving a contradiction. The relationships to previously considered methods based on probability measures are discussed. Those methods are extended to conditional probability and default reasoning

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 $[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.

Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects

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