Learning, logic, and topology in a common framework

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

Volumn 2533, Issue , 2002, Pages 248-262

  Martin, Eric ^a   Sharma, Arun ^a   Stephan, Frank ^b  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b UNIVERSITY OF HEIDELBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; TOPOLOGY;

FIRST ORDER LOGIC; LEARNING THEORY; LOGICAL CONSEQUENCES; MIND CHANGES; SECOND LEVEL; TOPOLOGICAL NOTIONS; WEAK COMPACTNESS;

COMPUTER CIRCUITS;

EID: 84942804600     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36169-3_21     Document Type: Conference Paper

References (23)

1. Ambainis, A., Jain, S., Sharma, A.: Ordinal mind change complexity of language identification. Theoretical Computer Science. 220(2) (1999) 323–343
2. Angluin, D.: Inductive Inference of Formal Languages from Positive Data. Information and Control. 45 (1980) 117–135
3. Apt, K., Bol, R.: Logic Programming and Negation: A Survey. Journal of Logic Programming. 19/20 (1994) 177–190
4. Doets, K.: From Logic to Logic Programming. The MIT Press. (1994)
5. Ershov, Yu.: A hierarchy of sets I, II, III. Algebra and Logika. 7(1) (1968) 47–74. 7(4) (1968) 15–47. 9(1) (1969) 34–51
6. Freivalds, R., Smith, C.: On the role of procrastination for machine learning. Information and Computation. 107(2) (1993) 237–271
7. Gasarch, W., Pleszkoch, M., Stephan, F., Velauthapillai, M.: Classification using information. Annals of Mathematics and Artificial Intelligence. Selected papers from ALT 1994 and AII 1994. 23 (1998) 147–168
8. Gold, E.: Language Identification in the Limit. Information and Control. 10 (1967) 447–474
9. Jain, S., Sharma, A.: Elementary formal systems, intrinsic complexity, and procrastination. Information and Computation. 132(1) (1997) 65–84
10. Kechris, A.: Classical Descriptive Set Theory. Graduate Texts in Mathematics 156. Springer-Verlag. (1994)
11. Keisler, H.: Fundamentals of Model Theory. In Barwise, J., ed.: Handbook of Mathematical Logic, Elsevier. (1977)
12. Kelly, K.: The Logic of Reliable Inquiry. Oxford University Press. (1996).
13. Lukaszewicz, W.: Non-Monotonic Reasoning, formalization of commonsense reasoning. Ellis Horwood Series in Artificial Intelligence. (1990)
14. Makkai, M.: Admissible Sets and Infinitary Logic. In Barwise, J., ed.: Handbook of Mathematical Logic, Elsevier. (1977)
15. Martin, E., Osherson, D.: Elements of Scientific Inquiry. The MIT Press. (1998)
16. Martin, E., Sharma, A., Stephan, F.: A General Theory of Deduction, Induction, and Learning. In Jantke, K., Shinohara, A.: Proceedings of the Fourth International Conference on Discovery Science. Springer-Verlag. (2001) 228–242
17. Martin, E., Nguyen, P., Sharma, A., Stephan, F.: Learning in Logic with RichProlog. Proceedings of the Eighteenth International Conference on Logic Programming. To appear. (2002)
18. Nienhuys-Cheng, S., de Wolf, R.: Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, Springer-Verlag. (1997)
19. Odifreddi, P.: Classical Recursion Theory. North-Holland. (1989)
20. Osherson, D., Stob, M., Weinstein, S. Systems that learn. The MIT Press. (1986)
21. Popper, K.: The Logic of Scientific Discovery. Hutchinson. (1959)
22. Stephan, F.: On one-sided versus two-sided classification Archive for Mathematical Logic. 40 (2001) 489–513.
23. Stephan, F., Terwijn, A.: Counting extensional differences in BC-learning. In Proccedings of the 5th International Colloquium Grammatical Inference, Lisbon, Portugal. Springer-Verlag. (2000) 256–269