共查询到20条相似文献,搜索用时 31 毫秒
1.
<正> 引言随着第五代计算机研究的深入,PROLOG 语言越来越引起人们的重视。日本把PROLOG 定为第五代机的核心语言,已经制造出了基于逻辑推理的 PROLOG 机,美、英等世界计算机大国也在积极进行这方面的研究。PROLOG 语言在专家系统、自然语言处理、数据等许多领域已经得到了应用。在第五代机上,主要是以 PROLOG 为核心的逻辑推理运算,其控制结构和数据结构与过程型高级语言完全不同。这就产生了如何把过程型高级语言程序移植到第五代机 相似文献
2.
卫平 《江苏石油化工学院学报》1990,(2)
本文在用turbo PROLOG语言建立红外光谱解析专家系统方面作了可行性研究.该专家系统的知识库由产生式规则集组成,并得出了有效可行的推理过程。在红外光谱解析方面,该系统比较先进,也可应用于计算机辅助红外光谱解析的教学。 相似文献
3.
刘椿年 《北京工业大学学报》1990,16(1):19-24
讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。 相似文献
4.
孙杰 《沈阳理工大学学报》1990,(2)
本文从工人智能与数据库技术结合的角度出发,提出一种以管理信息系统(MIS)的数据为知识源的知识获取方法。使得我们能在此基础上建立有效的专家系统。本文使用了在人工智能中广泛应用的 PROLOG语言,实现了从 MIS 的数据文件到 PROLOG 事实库之间的转换,并以本文提出的转换方法,建立了一个图书分类统计与检索的专家系统。 相似文献
5.
计算机程序设计语言PROLOG可看作迈向“逻辑程序设计”的第一步。它自从七十年代初问世以后,便在人工智能的许多领域中得到应用。本文阐述了PROLOG的主要特点。匹配归结、回溯和cut控制等,并介绍了应用PROLOG程序将谓词公式转换为Horn子句的过程。 相似文献
6.
HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设计风格的编译型PROLOG语言.本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;编译器的主要构成模块和运行流程;语言语法结构编码的七条定义规则,并在附录中给出了编译实例. 相似文献
7.
王晓闽 《平顶山工学院学报》1996,(3)
FORTRAN语言是在世界范围内广泛流行的且较适合于数值计算的计算机高级语言,在科学计算领域,FORTRAN语言有着比其他计算机语言更广泛的应用基础。随着时间的推移,FORTRAN语言自身也在不断发展,版本不断更新,功能不断增强,因此,在今后相当长的时期内,FORTRAN语言相当广的领域会有更广泛的应用。我院的FORTRAN语言课,在一些专业的课程设计和毕业设计中,也大都使用FORTRAN语言课教学研究活动,搞好FORTRAN语言教学,提高学生计算机应用水平,是计算机语言课教师的一项重要任务。本文仅从FORTRAN语言的教学原则出发,探讨一下如何抓住该课程的重点开展教学。 相似文献
8.
9.
自动机理论是作为离散自动装置和计算机理论模型建立的 .通过研究 ,抽象定义 :模型是一个有限自动机 .为了在计算机中实现模型的自动机表示 ,选用了PROLOG语言 .一个模型用一个或多个谓词来描述 ,把它们存放在PROLOG系统的动态数据库中 ,然后用推理机进行求解 .本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中 ,把人工智能技术应用到模型管理中 . 相似文献
10.
史元北 《安徽电子信息职业技术学院学报》2004,3(1):58-58,57
语言是教学的重要工具,教师的活动在一定程度上是通过语言讲述来完成的。本文紧密联系教学实际就物理教学语言的作用及对物理教学语言的要求,谈了一些看法。 相似文献
11.
顾保磊 《武汉工业学院学报》2005,24(3):58-60,65
简单介绍函数式程序设计语言Scheme的使用方法,通过该语言提供的图形教学软件包draw.ss实现简单动画的制作,从中了解和分析函数式语言进行程序设计的风格和特点。 相似文献
12.
本文运用数理逻辑的基本理论,对PROLOG的推理机制进行了深入、详细的分析。对实用的PROLOG系统为了提高运行效率,而采用的措施所引起的副作用也进行了讨论。 相似文献
13.
官晓勤 《长春理工大学学报(自然科学版)》2010,(12):145-146
语言测试是一门跨学科的综合性学科,它在语言教学中占有相当重要的地位,课堂教学与语言测试是语言教学整个过程中相互联系、缺一不可的两个环节,测试是检验教学的手段,是衡量教学质量高低的一个重要尺度。以此主要从信度和效度两方面探讨了如何做到科学的语言测试。 相似文献
14.
蔡颖 《陕西科技大学学报》2009,27(5):185-187
针对语言学习系统实践教学功能开发与利用不尽人意这一现状,从对多媒体语言学习系统的软硬件构成及功能介绍入手,采用问卷调查和举例分析的方法论证了语言学习系统在语言教学中的强大功能和优势地位,并就其应用中存在的问题提出了一些建设性的意见和行之有效的措施;只有提高实验室人员的思想素质和业务素质,加强网络多媒体语言学习系统的日常管理与维护,才能使多媒体语言学习系统的优势充分发挥出来,从而提高其使用效率,更好地为高校语言教学服务. 相似文献
15.
本文介绍了以PROLOG语言为工具进行纤维缠绕张力专家系统的设计研究内容。文中侧重介绍张力专家系统的驱动系统梗概、动态数据库的功能及其管理,并对该专家系统作了一定的验证,获得了较为满意的结果。 相似文献
16.
在分析目前国内外机器翻译系统的技术和方法的基础上,本文提出了适合于以电力科技英语为翻译对象的英汉机器翻译实验系统的设计方法,即以定子句语法和格语法为基础进行算法设计。利用人工智能语言 PROLOG 加以实现。 相似文献
17.
语言法是体育教学最基础的教学方法.探讨了语言法在课堂教学组织中的运用、在学法指导中的运用,并且从形式和内容两方面探讨了体育教学语言法中语言规范的要求. 相似文献
18.
C语言是一门高级程序设计语言,是目前被广泛使用的教学语言.既可以用来编写系统软件,又可以用来编写应用软件.因而学习好C语言程序设计具有很重要的意义.根据C语言教学特点并结合个人实践,对C语言的学习方法和编程风格提出了一些看法. 相似文献
19.
简要论述语言学家克拉申教授的语言教育理论要旨。克拉申从语言习得与认知发展两方面入手,探索语言学习的基本规律及其语言与思维之间的互动关系,并就如何在教学中贯彻和灵活运用这些基本规律,强化语言教学的体验目标,提出独到的见解。 相似文献
20.
试论体育教学中的体态语言 总被引:2,自引:0,他引:2
曾祥萍 《重庆理工大学学报(自然科学版)》2006,20(1):157-159
系统地分析、研究体育教师的体态语言并使之更好地发挥作用,对提高体育教师的教学能力和教学水平都有重要的意义。介绍了体育教师的示范性体态语言和示意性体态语言的基本内容,并对体态语言在体育教学中的应用进行了阐述。 相似文献