We study in the setting of probabilistic default reasoning under coherence the quasi conjunction, which is a basic notion for defining consistency of conditional knowledge bases, and the Goodman & Nguyen inclusion relation for conditional events. We deepen two results given in a previous paper: the first result concerns p-entailment from a finite family of conditional events to the quasi conjunction , for each nonempty subset of ; the second result analyzes the equivalence between p-entailment from and p-entailment from , where is some nonempty subset of . We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and inclusion relation, by introducing for a pair the class of the subsets of such that implies E|H. This class is additive and has a greatest element which can be determined by applying a suitable algorithm. © 2011 Springer-Verlag Berlin Heidelberg.
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning / Gilio, Angelo; Giuseppe, Sanfilippo. - STAMPA. - 6717(2011), pp. 497-508. ((Intervento presentato al convegno 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2011 tenutosi a Belfast nel 29 June 2011 through 1 July 2011. - LECTURE NOTES IN COMPUTER SCIENCE. [10.1007/978-3-642-22152-1_42].
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
GILIO, ANGELO;
2011
Abstract
We study in the setting of probabilistic default reasoning under coherence the quasi conjunction, which is a basic notion for defining consistency of conditional knowledge bases, and the Goodman & Nguyen inclusion relation for conditional events. We deepen two results given in a previous paper: the first result concerns p-entailment from a finite family of conditional events to the quasi conjunction , for each nonempty subset of ; the second result analyzes the equivalence between p-entailment from and p-entailment from , where is some nonempty subset of . We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and inclusion relation, by introducing for a pair the class of the subsets of such that implies E|H. This class is additive and has a greatest element which can be determined by applying a suitable algorithm. © 2011 Springer-Verlag Berlin Heidelberg.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.