Prolog

摘要： 为了选拔和培养优秀的体育运动员在比赛中取得更好的成绩,构建了运动员训练专家系统知识库.此知识库将运动员选拔和训练等有关的知识和经验转换成计算机可处理的规则和事实,建立基于规则和事实的诊断树;该知识库采用判断树结构作为知识表示模式和推理方法,用自定义数据结构表示判断树的结点,该自定义数据结构既可表示答案结点又可表示判定结点,同时可以表示父结点和子结点之间的联系.该系统的推理过程简单来说是遍历判断树得到答案结点的过程,通过一系列的规则编码来实现,在遍历判断树时采用了谓词截断技术、数据管理技术,在Prolog控制Delphi界面时使用了Del GUI谓词技术,方便地实现了专家系统界面的动态生成.

摘要： 列控工程数据作为列车运行控制系统的基础数据,保证其正确性是列车运行控制系统安全运行的根本保障.针对列控工程数据校核具有时间紧、任务重及变更频繁的特点,提出一种基于Prolog的列控工程数据验证方法.考虑到列控工程数据表格的多样性以及表格存储的缺陷,以XML为基础提出一种数据标准化格式.针对数据验证过程,通过铁总数据规范和领域专家知识,提取出数据包含的基础验证规则.在此基础上,考虑到数据验证的完备性,利用数据挖掘的方式,提取数据的隐含规则,再利用Prolog对各类数据规则搭建其验证模型.以武汉一广州线的工程数据作为测试数据,进行验证测试,结果表明该验证方法具有高效性和准确性.

摘要： 为了科学规范的选拔和培养优秀的高水平运动员,构建了一种科学高效的选拔和训练运动员的辅助方法-运动员训练专家系统.本系统收集了运动员教练在实践中总结的比赛经验和训练计划等资料,将这类隐性知识在计算机上建立了知识库,并设计了基于判断树的推理规则;文章以Java平台与人工智能语言Prolog相结合混合编程,用Java平台实现用户界面和模块组建的功能,方便地实现了专家系统的判断界面随着判断的深入而进行动态变化的过程;专家系统采用Prolog语言实现知识库与推理机功能.使用混合编程共同打造运动员训练专家系统.

摘要： 丝绸文物历史悠久,其色彩搭配蕴含极大文化价值,对丝绸文物配色信息的研究和利用具有重要意义.但是使用传统的人工方式实现配色过程费时费力,针对这个问题,提出基于丝绸文物的配色专家系统.系统利用丝绸文物信息(包括年代信息、主题信息、色调信息)和领域专家知识,结合HSV 色彩模型,设计出不同类型的配色方案.通过前端人机交互界面获取用户数据,将数据传入后端推理模块,其中推理模块利用Prolog语言实现,专家知识利用传统模糊规则描述,最后将符合要求的配色方案提供给用户.结果表明,系统大大提高了丝绸文物的利用效率和丝绸设计师的工作效率.%Silk relics have a long history, and its color matching contains great cultural value which is of great significance for the research and utilization of the color information of the silk relics.However,it is time-consuming and laborious to use the traditional manual method to achieve the color matching process.Aiming at this problem,the color matching expert system based on silk relics is proposed.The system uses the information of silk relics(including age information,subject information,tone information)and domain expert knowledge to design different color schemes.User data is acquired by the front end user interface,then the data is transferred to the back-end reasoning module,and the reasoning module is implemented by Prolog language, and expert knowledge is described by traditional fuzzy rules, finally,the matching color scheme is provided to the user.The results show that the system greatly improves the utilization efficiency of silk relics and the efficiency of silk designer.

