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. Landes
Primo
;
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.
Inductive logic; Language invariance; Probability logic; Spectrum exchangeability; Uncertain reasoning
Settore MAT/01 - Logica Matematica
Settore M-FIL/02 - Logica e Filosofia della Scienza
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/948040
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact