Second order inductive logic and Wilmers' principle

被引：1

作者：

Kliess, M. S. ^{[1
]}

Paris, J. B. ^{[1
]}

机构：

[1] Univ Manchester, Sch Math, Manchester M13 9PL, Lancs, England

来源：

JOURNAL OF APPLIED LOGIC | 2014年 / 12卷 / 04期

关键词：

Universal Certainty; Second Order Logic; Inductive Logic; Probability Logic; Uncertain Reasoning;

D O I：

10.1016/j.jal.2014.07.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship with the first order principles of Regularity and Super Regularity. (C) 2014 Elsevier B.V. All rights reserved.

引用

页码：462 / 476

页数：15