On a syntactic characterization of classification with a mind change bound

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3559 LNAI, Issue , 2005, Pages 413-428

  Martin, Eric ^a   Sharma, Arun ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Difference hierarchies; Mind changes; Normal forms

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; HIERARCHICAL SYSTEMS; LEARNING SYSTEMS; SYNTACTICS;

DIFFERENCE HIERARCHIES; MIND CHANGES; NONCOMPUTABLE CLASSIFIER; NORMAL FORMS;

CLASSIFICATION (OF INFORMATION);

EID: 26944478909     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11503415_28     Document Type: Conference Paper

References (10)

1. A. Ambainis, R. Freivalds and C. Smith: Inductive Inference with Procrastination: Back to Definitions. Fundamenta Informaticae. 40 pp. 1-16 (1999)
2. A. Ambainis, S. Jain and A. Sharma: Ordinal mind change complexity of language identification. Theoretical Computer Science. 220(2) pp. 323-343 (1999)
3. R. Freivalds and C. Smith: On the role of procrastination for machine learning. Inform. Comput. 107(2) pp. 237-271 (1993)
4. W. Gasarch, M. Pleszkoch, F. Stephan and M. Velauthapillai: Classification using information. Annals of Mathematics and Artificial Intelligence. Selected papers from ALT 1994 and All 1994, vol. 23, pp. 147-168 (1998)
5. S. Jain, D. Osherson, J. Royer and A. Sharma: Systems that learn: An Introduction to Learning Theory, Second Edition. The MIT Press (1999)
6. A. Kechris: Classical Descriptive Set Theory. Graduate Texts in Mathematics 156, Springer Verlag (1994)
7. E. Martin and D. Osherson: Elements of Scientific Inquiry. The MIT Press (1998)
8. E. Martin, A. Sharma and F. Stephan: Unifying Logic, Topology and Learning in Parametric Logic. Theoretical Computer Science, special issue for ALT 2002, to appear.
9. D. Osherson, M. Stob and S. Weinstein: A universal inductive inference machine. Journal of Symbolic Logic, vol. 56(2), pp. 661-672 (1991)
10. F. Stephan: On one-sided versus two-sided classification. Archive for Mathematical Logic, vol. 40, pp. 489-513 (2001)