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 条
  • [31] Second-order Logic and the Power Set
    Ethan Brauer
    Journal of Philosophical Logic, 2018, 47 : 123 - 142
  • [32] Asymptotic Monadic Second-Order Logic
    Blumensath, Achim
    Carton, Olivier
    Colcombet, Thomas
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 87 - +
  • [33] Weighted Automata and Monadic Second Order Logic
    Labai, Nadia
    Makowsky, Johann A.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (119): : 122 - 135
  • [34] Measure Quantifier in Monadic Second Order Logic
    Michalewski, Henryk
    Mio, Matteo
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 267 - 282
  • [35] Second-order Logic and the Power Set
    Brauer, Ethan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2018, 47 (01) : 123 - 142
  • [36] The undecidability of second order multiplicative linear logic
    Lafont, Y
    Scedrov, A
    INFORMATION AND COMPUTATION, 1996, 125 (01) : 46 - 51
  • [37] Extensionalizing Intensional Second-Order Logic
    Payne, Jonathan
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) : 243 - 261
  • [38] Second-Order Logic and Set Theory
    Vaananen, Jouko
    PHILOSOPHY COMPASS, 2015, 10 (07): : 463 - 478
  • [39] Second-order Propositional Announcement Logic
    Belardinelli, Francesco
    van Ditmarsch, Hans
    van der Hoek, Wiebe
    AAMAS'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2016, : 635 - 643
  • [40] A restricted second order logic for finite structures
    Dawar, A
    INFORMATION AND COMPUTATION, 1998, 143 (02) : 154 - 174
12345