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 条

[1] An Analogy Principle in Inductive Logic
Hill, A.
Paris, J. B.
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (12) : 1293 - 1321
[2] A FUNDAMENTAL COMPLEMENTARY PRINCIPLE FOR INDUCTIVE LOGIC
GOODALL, MC
NATURE, 1962, 194 (4832) : 998 - &
[3] New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures
Ganzow, Tobias
Kaiser, Lukasz
COMPUTER SCIENCE LOGIC, 2010, 6247 : 366 - 380
[4] Team Logic and Second-Order Logic
Kontinen, Juha
Nurmi, Ville
FUNDAMENTA INFORMATICAE, 2011, 106 (2-4) : 259 - 272
[5] Team Logic and Second-Order Logic
Kontinen, Juha
Nurmi, Ville
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 230 - 241
[6] A SECOND ORDER LOGIC OF EXISTENCE
COCCHIARELLA, NB
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (01) : 57 - +
[7] Pure Second-Order Logic with Second-Order Identity
Paseau, Alexander
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (03) : 351 - 360
[8] REDUCTION OF SECOND-ORDER LOGIC TO MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A640 - A640
[9] A Defense of Second-Order Logic
Bueno, Otavio
AXIOMATHES, 2010, 20 (2-3): : 365 - 383
[10] A Defense of Second-Order Logic
Otávio Bueno
Axiomathes, 2010, 20 : 365 - 383

← 1 2 3 4 5 →