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
相关论文
共 50 条
12345