Prolog语言

摘要： 正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难.介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正则表达式算法.

摘要： 随着语义网和专家系统的发展,产生了许多基于逻辑表示的推理机,比如Jess、Prolog等.对于推理机来说,推理的能力和效率至关重要,Jess采用rete算法,Prolog采用深度优先算法,针对这两种推理算法进行比较,以便能够对推理机有更深入的了解.

摘要： 针对当前常规多媒体教学中存在的学生主动性和能动性不足的弊端,提出一种移动互联网时代应用指尖资源推送平台的课堂教学新模式,课堂中将教学相关素材资源推送到学生的指尖设备中,给以学生足够的课堂控制力,学生可根据自己的接受能力去自主"调节"课堂的听课节奏,进而构建起一个双向的师生互动平台.实践证明,这种新教学模式提高了学生课堂学习积极性,学生学习的精神状态更加饱满.

摘要： 人工智能是一门实践性较强的学科,旨在培养学生的信息素养、创新精神和综合实践能力.结合教学实例,对人工智能教学进行了探讨,指出信息技术课程要向人工智能转变的必然性.

摘要： 以语义网络为基础,从确定性知识出发,结合实例对不确定知识的表示做了一定的探讨,并在Prolog环境中成功实现了模糊知识在语义网络中的表示,这不仅提高了语义网络描述客观世界知识的能力,也提高了其处理知识的效率,为知识的表示研究提供了一种新思路.

摘要： 传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容；一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思维的直觉,对扩展思维方法并无好处.但这种推理还可以用现代数学的图论进行扩充,发掘更多的连通关系；最后还可以用知识库理论扩充,以让传统逻辑发挥更大的作用.

摘要： This paper proposes a method for virtual salesman system based on the combination of the logical programming of Prolog and the traditional one. By using tuProlog, it changes the traditional way of the mixture of business logic and relational data into the one of separating the logic part from the mixture. The system is divided into 2 modules: the Logic processing Module(LM) and the Skeleton Module(SM). LM is in charges of the business logics while SM is responsible for other non-logic problems. The design and implementation of LM is described emphatically. The method not only takes the advantages of the traditional programming, but also uses the special logical engine to process the separated complicated business logics, which can improve the flexibility and scalability of the system. It is a valuable design for intelligent programming.%给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法.该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模块,逻辑模块负责复杂多变的业务逻辑处理,骨骼模块负责其他非逻辑问题,介绍逻辑模块的设计思路和实现步骤.该方法既利用了传统程序设计的优势,又将复杂的逻辑推理独立出来,由专门的逻辑引擎处理,有效提高系统的灵活性和可扩展性,是一种可供参考的智能程序设计方法.

摘要： 针对电子商务个性化推荐问题的特点,引入知识工程的树状表示法,将商品推荐中的三要素转化成描述树进行表达,建立基于Prolog语言的个性化推荐知识库模型.该模型可以根据顾客浏览商品先后次序求解,并与数据库动态地交互数据,实现在线购物的个性化营销.该模型相对独立,通过数据库接口共享电子商务系统数据,能够适应不同结构的电子商务系统.

摘要： BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性.使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性.

摘要： 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言G(o)del与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

摘要： 本文介绍了Prolog语言的强大推理功能，以及 Visual C++6.0与Amzi Prolog结合使用的方法和特点，并采用Prolog的模块化方式设计推理机和知识库，结合VC开发的电力线路一次接线图开发出一套功能强大的操作票专家系统。

摘要： 本文介绍了Prolog语言的强大推理功能，以及 Visual C++6.0与Amzi Prolog结合使用的方法和特点，并采用Prolog的模块化方式设计推理机和知识库，结合VC开发的电力线路一次接线图开发出一套功能强大的操作票专家系统。

摘要： 本文介绍了Prolog语言的强大推理功能，以及 Visual C++6.0与Amzi Prolog结合使用的方法和特点，并采用Prolog的模块化方式设计推理机和知识库，结合VC开发的电力线路一次接线图开发出一套功能强大的操作票专家系统。

