Knowledge based intelligent tutoring system

  • Liu Ning
  • Krzysztof J. Cios
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 360)


Declarative programming languages are more difficult to learn especially after being first exposed to procedural languages. The tutoring system was developed to help in learning of how to write Prolog programs, majority of which are recursive. The system requires initial definition of basic concepts about the problem to be solved in a form of facts and then form examples, supplied by a student, generates Prolog program. The method used for learning from examples is an incremental, inductive learning algorithm based on an zero-one integer programming model.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bratko, I. (1986): " Prolog Programming for Artificial Intelligence", Addison-Wesley.Google Scholar
  2. Cios, K.J. and Ning, L. (1988): "Learning New Concepts in Closed-World Domains", The Proc. of Third Annual Rocky Mountain Conf. on AI, Denver Colorado.Google Scholar
  3. Clancey, W. J. (1982): "Tutoring Rules for Guiding a Case Method Dialogue", Intelligent Tutoring Systems, Academic Press.Google Scholar
  4. Lehman, H. (1988): " The LEX-Project — Computers and Results", Natural Language at the Computer", Springer-Verlag.Google Scholar
  5. Michalski, R. S. (1986): " Understanding the Nature of Learning: Issues and Research Directions", MACHINE LEARNING — An Artificial Intelligence Approach, Vol II, Morgan Kaufmann.Google Scholar
  6. Miller, M. L. (1982): " A Structured Planning and Debugging Environment for Elementary Programming", Intelligent Tutoring Systems, Academic Press.Google Scholar
  7. Minton, S., Carbonell, J., Etzioni, O., Knoblock, C. A., and Kuokka, D. R. (1987): " Aquiring Effective Search Control Rules:Explanation_Based Learning in the PRODIGY System", Proc. of the Fourth Inter. Workingshop on AI, Irvine, CL.Google Scholar
  8. Mitchell, T., (1982): " Generalization as Search ", Artificial Intelligence, Vol 18, pp.203–226, North-Holland.CrossRefGoogle Scholar
  9. Polson, M. C. and Richardson, J. J. (1988): " Foundations of Intelligent Tutoring Systems", Lawrence Erlbaum Associates Publishers.Google Scholar
  10. Schrijver, A. (1986): " Theory of Linear and Integer Programming", John Wiley and Sons.Google Scholar
  11. Spackman, K. A. (1988): " Learning Categorical Decision Criteria in Biomedical Domains", Proc. of the Fifth Inter. Conf. on Machine Learning, Ann Arbor, MI.Google Scholar
  12. Stepp, R. E. and Michalski, R. S. (1986): "Conceptual Clustering: Inventing Goal—Oriented Classification of Structure Objects ", MACHINE LEARNING — An Atrifical Intelligence Approach, Vol II,Morgan Kaufmann.Google Scholar
  13. Utgoff, P. E. and Saxena, S. (1987): " Learning a Preference Predicate", Proc. of the Fourth Intertnational workshop on AI, Irvine, CL.Google Scholar
  14. Uszkoreit, H. (1988): " From Feature Bundles to Abstract Data Types: New Directions in the Representation and Processing Linguistic Knowledge ", Natural Language at the Computer, Springer-Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Liu Ning
    • 1
  • Krzysztof J. Cios
    • 1
  1. 1.The University of ToledoToledo

Personalised recommendations