The Research On ICAI Of Programming With Function Of Automatic Reasoning

Since 1970s, with the development of AI technology, the study on ICAI has sprung up and flourished. A lot of progress has been made. Nevertheless, it is necessary to point out that most of the successful ICAI systems built so far have all been centering on mathematics, chemistry and other subjects. Not many works have been done on programming CAI. On the other hand, there are strong demands for software talents with training far beyond classroom instructions. And existing software products do not meet market demand and requirement of being "intelligent". All these reveal a strong need of a large number of high-quality programming ICAI system. TheIn this thesis an ICAI system is built for this subject using automatic reasoning.We start from two respects to improve the quality of programming CAI. One is to start with education itself by selecting suitable programming method for teaching purpose. The other is to start with better teaching methods and techniques. In this thesis the PAR method, which invented by Professor Xue Jinyun, is chosen as the main teaching content. Combining with knowledge representation and automatic reasoning principle of AI and Generic Paradigm, the system has these main functions: ?it is able to show different solutions of typical example; (2) it can automatically generate problems similar to the example for students to solve by providing them with clues; (3) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real-time prompts to students concurrent with the students' solution processes with the help of automated reasoning; ?it provides exercises and is able to call a program produced by the group (the Translator), which transfers APLA programs to executable programs so as to verify its correctness; (5) it let teacher to add examples in the database; etc.hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation: About teaching content, we select PAR method as the main content. PAR method can explain the whole process of "problem-program" as well as improve substantially the programming skills of students; About the implement technology, the popular Generic Paradigm is incorporated and the results in AI (knowledge representation and automated reasoning) are used, which enables the system to be a truly "open system" with infinitely many problems and solutions, instead of just a compilation of fixed ones; About the function of thesystem, it incarnates the Constructivism and it has excellent human-machine interface, concurrence, and openness. In addition, the system also has the characteristics such as portability and maintainability, etc. Last, but not least, the multimedia technology has been widely used too. So far, the work presented in this thesis has paved a way of developing programming ICAI systems.