On some open problems in reflective inductive inference

被引：0
|
作者：
Jain, Sanjay [1 ]
机构：
[1] Natl Univ Singapore, Sch Comp, Singapore 117590, Singapore
来源：
INFORMATION PROCESSING LETTERS | 2009年 / 109卷 / 03期
关键词：
Theory of computation; Inductive inference; Reflection; Consistency; RECURSIVE FUNCTIONS;
D O I：
10.1016/j.ipl.2008.10.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we show that there exist classes of functions which call be learnt by a finite learner which reflects oil its capability, but not learnable by a consistent learner which optimistically reflects oil its capability. This solves the two mentioned open problems from [G. Grieser, Reflective inductive inference of recursive functions. Theoretical Computer Science A 397 (1-3) (2008) 57-69 (Special Issue on Forty Years of Inductive Inference. Dedicated to the 60th Birthday of Rolf Wiehagen)]. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：208 / 211
页数：4
相关论文
共 50 条
  • [21] Learning in Pessiland via Inductive Inference
    Hirahara, Shuichi
    Nanashima, Mikito
    2023 IEEE 64TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCS, 2023, : 447 - 457
  • [22] A map of update constraints in inductive inference
    Koetzing, Timo
    Palenta, Raphaela
    THEORETICAL COMPUTER SCIENCE, 2016, 650 : 4 - 24
  • [23] Inductive inference by using information compression
    Choi, B
    COMPUTATIONAL INTELLIGENCE, 2003, 19 (02) : 164 - 185
  • [24] Inductive Inference and Partition Exchangeability in Classification
    Corander, Jukka
    Cui, Yaqiong
    Koski, Timo
    ALGORITHMIC PROBABILITY AND FRIENDS: BAYESIAN PREDICTION AND ARTIFICIAL INTELLIGENCE, 2013, 7070 : 91 - 105
  • [25] Program Vulnerability Repair via Inductive Inference
    Zhang, Yuntong
    Gao, Xiang
    Duck, Gregory J.
    Roychoudhury, Abhik
    PROCEEDINGS OF THE 31ST ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2022, 2022, : 691 - 702
  • [26] On the inductive inference of recursive real-valued functions
    Apsitis, K
    Arikawa, S
    Freivalds, R
    Hirowatari, E
    Smith, CH
    THEORETICAL COMPUTER SCIENCE, 1999, 219 (1-2) : 3 - 17
  • [27] Strong monotonic and set-driven inductive inference
    Jain, S
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1997, 9 (01) : 137 - 143
  • [28] Active inductive inference in children and adults: A constructivist perspective
    Bramley, Neil R.
    Xu, Fei
    COGNITION, 2023, 238
  • [29] FROM INDUCTIVE INFERENCE TO ALGORITHMIC LEARNING-THEORY
    WIEHAGEN, R
    NEW GENERATION COMPUTING, 1994, 12 (04) : 321 - 335
  • [30] INDUCTIVE INFERENCE OF LOGIC PROGRAMS BASED ON ALGEBRAIC SEMANTICS
    SAKAKIBARA, Y
    NEW GENERATION COMPUTING, 1990, 7 (04) : 365 - 380
12345