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 条

[21] Cyclic proofs for first-order logic with inductive definitions
Brotherston, J
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 78 - 92
[22] Constraint Propagation for First-Order Logic and Inductive Definitions
Wittocx, Johan
Denecker, Marc
Bruynooghe, Maurice
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
[23] Monadic second order logic as the model companion of temporal logic
Ghilardi, Silvio
van Gool, Sam
PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 417 - 426
[24] Uncertainty Principle of the Second-order LPFT
Li, Xiumei
Bi, Guoan
ISCAS: 2009 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-5, 2009, : 325 - 328
[25] Inductive Logic
Vincenzo Crupi
Journal of Philosophical Logic, 2015, 44 : 641 - 650
[26] INDUCTIVE LOGIC
KORAL, D
ENERGY ENGINEERING, 1983, 80 (05) : 3 - 3
[27] Rudimentary languages and second-order logic
More, M
Olive, F
MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (03) : 419 - 426
[28] Alternative versions of second order logic: An introduction
Pedeferri, Andrea
EPISTEMOLOGIA, 2007, 30 (01): : 145 - 169
[29] Properties and the Interpretation of Second-Order Logic†
Hale, Bob
PHILOSOPHIA MATHEMATICA, 2013, 21 (02) : 133 - 156
[30] Relational model of second order linear logic
Bruasse-Bac, A
COMPTES RENDUS MATHEMATIQUE, 2002, 334 (02) : 93 - 96

← 1 2 3 4 5 →