scholarly journals Reflective inductive inference of recursive functions

2008 ◽  
Vol 397 (1-3) ◽  
pp. 57-69 ◽  
Author(s):  
Gunter Grieser
Keyword(s):  
Inductive Inference ◽  
Recursive Functions

INDUCTIVE INFERENCE OF LIMITING PROGRAMS WITH BOUNDED NUMBER OF MIND CHANGES

1996 ◽  
Vol 07 (03) ◽  
pp. 187-208
Author(s):  
JURIS VĪKSNA
Keyword(s):  
Finite Number ◽  
Inductive Inference ◽  
Recursive Functions ◽  
Bounded Number

We consider inductive inference of total recursive functions in the case, when produced hypotheses are allowed some finite number of times to change “their mind” about each value of identifiable function. Such type of identification, which we call inductive inference of limiting programs with bounded number of mind changes, by its power lies somewhere between the traditional criteria of inductive inference and recently introduced inference of limiting programs. We consider such model of inductive inference for EX and BC types of identification, and we study • tradeoffs between the number of allowed mind changes and the number of anomalies, and • relations between classes of functions identifiable with different probabilities. For the case of probabilistic identification we establish probabilistic hierarchies which are quite unusual for EX and BC types of inference.

scholarly journals Inductive inference of recursive functions: Complexity bounds

2005 ◽  
pp. 111-155 ◽  
Author(s):  
Rūsiņš Freivalds ◽  
Jānis Bārzdiņš ◽  
Kārlis Podnieks
Keyword(s):  
Inductive Inference ◽  
Complexity Bounds ◽  
Recursive Functions
Sign in / Sign up

Export Citation Format

Share Document