11 found
Sort by:
  1. P. P. Prabhudesai, Sanjay Jain, Aziz Keshvani & K. P. Kulkarni (forthcoming). Research Analysis Report. Ethics.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. John Case & Sanjay Jain (2011). Rice and Rice-Shapiro Theorems for Transfinite Correction Grammars. Mathematical Logic Quarterly 57 (5):504-516.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Lorenzo Carlucci, John Case & Sanjay Jain (2009). Learning Correction Grammars. Journal of Symbolic Logic 74 (2):489-516.
    We investigate a new paradigm in the context of learning in the limit, namely, learning correction grammars for classes of computably enumerable (c.e.) languages. Knowing a language may feature a representation of it in terms of two grammars. The second grammar is used to make corrections to the first grammar. Such a pair of grammars can be seen as a single description of (or grammar for) the language. We call such grammars correction grammars. Correction grammars capture the observable fact that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle & James S. Royer (2006). Generality's Price: Inescapable Deficiencies in Machine-Learned Programs. Annals of Pure and Applied Logic 139 (1):303-326.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Andris Ambainis, John Case, Sanjay Jain & Mandayam Suraj (2004). Parsimony Hierarchies for Inductive Inference. Journal of Symbolic Logic 69 (1):287-327.
    Freivalds defined an acceptable programming system independent criterion for learning programs for functions in which the final programs were required to be both correct and "nearly" minimal size, i.e., within a computable function of being purely minimal size. Kinber showed that this parsimony requirement on final programs limits learning power. However, in scientific inference, parsimony is considered highly desirable. A lim-computablefunction is (by definition) one calculable by a total procedure allowed to change its mind finitely many times about its output. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Sanjay Jain & Jochen Nessel (2001). Some Independence Results for Control Structures in Complete Numberings. Journal of Symbolic Logic 66 (1):357-382.
    Acceptable programming systems have many nice properties like s-m-n-Theorem, Composition and Kleene Recursion Theorem. Those properties are sometimes called control structures, to emphasize that they yield tools to implement programs in programming systems. It has been studied, among others by Riccardi and Royer, how these control structures influence or even characterize the notion of acceptable programming system. The following is an investigation, how these control structures behave in the more general setting of complete numberings as defined by Mal'cev and Eršov.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Vivek S. Borkar, Sanjay Jain & Govindan Rangarajan (1998). Dynamics of Individual Specialization and Global Diversification in Communities. Complexity 3 (3):50-56.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Sanjay Jain & Arun Sharma (1997). Characterizing Language Identification in Terms of Computable Numberings. Annals of Pure and Applied Logic 84 (1):51-72.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Sanjay Jain & Arun Sharma (1997). The Structure of Intrinsic Complexity of Learning. Journal of Symbolic Logic 62 (4):1187-1201.
    Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (from a graph of the function) have served as models for investigating the boundaries of learnability. Recently, a new approach to the study of "intrinsic" complexity of identification in the limit has been proposed. This approach, instead of dealing with the resource requirements of the learning algorithm, uses the notion of reducibility from recursion theory to compare (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Ganesh Baliga, John Case, Sanjay Jain & Mandayam Suraj (1994). Machine Learning of Higher-Order Programs. Journal of Symbolic Logic 59 (2):486-500.
    A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of generator programs for computable functions is studied. To motivate these studies partially, it is shown that, in some cases, interesting global properties for computable functions can be proved from suitable generator programs which cannot be proved from any ordinary programs for them. The power (for variants of various learning criteria from the literature) of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Lance Fortnow, William Gasarch, Sanjay Jain, Efim Kinber, Martin Kummer, Stuart Kurtz, Mark Pleszkovich, Theodore Slaman, Robert Solovay & Frank Stephan (1994). Extremes in the Degrees of Inferability. Annals of Pure and Applied Logic 66 (3):231-276.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation