A sufficient condition, in terms of a de Finetti style representation, is given for a probability function in Inductive Logic (with relations of all arities) satisfying Spectrum Exchangeability to additionally satisfy Language Invariance. This condition is shown to also be necessary in the case of homogeneous probability functions. In contrast it is proved that (purely) t-heterogeneous probability functions can never be members of a language invariant family satisfying Spectrum Exchangeability.
Language invariance and spectrum exchangeability in inductive logic / J. Landes, J. Paris, A. Vencovska (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty / [a cura di] K. Mellouli. - Berlin : Springer-Verlag, 2007. - ISBN 978-3-540-75255-4. - pp. 151-160 (( Intervento presentato al 9. convegno European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty : ECSQARU tenutosi a Hammamet : October 31 - November 2 nel 2007 [10.1007/978-3-540-75256-1_16].
Language invariance and spectrum exchangeability in inductive logic
J. LandesPrimo
;
2007
Abstract
A sufficient condition, in terms of a de Finetti style representation, is given for a probability function in Inductive Logic (with relations of all arities) satisfying Spectrum Exchangeability to additionally satisfy Language Invariance. This condition is shown to also be necessary in the case of homogeneous probability functions. In contrast it is proved that (purely) t-heterogeneous probability functions can never be members of a language invariant family satisfying Spectrum Exchangeability.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
