一种基于PROLOG的ES建造工具库的研究与实现

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:kang573
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文描述了一基于PROLOG的专家系统建造工具库PTES的实验系统。PTES是用PROLOG编写的,该系统根据支持基于规则的知识表示及近似推理对PROLOG的知识处理能力进行了扩充。PTES的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。
其他文献
数据库管理系统的重要功能之一就是统计函数的应用,本文首先给出了模糊统计函数的形式化定义,进而,通过引入模糊语言量的单位模拟,“硬比较”等方法和概念,介绍了FSQL语言中
电梯群控系统的目标是分配电梯服务以满足各层客户的呼叫需求,属典型的组合优化问题,而蚁群算法常用于解决离散组合优化问题.其良好的全局优化能力与快速收敛特性适合于电梯群控
本文分析了办公信息管理系统(GLPMIS)的授权需求,对商用关系数据库系统(foxBASE)进行了授权机制扩充,引出了有关数据授权的基本概念,并讨论了GLPMIS授权接口(工具)概要设计的基本思想。
本文提出了一套完整的计算机集成制造系统方法论并对其四个组成部分,即CIM思想、CIM体系结构、CIM建模方法以及CIMS开发和实施方法进行了讨论,总结了本文作者对计算机集成制
研究Clifford分析中超正则函数一类带共轭值带位移的非线性边值问题,根据超正则函数的拟Cauchy型积分和Plemelj公式,利用积分方程理论和Schauder不动点原理证明了非线性边值问
一、巧切蛋类:将刀在开水中汤热.然后切煮熟的鸡蛋、鸭蛋、皮蛋,蛋不会碎。
第三届民族药资源化学应用研究学术交流会由云南民族大学、云南化学化工学会及云南植物学会共同主办,云南民族大学民族药资源化学国家民委一教育部重点实验室承办,于2013年11月
【正】机动车制动时,有时出现跑偏现象,导致机动车行进方向无法控制,严重威胁行车安全。因此,必须根据跑偏故障表现查找原因,并及时排除。一、有规律地定向跑偏若机动车行驶
本文介绍基于人工智能产生式系统的原理进行三维图形分解的算法。该算法首先设计出了一组图形分解的基本操作,并且根据图形的几何特性,由这组基本操作形成了图形分解系统的产
近期。鄄城县农机监理站开展了一系列行风整顿活动,有效强化了农机监理队伍建设,工作效能也得到较大提高,全站精神面貌焕然一新。