摘要： 复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法.体系结构分析与设计语言(Architecture Analysis and Design Language,AADL)是描述实时系统(嵌入式系统)的标准语言,端对端的数据流描述系统组件间的消息传递.提出一种基于Prolog的端对端数据流分析方法,解决嵌入式实时系统的AADL模型时延验证问题.针对AADL模型缺乏时延验证的现状,分析讨论了AADL模型的端对端数据流并提出了端对端数据流的路径一致性的定义;针对单一型端对端数据流和混合型端对端数据流给出了两种端对端数据流到基本状态图的映射方法;设计了端对端数据流路径一致性的Prolog验证规则.最后对带时间约束的汽艇速度控制子系统进行实例验证,结果表明该方法能够有效地解决实时系统的时延验证问题.%Time-delay analysis of end-to-end data streams of complex embedded real-time systems is an effective method of real-time system evaluation. The Architecture Analysis and Design Language ( AADL) is a standard language that describes real-time systems ( embedded systems) ,and end-to-end data streams describe message passing between system components. An end-to-end data flow a-nalysis method based on Prolog is proposed to solve the problem of AADL model latency verification for embedded real-time system. In view of the lack of time delay verification of AADL model,the end-to-end data flow of AADL model is analyzed and discussed,and the definition of path consistency of end-to-end data flow is proposed. For single end-to-end and hybrid end-to-end data flow,two map-ping methods of end-to-end data flow to basic state diagram are given. A Prolog authentication rule is designed for end-to-end data flow path consistency. Finally,the time control of the speed control subsystem with time constraints is verified. The results show that the method can effectively solve the problem of real-time system delay verification.

摘要： Prolog作为一种逻辑语言广泛被运用于人工智能和专家系统中。不同于其他编程语言，Prolog类似自然语言的语法使它更容易被读懂和理解，因此它被认为可能是一种出色的帮助学习逻辑知识的工具，一些科学家已经通过 实验证明了Prolog甚至可以很好的被儿童运用和学习，本文将延续这个思路，回顾过往实验和结果，结合数学中几何 证明问题的例子，提出将Prolog运用于教育，尤其是面向非计算机专业相关人员进行逻辑相关问题的学习上的可能性和优势。

摘要： In the early development of real time system,a time consistency of system structure is analyzed due to the specialty of time series and security for real time system with critical tasks,which can discover the potential issue related time series in system design as soon as possible.Therefore,the validation method of AADL behavior model based on time restraint is proposed.In view of correctness verification problems of the AADL behavior model with time restriction,a kind of model decomposition rule based on node switching rule is presented to transform the AADL behavior model into execution trace set.Also a transformation algorithm from the trace set to Prolog language is designed,transforming the implicit and explicit time constraint into Prolog rules,supporting the validation of the real-time system with two time constraints.Finally,a special example of shipborne combat system with time restriction is verified by means of the time consistency validation approach of AADL behavior model.The approach verifies the implicit and explicit time constraint and provides a new effective way for the real time system of time series analysis.%任务关键的实时系统对时序及安全要求的特殊性,在实时系统开发的早期阶段进行体系结构的时间一致性分析,能够尽早发现系统设计时出现的有关时序的潜在问题,为此提出了基于时间约束的AADL行为模型的验证方法.针对带有时间约束的AADL行为模型时序验证问题,提出了一种基于节点转换规则的AADL行为模型分解规则,将实时系统的行为模型转换成运行时的路径集合;设计了路径集合到Prolog事实的转换算法;将实时系统的隐式时间约束和显式时间约束转换成Prolog规则,支持实时系统对两种时间约束进行验证.最后应用AADL行为模型时间一致性验证方法对船舶指控系统进行实例验证,验证了实时系统的隐式时间约束和显式时间约束,为实时系统的时序分析提供了一种新的有效途径.

摘要： 人工智能早在17世纪时,巴斯卡和莱布尼茨就有了思想的萌芽.到了1956年,号称"人工智能之父"的McCarthy以及一大批对此感兴趣的软硬件科学家和工程师在Dartmouth大学召开的会议上首次提出这一概念.后来经过几十年的发展,人工智能也有了不同的研究方向,人工智能工作者们也解决了前进道路上一个又一个的难题.

摘要： Prolog Server Pages（PSP）是一种基于Prolog的脚本语言，它能被嵌入在HTML文档中。用事实和规则描述问题，运用内部的搜索、匹配和回溯等推理机制求解问题，特别适用于符号推理。本文首先介绍了Prolog语言的主要特点和基本结构，然后重点讨论了利用Prolog内部谓词和运行机制来表示结构化程序设计语言中的三种控制结构，并给出了例证，表prolog语言比其它程序设计语言求解问题的能力更强、效率更高。

