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 vertical bar H, we analyze the equivalence between p-entailment of E vertical bar H from F and p-entailment of E vertical bar 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 vertical bar H) the (possibly empty) class K of the subsets S of F such that C(S) implies E vertical bar H. We show that the class Kappa satisfies many properties; in particular K is additive and has a greatest element which can be determined by applying a suitable algorithm. (C) 2012 Elsevier Inc. All rights reserved.
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation / Gilio, Angelo; Giuseppe, Sanfilippo. - In: INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. - ISSN 0888-613X. - STAMPA. - 54:4(2013), pp. 513-525. (Intervento presentato al convegno 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSARU) tenutosi a Belfast, NORTH IRELAND nel JUN 29-JUL 01, 2011) [10.1016/j.ijar.2012.11.001].
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
GILIO, ANGELO;
2013
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 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 vertical bar H, we analyze the equivalence between p-entailment of E vertical bar H from F and p-entailment of E vertical bar 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 vertical bar H) the (possibly empty) class K of the subsets S of F such that C(S) implies E vertical bar H. We show that the class Kappa satisfies many properties; in particular K is additive and has a greatest element which can be determined by applying a suitable algorithm. (C) 2012 Elsevier Inc. All rights reserved.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.