Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic

被引：8
|
作者：
Landes, J. [1 ]
Paris, J. B. [1 ]
Vencovska, A. [1 ]
机构：
[1] Univ Manchester, Sch Math, Manchester M13 9PL, Lancs, England
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2009年 / 51卷 / 01期
基金：
英国工程与自然科学研究理事会;
关键词：
Uncertain reasoning; Inductive logic; Probability logic; Spectrum exchangeability; de Finetti's theorem; Equality;
D O I：
10.1016/j.ijar.2009.07.001
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We prove de Finetti style representation theorems covering the class of all probability functions satisfying spectrum exchangeability in polyadic inductive logic and give an application by characterizing those probability functions satisfying spectrum exchangeability which can be extended to a language with equality whilst still satisfying that property. (C) 2009 Elsevier Inc. All rights reserved.
引用
收藏
页码：35 / 55
页数：21
相关论文
共 50 条
12345