摘要： 本文介绍了Prolog语言的强大推理功能，以及 Visual C++6.0与Amzi Prolog结合使用的方法和特点，并采用Prolog的模块化方式设计推理机和知识库，结合VC开发的电力线路一次接线图开发出一套功能强大的操作票专家系统。

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

摘要： 实施例针对被配置为接收自然语言(NL)输入并且执行分析操作以生成NL输出的自然语言处理(NLP)系统。NLP系统被配置为至少部分地基于分析操作的至少一部分来生成至少一个置信水平。NLP系统被进一步被配置为至少部分地基于所述至少一个置信水平将至少一个不流利表达集成到NL输出中。

摘要： 一实施方式所涉及的自然语言处理系统具备分析部以及修正部。分析部使用分割模型而执行对于一个句子的词素分析，从而对分割该一个句子而得到的各个被分割元素设定标签。分割模型包含表示被分割元素与标签的对应的输出特性的分数、和表示与连续的两个被分割元素对应的两个标签的组合的转移特性的分数。修正部对通过分析部而得到的分析结果所示的标签、和表示一个句子的正解的标签的正解数据进行比较，将与对应于非正解的标签的正解的标签关联的特性的分数提高，将与该非正解的标签关联的特性的分数降低，从而对分析部在下一个句子的词素分析中所使用的分割模型进行修正。

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

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

摘要： 本发明公开了用于语言障碍及术后语言表达困难患者的语言识练系统，属于语言识别练习技术领域，包括云端数据库和智能分析系统，智能分析系统包括面部信息录入单元、实时数据录入单元、统计患者面部表达时间长短的表达时长统计单元以及用于识别面部信息的数据反馈模块，其中，数据反馈模块包括识别嘴型信息的嘴型信息识别反馈单元以及分析患者发音颤动的颤动识别区分单元。该用于语言障碍患者及术后话语表达困难患者语言练习识别系统，通过实时数据录入单元捕捉的数据传输至数据反馈模块，由模块中的嘴型信息识别反馈单元结合面部信息辅助反馈单元进行基于云端数据库的分析，以确认患者大致与语义，方便医护、康复人员进行进一步地沟通或训练。

摘要： 自然语言处理系统具有：场景设定部(10)，其解析输入的自然语言的语句，生成表示理解自然语言的主体的主体数据、以及表示主体行动的世界的一部分的场景数据，在场景数据中设定主体数据；状况变化设定部(11)，其解析输入的自然语言的语句，并设定场景的状况变化；正负情绪设定部(12)，其基于场景的状况变化，判定是否产生了对于主体而言有利的情绪即正情绪、或者对于主体而言不利的情绪即负情绪；以及含义解析部(13)，其基于产生的正负情绪进行含义解析。状况变化设定部(11)将在状况变化的前状态下作用于主体数据的价值和在状况变化的后状态下作用于主体数据的价值分别作为数值来获取。正负情绪设定部(12)计算前状态的数值与后状态的数值的差而计算出正负情绪。

摘要： 本发明属于软件工程技术领域，具体公开了一种语言资源数据库、语言资源管理平台以及语言资源管理系统。所述语言资源数据库与一具有管理所述应用程序的语言资源的功能的平台交互，所述语言资源管理平台中包括资源总表，所述资源总表以表格的形式将所述语言资源数据库的至少一部分内容显示在显示器上，通过编辑所述资源总表操作所述语言资源数据库。本发明的优点在于为应用程序本地化的工作提供了交互平台，使得开发者、译者和测试者能够操作同一数据库，减少数据(包)在反复传递和合并的过程中出现误操作。

摘要： 在语言处理装置(2)中，向量统合部(23)生成对与输入句对应的词袋向量和与输入句对应的意思向量进行统合而得到的统合向量。应答句选择部(24)根据由向量统合部(23)生成的统合向量，从询问应答DB(25)中选择与输入句对应的应答句。

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