A general theory of deduction, induction, and learning

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

Volumn 2226, Issue , 2001, Pages 228-242

  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;

FIRST ORDER LOGIC; INDUCTIVE INFERENCE; LEARNING PARADIGMS; LOGICAL CONSEQUENCES; LOGICAL FRAMEWORKS; NATURAL EXTENSION; RESOLUTION PRINCIPLE; SCIENTIFIC ACTIVITY;

COMPUTER CIRCUITS;

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

References (18)

1. D. Angluin. Inductive Inference of Formal Languages from Positive Data. Information and Control, 45, 1980, p. 117–135
2. J. Barwise. Admissible Sets and Structures. Perspectives in Mathematical Logic, Springer-Verlag, 1975
3. K. Doets. From Logic to Logic Programming. MIT Press, 1994
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 AII 1994, 23:147-168, 1998
5. M. L. Ginsberg ed. Readings in Nonmonotonic reasoning. Morgan Kaufmann, 1987
6. L. Henkin. Completeness in the theoryof types. Journal of Symbolic Logic 15:81- 91, 1950.
7. S. Jain, D. N. Osherson, J. S. Royer and A. Sharma. Systems that learn: An Introduction to Learning Theory, Second Edition. The MIT Press, 1999
8. K. Kelly. The Logic of Reliable Inquiry. Oxford University Press, 1996
9. K. Kelly and C. Glymour. Inductive inference and theory-laden data. Journal of Philosophical Logic, 21(4), 1992
10. H. J. Keisler. Fundamentals of Model Theory. In Handbook of Mathematical Logic, Ed. J. Barwise, Springer-Verlag, 1977
11. J. W. Lloyd. Foundations of Logic Programming, 2nd edition. Springer-Verlag, 1987.
12. M. Makkai. Admissible Sets and InfinitaryLogic. In Handbook of Mathematical Logic, Ed. J. Barwise, Springer-Verlag, 1977
13. E. Martin and D. N. Osherson. Elements of Scientific Inquiry. The MIT Press, 1998
14. S. H. Nienhuys-Cheng and R. de Wolf. Foundations of Inductive Logic Programming. Lecture Notes in Artificial Intelligence, Vol. 1228, Springer-Verlag, 1997
15. K. Popper. The Logic of Scientific Discovery. Hutchinson, London, 1959
16. R. Reiter. On closed world data bases. In Logic and Data Bases, Ed. A. Gallaire and J. Minker. Plenum, New York, 1978
17. J. Shoenfield. Mathematical Logic. Addison-Wesley, 1967
18. S. M. Srivastava. A Course on Borel Sets. Graduate Texts in Mathematics 180. Springer-Verlag, 1998