基于范例、规则推理的新型程序设计ICAI系统研究与实现

搜索高级搜索

原创毕业论文

基于范例、规则推理的新型程序设计ICAI系统研究与实现

作者: 浏览:6次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
理工科专业论文
心理学论文范文
学前教育论文范文

毕业论文范文题目：基于范例、规则推理的新型程序设计ICAI系统研究与实现，论文范文关键词：基于范例、规则推理的新型程序设计ICAI系统研究与实现
基于范例、规则推理的新型程序设计ICAI系统研究与实现毕业论文范文介绍开始：
【论文摘要】：随着ICAI(IntelligenceComputerAssistedInstruction)技术的不断发展，其在许多学科领域已得到了广泛的应用。比如，在数学方面有著名的GeometryTutor、BUGGY系统、张景中的立体几何、解析几何智能教学软件等：在化学方面则有王晓京的基于自动推理的新型ICAI化学系统等。而在程序设计这一领域虽然也很早就引入了ICAI技术，但进展却很缓慢，究其原因在于，利用ICAI技术进行程序设计方面的教学相对于传统学科有以下难点：(1)程序设计理念还很不完善，如何进行程序设计教学尚存在许多有争议的问题。当前很多高级（此处忽略..）语言程序设计课件及教程，比较注重介绍“知识”，特别是语言的语法和语义，而忽略了程序设计能力的培养。(2)程序设计是一门具有创造性特征的学科，如何对程序设计问题进行自动求解，尚没有形成较规范的处理办法，这使得目前的大多数程序设计ICAI系统在智能性方面显得差强人意。因此，急需一个新型程序设计ICAI，这个ICAI是以一种普遍适用的程序设计方法作为教学基础，并且能够进行程序设计的自动推理。薛锦云教授及其梯队长期从事程序设计方法的研究，创造性地提出了算法程序设计和证明的PAR方法。该方法含算法设计语言Radl，抽象程序设计语言Apla和相关程序（略..）自动转换系统。应用PAR方法，可以给出从需求解问题，到可执行程序的具体设计过程。实践证明，用PAR方法进行程序设计教学，能显著提高学习者的程序设计能力。基于PAR方法，薛锦云教授提出了一种新的计算机程序设计课程体系结构。本文的研究是将这种新的课程体系结构引入ICAI实现一个带有自动推理功能的新型程序设计ICAI系统，该项研究以薛锦云教授主持承担的国家自然科学基会课题“基于PAR方法的算法设计形式化与自动化研究”为研究背景。本文主要工作如下：1．分析研究自动推理理论及程序设计课程的特点，选择适合程序设计的自动推理方法——基于范例、规则自（本文此处忽略..）动推理。2．对PAR方法进行研究与总结，收集已有PAR方法开发实例，并用PAR方法推导大量的典型算法程序，总结出其中规律：将适合用PAR方法开发的算法程序进行分类，并且构造相应的问题模板和解题模板，形成生成无限题库和基于范例推导自动推理的理论依据。3．研究人工智能知识表示方法及PAR方法的量词变换规则，组织基于规则推导的规则库。4．构建一个基于范例、规则推理的新型程序设计的ICAI系统。本文对程序设计的自动推理做了有意的探索；对PAR方法进行问题分类，将形成的，叮重丁月程序模板用于自动推理，这样不仅有利于PAR方法的进一步研究与深化，l(l（此处忽略..）J’}」.大大增强了l，AI{方法对实现软件开发的形式化和自动化所起的作用，同时有助于现在正在进行的Radl一Apla转换器的研究;组织整理量词转换规则库，使算法设计的量词转换部分可丛于规则推理自动完成，这为将来用逻辑语言完成这部分工作奠定了基础;实现的新型程序设计ICAI具有无限题库、系统自动出题、用户自己出题、.自动求解、交互求解等新型特点，并且嵌入了Apla一Java，Apla一。++算法程序转换器，使Apla算法程序可以转换为相应语言的可执行程序，为教师和学生提供了一个很好的教与学程序设计的平台。

以上为本篇毕业论文范文基于范例、规则推理的新型程序设计ICAI系统研究与实现的介绍部分。

本论文在免费论文栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
热能与动力设计论文
教育管理专业论文
日语专业论文
德语专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：自动词的诸方面

下一篇：评弹与近世苏州社会生活