提高Prolog实现的专家系统运行效率的方法

Prolog语言由于其表达专家知识的便利性和强大的推理能力,成为专家系统设计用得较多的语言.但是用Prolog实现一个大程序,特别是具有大量知识的专家系统中,其运行效率是很低的.因此,为了将一个系统投入实时运行,在软件设计时就应考虑效率优化.本文从知识库的组织、匹配方法的选取,以及运用启发式控制回溯等三方面探讨效率优化的方法.1 知识库的组织     

中国期刊全文数据库

传统基因表达式编程(GEP)编码简单,适应性强,但可能陷入局部最优的“早熟”陷阱.因此,作者借鉴生物界的“返祖现象”,提出了基于回溯的基因表达式编程方法.主要工作包括:(1)在传统GEP算法中引入回溯机制,提出基于回溯策略的GEP算法GEPBS(GEP withBacktracking Strategy);(2)提出回溯检查点概念,设计等比递增检查点序列和加速递增检查点序列,约束回溯过程;(3)扩充基于回溯的GEP算法,设计了退化因子(RF),提出了按比例回溯策略GEPPBS(GEP with Propo     

基于分组处理的RFID防碰撞算法

防碰撞算法是射频识别系统实现多目标识别的关键技术.针对基于二叉树的标签防碰撞算法存在识别次数较多和通信数据量较大的问题,提出一种新的基于分组处理的防碰撞算法.该算法将标签进行分组处理,直接用4个2位长的查询前缀去分裂标签集,读写器检测到数据中有2个碰撞位后不再接收后续数据,整个识别过程采用后退策略.仿真结果表明,该算法在查询次数和数据传输量均有较大提高.     

“差点没＋VP”格式的整合机制及语用原则

运用整合理论分析可知，“差点没＋VP”格式通过非真假设转指现实结果的方式，实现概念整合，并突显浮现义。“差点没＋VP”格式在言语交际中体现多个语用原则，具有丰富的语用功能。     

THE NEW METHOD OF GENERATION OF BINARY TREES FROM ZER0(0) AND ONE(1) CODES

A binary tree can be represented by a code reflecting the traversal of the corresponding regular binary tree in given monotonic order. A different coding scheme based on the branches of a regular binary tree with n-nodes is proposed. It differs from the coding scheme generally used and makes no distinction between internal nodes and terminal nodes. A code of a regular binary tree with nnodes is formed by labeling the left branches by O's and the right branches by l's and then traversing these branches in pre-order. Root is always assumed to be on a left branch.     

限界回溯算法在排课系统模型中的应用

分析总结出目前排课软件普遍存在的4个方面问题,给出了一个排课系统模型的形式化描述,进而抽象出排课问题的有解条件,并在模型的核心算法中加以利用,提出一种改进的回溯算法一限界回溯(BBT)算法,给出了系统的核心实体的抽象类别的UML定义,说明了算法实现的具体方案。     

从图书的回溯数据谈主题标引

通过对图书的回溯数据编制工作实践,就一些数据的主题标引字段提出了简浅的分析与认识.     

骑士巡游问题的解

骑士巡游是个ｎｐ问题，本文再次改进其算法，并提出了两个猜想．     

基于权值加密的隐私安全分布式约束满足问题求解

隐私安全的分布式约束满足问题(distributed constraint satisfaction problem,DisCSP)求解算法可以很好地满足信息敏感的分布式组合求解问题的需要,为了获得更好的求解效率,提出了一种基于权值加密的隐私安全DisCSP的求解算法,对DisCSP问题中的约束基于不同的隐私权值进行加密求解;不需要增加额外的agent进行隐私约束的一致性检查,实现分布式的安全求解策略;对于可能出现的推理信息,用随机选择策略来避免信息泄漏.试验表明,该算法可以减少信息的传递量和计算的复杂性,因而具有更好的求解效率.     

试验回溯问题的算法模版设计

讨论试验、回溯问题的通用算法 ,即称为算法模版 .利用算法模版 ,可使程序代码自动生成 .对简化此类问题的求解有实际意义