基于JATLite代理平台的程序设计ICAI的研制
|
摘要
随着信息时代的到来，社会对软件人才的需求急剧增长，软件人才的培养成为新世纪的一大热点。程序设计CAI(Computer Aided Instruction)软件作为培养软件人才的一种全新辅助教学工具，成为世界各地专家关注的焦点。当前很多程序设计教学软件质量不高，比较注重介绍“知识”，特别是语言的语法和语义；无法给出程序设计的过程分析，对于程序的由来讲述不清；忽略了程序设计能力的培养。其中程序设计理论的不完善是主要原因之一。
算法程序设计是程序设计的关键。薛锦云教授在多项国家级课题的资助下，根据多年从事算法程序设计的方法和实验研究成果，创造性地提出了一种简单实用的设计和证明算法的形式化方法——PAR。PAR方法是一种统一的算法开发方法，可取代目前普遍使用的分治法、动态规划法、贪心法等算法设计方法，支持算法程序开发的全过程，能够给出程序设计的过程分析。本项研究以两个国家自然科学基金高技术探索项目：实用的软件形式化方法和高可靠性Java程序开发方法研究的研究成果为基础，使用PAR方法进行程序设计的教学，将代理技术运用于系统的构建，初步实现了基于多代理的程序设计ICAI(Intelligent Compuzer Aided Instruction)系统。
在系统的研制过程中，本文主要从事了以下工作：
1．较深入地研究了程序设计方法和PAR方法，将该方法相关知识划分成知识点，以知识点为中心构建了本系统；
2．研究了教育学方面的知识，总结和归纳了一些适合计算机和程序设计ICAI使用的教学策略：
3．仔细比较了国内外代理平台间的优缺点，在此基础上，选择Stanford University的JATLite代理平台作为本系统代理的开发平台；
4．研究了代理的构建，并在系统中构建了多个代理，在多代理的协作过程中贯彻教学策略；
5．较深入地研究了代理交流语言KQML，按KQML格式，提出本系统代理交互协议：
6．研究了多媒体技术，特别是SUN公司提供的JMF(Java Media Framework)；利用JMF在教学软件中加入多媒体机制，增强了学习效果。
本研究主要进行了如下创新：
1．以知识点为中心构建系统的领域知识库；
2．通过PAR方法教授程序设计，能够阐述程序设计的过程，真正提高学生的
基于JATLite代理平台的程序设计ICAI的研制
程序设计能力;
3.针对学习难度不同，系统分成四个等级的教学环境，并创建不同的教师代
理负责相应的教学环境;
4.根据学生能力等级的不同，利用多代理之间的协作，指派不同的代理生成
相应的教学或测试环境，实现因材施教，因材施测;
5.遵循KQML格式，针对本系统多代理之间的交互，制定了各代理之间的交互
协议;
6.将以R方法的支撑工具—自动程序转换系统集成进本系统，使学生可以
利用自动程序转换系统的纠错、调试和运行功能检测作答结果;
7.利用JAVA中多线程技术，实现启发式教学。在学生练习过程中，能够给出
提示信息，启发学生完成练习，并提供答题过程中的动态纠错机制;
8.分析学生的答题情况，找出薄弱环节复习;
9.事实性知识讲解采用三分屏技术，用视频在教学过程中加强教学的效果;
10.系统界面上直接引入数学符号工具栏，方便用户的使用。
研究过程中，教学策略的制定、代理的构建和多代理之间通讯协议的制定是
重点和难点。
As the coming of Information Age , there is an urgent demand of software talents ,but currently the quality of many programming instruction software is not high ,which always emphasize introducing knowledge ,especially grammar and semantic of programming language; can't give the analysis of programming process;can't explain the origin of program; neglect the training of programming ability. Amongst the incompleteness of programming design theory is one of the main reasons.
Algorithmic design is the key of programming design. According to research of several projects supported by 863 Hi-Tech Programme and National Natural Science Foundation of China, Professor Xue proposed a simple and practicable approach for
formal development and proving of Algorithmic programs-PAR method.PAR
method is a uniform algorithm development method, can take the place of current methods of Algorithmic Design such as Divide method > Dynamic Plan method, Greedy method etc. Our Research is based on Two High-Tech Exploring Projects of National Natural Science Foundation of China , use PAR method as the teaching content of Intelligent Instruction software, apply the agent technology to the construction of system, implement the muti-agent ICAI system of programming design. The primary works we have done in this paper are as follows:
1. researching further PAR method, dividing the PAR method's related knowledge into knowledge points ,constructing the system around the knowledge points;
2. researching the knowledge of pedagogy, summing up some instructional strategy which adopts to the use of computer and ICAI of Programming Design;
3. making a comparison of domestic agent platforms and abroad agent platforms, then getting the advantages and disadvantages. Here we choose JATLite agent platform of Stanford University as our developing platform in this system.
4. researching the agent's construction .constructing many agents in the system, combining the instructional strategy in the agents' collaboration;
5. making a further study in agent communicate language KQML, then in the form of KQML put forward the agent interactive protocol of the system
6. studying the muti-media technology ,esp. JAVA Media Framework(JMF) provided by SUN; with the help of JMF, adding muti-media in the instruction software, boosting the effect of study
During the time of research and implementation, we make the following innovations:
1.Constructing the Knowledge Base of the system according to the knowledge
points;
2..Teaching programming by PAR method , can elaborating the process of
programming.truly improving the ability of programming;
3.According to difficulty of study, dividing the system into four level teaching
environments and creating different teacher agent with responsibility for its
corresponding environment;
4.Using the collaboration of muti-agent, assigning the different agent to creating
corresponding teaching environment or testing environment,implementing
teaching and testing by the different ability of the students;
5.Making the interative protocol between the different agents in the system
according to KQML;
6.Integrating the program automatic transformation system into our system ,
checking the student's answer according to the functions of error-checking N
debugging, runnning of the program automatic transformation system;
7.Using the muti-thread technology of JAVA, implementing heuristic teaching,
giving the suggestive information to help students to complete the practice during
the process of student's practice and providing the mechanic of dynamically
error-checking during the process of answer;
8. Analysing the student's cirsus, finding the weakness of student to review;
9. Adapting the trisection Screen Teachnology , strengthing the effect of teaching by video in the teaching process;
10. Adding the mathematic symbol toolbar in the system interface to facilitate the use of student.
The difficulty of the research is the making of instruction strategy, the construction of agen
算法程序设计是程序设计的关键。薛锦云教授在多项国家级课题的资助下，根据多年从事算法程序设计的方法和实验研究成果，创造性地提出了一种简单实用的设计和证明算法的形式化方法——PAR。PAR方法是一种统一的算法开发方法，可取代目前普遍使用的分治法、动态规划法、贪心法等算法设计方法，支持算法程序开发的全过程，能够给出程序设计的过程分析。本项研究以两个国家自然科学基金高技术探索项目：实用的软件形式化方法和高可靠性Java程序开发方法研究的研究成果为基础，使用PAR方法进行程序设计的教学，将代理技术运用于系统的构建，初步实现了基于多代理的程序设计ICAI(Intelligent Compuzer Aided Instruction)系统。
在系统的研制过程中，本文主要从事了以下工作：
1．较深入地研究了程序设计方法和PAR方法，将该方法相关知识划分成知识点，以知识点为中心构建了本系统；
2．研究了教育学方面的知识，总结和归纳了一些适合计算机和程序设计ICAI使用的教学策略：
3．仔细比较了国内外代理平台间的优缺点，在此基础上，选择Stanford University的JATLite代理平台作为本系统代理的开发平台；
4．研究了代理的构建，并在系统中构建了多个代理，在多代理的协作过程中贯彻教学策略；
5．较深入地研究了代理交流语言KQML，按KQML格式，提出本系统代理交互协议：
6．研究了多媒体技术，特别是SUN公司提供的JMF(Java Media Framework)；利用JMF在教学软件中加入多媒体机制，增强了学习效果。
本研究主要进行了如下创新：
1．以知识点为中心构建系统的领域知识库；
2．通过PAR方法教授程序设计，能够阐述程序设计的过程，真正提高学生的
基于JATLite代理平台的程序设计ICAI的研制
程序设计能力;
3.针对学习难度不同，系统分成四个等级的教学环境，并创建不同的教师代
理负责相应的教学环境;
4.根据学生能力等级的不同，利用多代理之间的协作，指派不同的代理生成
相应的教学或测试环境，实现因材施教，因材施测;
5.遵循KQML格式，针对本系统多代理之间的交互，制定了各代理之间的交互
协议;
6.将以R方法的支撑工具—自动程序转换系统集成进本系统，使学生可以
利用自动程序转换系统的纠错、调试和运行功能检测作答结果;
7.利用JAVA中多线程技术，实现启发式教学。在学生练习过程中，能够给出
提示信息，启发学生完成练习，并提供答题过程中的动态纠错机制;
8.分析学生的答题情况，找出薄弱环节复习;
9.事实性知识讲解采用三分屏技术，用视频在教学过程中加强教学的效果;
10.系统界面上直接引入数学符号工具栏，方便用户的使用。
研究过程中，教学策略的制定、代理的构建和多代理之间通讯协议的制定是
重点和难点。
As the coming of Information Age , there is an urgent demand of software talents ,but currently the quality of many programming instruction software is not high ,which always emphasize introducing knowledge ,especially grammar and semantic of programming language; can't give the analysis of programming process;can't explain the origin of program; neglect the training of programming ability. Amongst the incompleteness of programming design theory is one of the main reasons.
Algorithmic design is the key of programming design. According to research of several projects supported by 863 Hi-Tech Programme and National Natural Science Foundation of China, Professor Xue proposed a simple and practicable approach for
formal development and proving of Algorithmic programs-PAR method.PAR
method is a uniform algorithm development method, can take the place of current methods of Algorithmic Design such as Divide method > Dynamic Plan method, Greedy method etc. Our Research is based on Two High-Tech Exploring Projects of National Natural Science Foundation of China , use PAR method as the teaching content of Intelligent Instruction software, apply the agent technology to the construction of system, implement the muti-agent ICAI system of programming design. The primary works we have done in this paper are as follows:
1. researching further PAR method, dividing the PAR method's related knowledge into knowledge points ,constructing the system around the knowledge points;
2. researching the knowledge of pedagogy, summing up some instructional strategy which adopts to the use of computer and ICAI of Programming Design;
3. making a comparison of domestic agent platforms and abroad agent platforms, then getting the advantages and disadvantages. Here we choose JATLite agent platform of Stanford University as our developing platform in this system.
4. researching the agent's construction .constructing many agents in the system, combining the instructional strategy in the agents' collaboration;
5. making a further study in agent communicate language KQML, then in the form of KQML put forward the agent interactive protocol of the system
6. studying the muti-media technology ,esp. JAVA Media Framework(JMF) provided by SUN; with the help of JMF, adding muti-media in the instruction software, boosting the effect of study
During the time of research and implementation, we make the following innovations:
1.Constructing the Knowledge Base of the system according to the knowledge
points;
2..Teaching programming by PAR method , can elaborating the process of
programming.truly improving the ability of programming;
3.According to difficulty of study, dividing the system into four level teaching
environments and creating different teacher agent with responsibility for its
corresponding environment;
4.Using the collaboration of muti-agent, assigning the different agent to creating
corresponding teaching environment or testing environment,implementing
teaching and testing by the different ability of the students;
5.Making the interative protocol between the different agents in the system
according to KQML;
6.Integrating the program automatic transformation system into our system ,
checking the student's answer according to the functions of error-checking N
debugging, runnning of the program automatic transformation system;
7.Using the muti-thread technology of JAVA, implementing heuristic teaching,
giving the suggestive information to help students to complete the practice during
the process of student's practice and providing the mechanic of dynamically
error-checking during the process of answer;
8. Analysing the student's cirsus, finding the weakness of student to review;
9. Adapting the trisection Screen Teachnology , strengthing the effect of teaching by video in the teaching process;
10. Adding the mathematic symbol toolbar in the system interface to facilitate the use of student.
The difficulty of the research is the making of instruction strategy, the construction of agen
引文
[1]Xue Jinyun。 Two new strategies for developing loop invariants and its applications. Journal of Computer Sciences and Technology, 1993(3)
[2]Xue Jinyun。 A Unified Approach For Developing Efficient Algorithmic Programs. Journal of Computer Sciences and Technology. 1997,7
[3]Xue Jinyun。 A Simple Program Whose Derivation and Proof is Also, IEEE ICFEM' 97,1997,11
[4]Xue Jinyun。 A Derivation and Proof of Knuth' s Binary to Decimal Program, Software-concepts and tools VOL. 18 Springer Verlag, 1997,9
[5]Sue Jinyun。 Formal Development of Graph Algorithmic Programs Using Partition-and-Recur , Journal of Computer Sciences and Technology. Vol. 13. No. 6,1998
[6]Xue Jinyun, A Practicable Approach for Formal Development of Algorithmic Programs, ISFST' 99 in Nanjing, 1999.10
[7]Xue Jin Yun, A Practicable Approach for Formal Development of Algorithmic Programs, The Proceedings of The international Symposium on Future software Technology(ISFST' 99),Published by Software Engineers Associations of Japan, 1999.
[8]N.R.Jennings, M.Wooldridge, Applications of Intelligent Agents, http:/www.cs.umbc.edu/agents/introduction/jennings98.pdf
[9]Heecheol Jeon, Charles Petrie , and Mark R. Cutkosky, JATLite: A Java Agent Infrastructure With Message Routing, IEEE INTERNET COMPUTING, 2000,3
[10]Genesereth,M. R.,Ketchpel, S. P, (1994)Software agents. Communication of the ACM, 37(7),48-53.
[11]Wooldridge, M.,Jennings, N.R. (1995)Intelligent Agents: theory and practice. The Knowledge Engineering Review, 10(2),115-152.
[12]J.M. Bradshaw, " An Introduction to Software Agents ." ,in Software Agents, Bradshaw, J.M. (ed.),Cambridge, MA:MIT Press 1997.
[13]Hyacinth S. Nwana, Software Agents: An Overview, Knowledge Engineering Review, Vol 11, No3, pp. 205-244,October/Novamber 1996.
[14]H.S. Nwana&D. T. Ndumu, A Perspective on Software Agents Research, In The Knowledge Engineering Review, Vol114, No 2, ppl-18,1999.
[15]Finin T, Labrou Y, Mayfield J. KQML as an agent communication language, In jeff Bradshaw(Ed.),Software Agents. Cambridge :MIT Press, 1997.
[16]Tom Fentin-Kerr, Steve Clark etc, Muti-Agent Design In Flexible Learning Environments, Center for New Technologies in Teaching & Learning(NeTTL),University of Sydney, Australia, ASCILITE , 1998
[17]Duane A. Bailey Java Structures,WCB/McGraw-Hill, 1999,12
[18]David. Wiley, An integrated approach to Keller's ARCS modelof motivational.
design,
[19]Sue Ellen Hansen, Screen Design guidelines for Blaise Instruments
[20][Brooks 1995] Frederick Brooks。 The Mythical Man-Month. 汪颖译。Addison Wesley 1995。
[21]LABROU Y, et al. A proposal for a new KQML specification [R] . ARPA Knowledge Sharing Initiative, External Interfaces Working Group Working Paper, 1997.
[22]WEBER F. et al. Draft specification of the KQML agent-communication language, computer science [Z] University of Maryland Baltimore County, BaltimoreMD for Current Status.http:www.cs.umbc.edu/kqml/kqm/spec.ps.
[23]陈冠岭，等．Agent的通讯语言——KQML[J]．计算机科学，1998，25(6)．35-09．
[24]Kevin Mukhar,Todd Lauinger,Johnn Carnell，魏海萍等译，Java数据库应用程序编程指南，电子工业出版社，2002，1
[25](美)Bruce Eckel，京京工作室泽。JAVA编程思想，机械工业出版社，1999．4
[26]薛锦云，新型程序设计智能CAI环境研究
[27]薛锦云，形式工程方法研究的由来和发展——首届IEEE形式工程方法国际会议概况，1997．11
[28]薛锦云。两种新的循环不变式开发策略及其应用，91年全国理论计算机科学年会论文集
[29]薛锦云。算法程序形式化开发研究，云南大学学报(自然科学版)，1997，19(增刊)
[30]薛锦云，程序规范及其变换技术(一)，计算机与现代化，1993．6
[31]薛锦云，程序规范及其变换技术(二)，计算机与现代化，1993．9
[32]祝智庭，CAI的教学策略设计
[33]Margaret Ann Boden,刘西瑞，王汉琦泽，人工智能哲学，上海译文出版社
[34]薛锦云，高质量计算机程序设计CAI系统研究，《计算机教育应用与教育革新》，全球华人计算机教育应用大会论文集(GCCCE97)，Edited by李克东，何克抗，北京师范大学出版社
[35]薛锦云等，程序设计方法，国家高等教育出版社，2001年。
[36]陈火旺，罗朝辉，马庆鸣。程序设计方法学基础。湖南科学技术出版社，1987．4
[37]薛锦云。算法设计语言Radl报告。江西师范大学计算机软件研究所技术报告，2001．9
[38]薛锦云。抽象程序设计语言Apla报告。江西师范大学计算机软件研究所技术报告，2001．9
[39]薛锦云，刘亚男，计算机程序设计ICAI系统领域知识库的设计和实现，全球华人计算机教育应用大会论文集(GCCCE99)，1999．6
[40]薛锦云。一种系统的算法程序设计和证明方法。理论计算机科学进展，1994．10
[41]杨庆红。利用PAR方法开发若干问题的算法程序，江西师范大学硕士学位论文，2000．
[42]张灵玲等，基于Internet的课件信息发现和收集Agent的研究，计算机研究与发展1999，4(465-471)
[43]潘金贵等，一个个性化的信息搜集Agent的设计与实现，软件学报，Vol 12,No 7．2001
[44]Michael Wooldridge,石纯一等译，多Agent系统引论，电子工业出版社，2003，10
[45]张云勇，移动Agent及其应用，清华大学出版社，2002，1
[46]刘甘娜等，计算机辅助教学软件开发工具及应用，电子工业出版社，1996，3
[47]宋云娴，白鹏，智能教学系统设计与实现，电子工业出版社，1995，11
[48]李诚等，完全掌握JBuilder 8，机械工业出版社，2003,9
[49]David M．Geary,李建森等泽，Java 2图形设计 卷2：SWING机械工业出版社，2000，2
[50]师书恩，计算机辅助教育基本原理，电子工业出版社，1995，11
[51]傅德荣，计算机辅助教学软件设计，电子工业出版社，1995，11
[52]王晓京，基于自动推理的新型ICAI化学系统——研究与实现[博士论文]，中国科学院成都计算所，1999
[53]陈光喜，李传中，王晓京，何维，生成传统解答的初中物理智能CAI系统——原理、结构与关键技术，计算机应用，2001 Vol．21 No．2
[54]化志章，计算机程序设计ICAI教学决策实验系统研究[硕士论文]。江西师范大学，2000．5
[55]NilsJ．Nilsson．郑扣根 庄越挺译．人工智能[M]．机械工业出版社，2000
[56]代春艳等．智能计算机辅助教学系统中Agent的构建[J]．渝洲大学学报自然科学版1998．12
[57]刘大有等．Agent研究现状与发展趋势[J]．软件学报，2000．11
[58]王保华，PMICAI测试实验系统研究[硕士论文]。江西师范大学。2000．5
[59]熊宛皎，带有自动推理功能的程序设计ICAI系统研究[硕士论文]。江西师范大学。2003．5
[60]胡启敏，基于J2EE的程序设计智能教学软件平台研究[硕士论文]。江西师范大学。2003．5
[61]赖勇，Apla-C++程序自动转换系统的研制[硕士论文]。江西师范大学。2002．5
[62]骆健，Apla-Java程序自动转换系统的研制[硕士论文]。江西师范大学。2002．5
[63]http://developer.ccidnet.com/pub/disp/Article?columnID=322&articleID=26754&pageNO=1
[64]陈凯泉．网络教学中智能代理的应用，远程教育杂志 2002年第4期
[2]Xue Jinyun。 A Unified Approach For Developing Efficient Algorithmic Programs. Journal of Computer Sciences and Technology. 1997,7
[3]Xue Jinyun。 A Simple Program Whose Derivation and Proof is Also, IEEE ICFEM' 97,1997,11
[4]Xue Jinyun。 A Derivation and Proof of Knuth' s Binary to Decimal Program, Software-concepts and tools VOL. 18 Springer Verlag, 1997,9
[5]Sue Jinyun。 Formal Development of Graph Algorithmic Programs Using Partition-and-Recur , Journal of Computer Sciences and Technology. Vol. 13. No. 6,1998
[6]Xue Jinyun, A Practicable Approach for Formal Development of Algorithmic Programs, ISFST' 99 in Nanjing, 1999.10
[7]Xue Jin Yun, A Practicable Approach for Formal Development of Algorithmic Programs, The Proceedings of The international Symposium on Future software Technology(ISFST' 99),Published by Software Engineers Associations of Japan, 1999.
[8]N.R.Jennings, M.Wooldridge, Applications of Intelligent Agents, http:/www.cs.umbc.edu/agents/introduction/jennings98.pdf
[9]Heecheol Jeon, Charles Petrie , and Mark R. Cutkosky, JATLite: A Java Agent Infrastructure With Message Routing, IEEE INTERNET COMPUTING, 2000,3
[10]Genesereth,M. R.,Ketchpel, S. P, (1994)Software agents. Communication of the ACM, 37(7),48-53.
[11]Wooldridge, M.,Jennings, N.R. (1995)Intelligent Agents: theory and practice. The Knowledge Engineering Review, 10(2),115-152.
[12]J.M. Bradshaw, " An Introduction to Software Agents ." ,in Software Agents, Bradshaw, J.M. (ed.),Cambridge, MA:MIT Press 1997.
[13]Hyacinth S. Nwana, Software Agents: An Overview, Knowledge Engineering Review, Vol 11, No3, pp. 205-244,October/Novamber 1996.
[14]H.S. Nwana&D. T. Ndumu, A Perspective on Software Agents Research, In The Knowledge Engineering Review, Vol114, No 2, ppl-18,1999.
[15]Finin T, Labrou Y, Mayfield J. KQML as an agent communication language, In jeff Bradshaw(Ed.),Software Agents. Cambridge :MIT Press, 1997.
[16]Tom Fentin-Kerr, Steve Clark etc, Muti-Agent Design In Flexible Learning Environments, Center for New Technologies in Teaching & Learning(NeTTL),University of Sydney, Australia, ASCILITE , 1998
[17]Duane A. Bailey Java Structures,WCB/McGraw-Hill, 1999,12
[18]David. Wiley, An integrated approach to Keller's ARCS modelof motivational.
design,
[19]Sue Ellen Hansen, Screen Design guidelines for Blaise Instruments
[20][Brooks 1995] Frederick Brooks。 The Mythical Man-Month. 汪颖译。Addison Wesley 1995。
[21]LABROU Y, et al. A proposal for a new KQML specification [R] . ARPA Knowledge Sharing Initiative, External Interfaces Working Group Working Paper, 1997.
[22]WEBER F. et al. Draft specification of the KQML agent-communication language, computer science [Z] University of Maryland Baltimore County, BaltimoreMD for Current Status.http:www.cs.umbc.edu/kqml/kqm/spec.ps.
[23]陈冠岭，等．Agent的通讯语言——KQML[J]．计算机科学，1998，25(6)．35-09．
[24]Kevin Mukhar,Todd Lauinger,Johnn Carnell，魏海萍等译，Java数据库应用程序编程指南，电子工业出版社，2002，1
[25](美)Bruce Eckel，京京工作室泽。JAVA编程思想，机械工业出版社，1999．4
[26]薛锦云，新型程序设计智能CAI环境研究
[27]薛锦云，形式工程方法研究的由来和发展——首届IEEE形式工程方法国际会议概况，1997．11
[28]薛锦云。两种新的循环不变式开发策略及其应用，91年全国理论计算机科学年会论文集
[29]薛锦云。算法程序形式化开发研究，云南大学学报(自然科学版)，1997，19(增刊)
[30]薛锦云，程序规范及其变换技术(一)，计算机与现代化，1993．6
[31]薛锦云，程序规范及其变换技术(二)，计算机与现代化，1993．9
[32]祝智庭，CAI的教学策略设计
[33]Margaret Ann Boden,刘西瑞，王汉琦泽，人工智能哲学，上海译文出版社
[34]薛锦云，高质量计算机程序设计CAI系统研究，《计算机教育应用与教育革新》，全球华人计算机教育应用大会论文集(GCCCE97)，Edited by李克东，何克抗，北京师范大学出版社
[35]薛锦云等，程序设计方法，国家高等教育出版社，2001年。
[36]陈火旺，罗朝辉，马庆鸣。程序设计方法学基础。湖南科学技术出版社，1987．4
[37]薛锦云。算法设计语言Radl报告。江西师范大学计算机软件研究所技术报告，2001．9
[38]薛锦云。抽象程序设计语言Apla报告。江西师范大学计算机软件研究所技术报告，2001．9
[39]薛锦云，刘亚男，计算机程序设计ICAI系统领域知识库的设计和实现，全球华人计算机教育应用大会论文集(GCCCE99)，1999．6
[40]薛锦云。一种系统的算法程序设计和证明方法。理论计算机科学进展，1994．10
[41]杨庆红。利用PAR方法开发若干问题的算法程序，江西师范大学硕士学位论文，2000．
[42]张灵玲等，基于Internet的课件信息发现和收集Agent的研究，计算机研究与发展1999，4(465-471)
[43]潘金贵等，一个个性化的信息搜集Agent的设计与实现，软件学报，Vol 12,No 7．2001
[44]Michael Wooldridge,石纯一等译，多Agent系统引论，电子工业出版社，2003，10
[45]张云勇，移动Agent及其应用，清华大学出版社，2002，1
[46]刘甘娜等，计算机辅助教学软件开发工具及应用，电子工业出版社，1996，3
[47]宋云娴，白鹏，智能教学系统设计与实现，电子工业出版社，1995，11
[48]李诚等，完全掌握JBuilder 8，机械工业出版社，2003,9
[49]David M．Geary,李建森等泽，Java 2图形设计 卷2：SWING机械工业出版社，2000，2
[50]师书恩，计算机辅助教育基本原理，电子工业出版社，1995，11
[51]傅德荣，计算机辅助教学软件设计，电子工业出版社，1995，11
[52]王晓京，基于自动推理的新型ICAI化学系统——研究与实现[博士论文]，中国科学院成都计算所，1999
[53]陈光喜，李传中，王晓京，何维，生成传统解答的初中物理智能CAI系统——原理、结构与关键技术，计算机应用，2001 Vol．21 No．2
[54]化志章，计算机程序设计ICAI教学决策实验系统研究[硕士论文]。江西师范大学，2000．5
[55]NilsJ．Nilsson．郑扣根 庄越挺译．人工智能[M]．机械工业出版社，2000
[56]代春艳等．智能计算机辅助教学系统中Agent的构建[J]．渝洲大学学报自然科学版1998．12
[57]刘大有等．Agent研究现状与发展趋势[J]．软件学报，2000．11
[58]王保华，PMICAI测试实验系统研究[硕士论文]。江西师范大学。2000．5
[59]熊宛皎，带有自动推理功能的程序设计ICAI系统研究[硕士论文]。江西师范大学。2003．5
[60]胡启敏，基于J2EE的程序设计智能教学软件平台研究[硕士论文]。江西师范大学。2003．5
[61]赖勇，Apla-C++程序自动转换系统的研制[硕士论文]。江西师范大学。2002．5
[62]骆健，Apla-Java程序自动转换系统的研制[硕士论文]。江西师范大学。2002．5
[63]http://developer.ccidnet.com/pub/disp/Article?columnID=322&articleID=26754&pageNO=1
[64]陈凯泉．网络教学中智能代理的应用，远程教育杂志 2002年第4期