Inductive inference in supervised classification context constitutes to methods and approaches to assign some objects or items into different predefined classes using a formal rule that is derived from training data and possibly some additional auxiliary information. The optimality of such an assignment varies under different conditions due to intrinsic attributes of the objects being considered for such a task. One of these cases is when all the objects' features are discrete variables with a priori known categories. As another example, one can consider a modification of this case with a priori unknown categories. These two cases are the main focus of this thesis and based on Bayesian inductive theories, de Finetti type exchangeability is a suitable assumption that facilitates the derivation of classifiers in the former scenario. On the contrary, this type of exchangeability is not applicable in the latter case, instead, it is possible to utilise the partition exchangeability due to John Kingman. These two types of exchangeabilities are discussed and furthermore here I investigate inductive supervised classifiers based on both types of exchangeabilities. I further demonstrate that the classifiers based on de Finetti type exchangeability can optimally handle test items independently of each other in the presence of infinite amounts of training data while on the other hand, classifiers based on partition exchangeability still continue to benefit from joint labelling of all the test items. Additionally, it is shown that the inductive learning process for the simultaneous classifier saturates when the amount of test data tends to infinity.
翻译:监督分类的诱导推论是指使用来自培训数据的正式规则以及可能的额外辅助信息,将某些物体或物品分配到不同预设类别的方法和办法,这些方法和方法是使用来自培训数据的正式规则以及可能的额外辅助信息,这种分配的最佳性在不同条件下各不相同,因为所考虑的物体的内在特性,这种任务的内在特性不同。其中一种情况是,所有物体的特性都是离散的变量,具有先知的类别。另一个例子是,可以考虑用先知的未知类别来修改这个案件。这两个案例是这一理论的主要焦点,并基于巴耶斯的隐含理论。 de Finetty型互换性是一个适当的假设,有利于在前一种情况中产生分类者。相反,这种类型的互换性因不同条件而不同,在后一种情况中不适用,因此有可能利用约翰·金曼的分置互换性。讨论这两种类型的互换性,此外,我还可以根据两种互换性类型调查内含性的监督性分类。我还进一步证明,基于不精度型易互换性的分类方法的分类者可以最佳地处理前一种假设项目。