The Research And Implementation Of Programming ICAI With Function Of Automatic Reasoning Based On Case And Rule

With the advancement of ICAI (Intelligence Computer Assisted Instruction)technology, there have been wide-spread applications of ICAI in many scientific fields. For example, in mathematics there are tools such as Geometry Tutor, Buggy System, Solid Geometry by Zhang JinZhong, and Analytic Geometry Intelligent Tutoring Software, and in Chemistry there is the New ICAI Chemistry System Based on Automatic Reasoning by Wang XiaoJin, among others. There have been attempts to introduce ICAI technique to the tutoring of programming but progress has been scarce. The reasons include (A) the principles of programming design have not been completed. There are many debates in programming design tutoring. Many advanced language tutoring texts and software packages are focusing on "knowledge", especially syntax and semantics, while ignoring training in programming skills; (B) Programming design is a subject full of creativity. How to provide an automatic solution to programming problems has not been formally dealt with. This has led to the fact that most programming design ICAI systems lack intelligence. Hence, there is a strong need for a new programming design ICAI. This ICAI uses a generic programming design method as a base. It can also perform automatic reasoning.Professor Xue Jinyun and his team have been working on programming design method for a long period of time. They have devised a creative method called PAR for algorithmic programming design and verification. This method includes algorithmic design language Radl, abstract programming design language Apia and related program automatic transformation system. By using PAR method, it is possible to get detailed design process from problem specification to executable code. It has been proved by applications that using PAR method in programming design tutoring can significantly improve students' programming ability. Based on PAR method, Professor Xue Jinyun proposed a new computer programming design education architecture. The main objective of this thesis is introducing this architecture to implement a new programming design ICAI system with automatic reasoning capability, this thesis is based on the Nation's Natural Science Fund Project which Xue Jinyun is taking charge of.The main objective of this thesis is to implement a new programming design ICAI system with automatic reasoning capability. Major contributions are summarized as follows:1. Studied automatic reasoning theory and characteristics of programming design courses; selected automatic reasoning methods, namely case-based and rule-based automatic reasoning methods, which are suitable for programming design;2. Summarized results on PAR methods. Collected existing examples developed using PAR method;and developed many typical algorithm programs using PAR method , to obtain rules; Classified those algorithm programs suitable for PAR method and obtained corresponding problem module and solution module; Generated infinite question base and theoretic foundation forcase-based automatic reasoning;3. Investigated AI knowledge representation method and predicate transformation in PAR method; Constructed a rule base for rule-based reasoning;4. Built a new ICAI system for programming design using case-based and rule-based automatic reasoning;In this thesis the automatic reasoning method for programming design has been investigated. Those algorithm programs suitable for PAR method has been classified. The generated reusable modules have been used in automatic reasoning. This is beneficial not only for further research in PAR method but also greatly strengthened the applicability of PAR method in software development formalization and automatization. In the mean time, it is very helpful for the ongoing research on Radl-Apla transformer. The quantifer change rule base has been organized. This work has made the quantifer change in programming design possible to be realized via rule-based automatic reasoning. It has laid the foundation for logic languag...