摘要： 智能Agent技术的发展为面向Agent程序设计语言的开发提出了新的挑战.目前,多数Agent开发工具基本上都是用Java语言写成的.借助Java的特点,这些Agent开发环境在移动性、安全性方面比较完善,但是Java在表达Agent信念、愿望、能力、选择、承诺等心智属性方面有所不足,因此,用这些工具开发的Agent智能性较弱.为了弥补这种不足,提高Agent的智能性,本文在Java框架中引入Prolog逻辑模块,讨论了Java语言与Prolog语言的混合编程技术.本文提出的新方案增强了Agent的思维推理能力和软件开发效率.

摘要： 智能Agent技术的发展为面向Agent程序设计语言的开发提出了新的挑战.目前,多数Agent开发工具基本上都是用Java语言写成的.借助Java的特点,这些Agent开发环境在移动性、安全性方面比较完善,但是Java在表达Agent信念、愿望、能力、选择、承诺等心智属性方面有所不足,因此,用这些工具开发的Agent智能性较弱.为了弥补这种不足,提高Agent的智能性,本文在Java框架中引入Prolog逻辑模块,讨论了Java语言与Prolog语言的混合编程技术.本文提出的新方案增强了Agent的思维推理能力和软件开发效率.

摘要： 智能Agent技术的发展为面向Agent程序设计语言的开发提出了新的挑战.目前,多数Agent开发工具基本上都是用Java语言写成的.借助Java的特点,这些Agent开发环境在移动性、安全性方面比较完善,但是Java在表达Agent信念、愿望、能力、选择、承诺等心智属性方面有所不足,因此,用这些工具开发的Agent智能性较弱.为了弥补这种不足,提高Agent的智能性,本文在Java框架中引入Prolog逻辑模块,讨论了Java语言与Prolog语言的混合编程技术.本文提出的新方案增强了Agent的思维推理能力和软件开发效率.

摘要： 本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节点状态信息能够定性描述实时系统的属性，时间约束能够定量描述实时系统的时间区间，为完整验证实时系统时间一致性奠定了基础，将AADL行为模型分解得到的执行路径转换为Prolog事实，将形式化描述的隐式时间约束以及显式时间约束转换为Prolog规则，利用Prolog规则刻画实时系统的一致性，即可实现实时系统时间一致性的完整验证。

摘要： 本发明公开了基于Prolog的AADL行为模型时间一致性验证方法，属于软件工程的技术领域。本发明在AADL行为附件的基础上进行扩展以建立带有时间约束的AADL行为模型，AADL行为模型描述了节点状态信息、时间约束信息，节点状态信息能够定性描述实时系统的属性，时间约束能够定量描述实时系统的时间区间，为完整验证实时系统时间一致性奠定了基础，将AADL行为模型分解得到的执行路径转换为Prolog事实，将形式化描述的隐式时间约束以及显式时间约束转换为Prolog规则，利用Prolog规则刻画实时系统的一致性，即可实现实时系统时间一致性的完整验证。

摘要： 本发明公开了一种基于visual prolog疏浚知识库的建立方法，其特征是，包括以下步骤：1)确定知识库要完成的任务，以及知识库所要实现的功能，进行针对性地知识收集；2)从疏浚相关资料中提取知识库所需要的知识；3)将相关知识以prolog语言事实的形式进行表达；4)基于visual prolog建立知识库相关模块。本发明所达到的有益效果：本方法基于疏浚设备在施工作业中已获得的众多参量调控数据，从中提取与疏浚相关的知识，利用prolog的人工智能语言，对疏浚知识进行知识表达，在高产量低能耗的前提下，建立疏浚知识库，为疏浚作业辅助决策提供专业知识，为疏浚自动化的水平的提高打下理论基础。

摘要： 本发明公开了一种基于prolog的疏浚决策分析方法，包括以下几个步骤：(1)根据不同的疏浚设备，筛选出对疏浚施工产生主要影响的多个参量作为调控参量p