Knowledge based intelligent tutoring system
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.
- Bratko, I. (1986): " Prolog Programming for Artificial Intelligence", Addison-Wesley.Google Scholar
- 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
- Clancey, W. J. (1982): "Tutoring Rules for Guiding a Case Method Dialogue", Intelligent Tutoring Systems, Academic Press.Google Scholar
- Lehman, H. (1988): " The LEX-Project — Computers and Results", Natural Language at the Computer", Springer-Verlag.Google Scholar
- 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
- Miller, M. L. (1982): " A Structured Planning and Debugging Environment for Elementary Programming", Intelligent Tutoring Systems, Academic Press.Google Scholar
- 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
- Polson, M. C. and Richardson, J. J. (1988): " Foundations of Intelligent Tutoring Systems", Lawrence Erlbaum Associates Publishers.Google Scholar
- Schrijver, A. (1986): " Theory of Linear and Integer Programming", John Wiley and Sons.Google Scholar
- 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
- 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
- Utgoff, P. E. and Saxena, S. (1987): " Learning a Preference Predicate", Proc. of the Fourth Intertnational workshop on AI, Irvine, CL.Google Scholar
- 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