成员系统模型及其归约

来源 :计算机学报 | 被引量 : 0次 | 上传用户:yvhtoss
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种基于有限关联团块观点的成员系统模型,主要针对不确定性情况给出了其归约操作的形式化描述,讨论了它与产生式系统的关系,并根据该模型及其归约过程,成功地设计实现了一种并发成员系统程序计算语言,对研究支持多种AI问题求解的模型及其语言做了有益的尝试。
其他文献
本文定义了分类属性的六个函数和属性集弱闭包概念,开发了决定双元非主属性的算法;并从变换技术入手,导出了将一个关系模式映射成与之等码的简单关系模式的理论和方法。
函数式程序的离散式延迟输入输出流廖湖声,吴晶(北京工业大学计算机学院北京100044)ADISCRETELAZYSTREAMFORINPUTANDOUTPUTINFUNCTIONALLANGUAGES¥LiaoHushengandWuJing(Com...
本文叙述了一个以情境为单位基于情境间的整体部分关系的类比知识表示系统,给出了描述这种知识结构的内涵命题逻辑的语法,语义和公理系统,用实例说明了情境的联接不是逻辑与关系
大鸿制釉有限公司是由(台湾)中国制釉股份有限公司控股投资兴建,生产陶瓷色釉料,同时提供配套技术服务,现已发展成为全国最大并居来说有列的产销厂商。一手创办了大鸿制釉的公司董
目的探讨逆行交锁髓内钉治疗股骨下段骨折方法及疗效。方法对28例股骨下段骨折患者逆行交锁髓内钉手术治疗临床资料进行回顾性分析。结果 4~6周均可见骨痂生长,术后16~30周骨折
目的研究活血、补阳、固脱药对ARDS大鼠TNF-α的影响。方法采用内毒素复制大鼠ARDS模型,对比观察活血、补阳、固脱药小、中、大剂量及激素治疗后,ARDS大鼠BALF及血清中TNF-α
目的探讨急性心肌梗死(AMI)早期心电图表现分别为Ⅱ级缺血、Ⅲ级缺血患者对溶栓治疗的临床疗效。方法应用国产尿激酶(UK)对Ⅱ级缺血患者进行溶栓治疗75例,其疗效与67例Ⅲ级缺血患
本文提出一个基于结构的多级逻辑优化算法MLOBLS,多级组合逻辑网络的优化通过分析名逻辑门的可替代函数,并用简单的替代函数作替代变换完成。算法MLOBLS具有良好的逻辑结构重构能力,能得到近