论文部分内容阅读
根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。
综合知识表示模型MAS的属性文法推理机制
【摘 要】
：
根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的
【机 构】
：
武汉大学软件工程研究所,武汉证券登记中心,武汉大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1995年1期
其他文献
1豆类行情回顾2011年国内豆类市场呈现宽幅震荡后破位下跌走势。行情大致分为两个阶段：第一阶段为2011年初至8月末的宽幅震荡阶段：第二阶段为8月末假突破后的大幅下挫破位下跌
数字图象的线性变换在计算机视觉、图象处理、模式识别和计算机图形学等领域有着广泛的应用．在实数域中这种变换可以提供连续的一一映射．然而，由于图象象素是离散的，常常导致变换结果出现不如意的孔洞，破坏了变换后图象的质量，给进一步的处理和识别过程带来困难．本文提出了基于点辖域进行数字图象离散线性变换的一种新方法．该方法突破了现有算法只适用于平移、比例、旋转变换的局限，在更一般的意义下讨论了数字图象的离散线
棉酚是棉籽饼粕中的主要的有毒物质．蛋鸡日粮中游离棉酚含量过高会给动物健康、生产性能及蛋品质带来负面影响．日粮添加硫酸亚铁在一定程度上可缓解游离棉酚的毒性。本文综述了
基于新的代数结构，本文提出动态和静电电路通用设计方法，把一直各自分立研究的动态和静态电路统一起来，用统一的开关网络函数描述，实现设计方法的统一，将上述方法用于Ｄ型存储单元，由
本文首先探讨了基于神经网络的时间序列预测模型的建立机制，然后提出可将基于神经网络的时序直接多步预测模型的实时建模问题看成是延时加强学习问题，从而可将ＴＤ法与ＢＰ法相结合用于
佛者，觉也，是一门觉悟的学问，是宗教，更是哲学。对内而言，内觉“人生本身”，使我们有正确的人生观：对外而言，外觉“宇宙环境”，使我们有正确的“宇宙观”。觉有三种境界：第一是自觉，第二
本文提出用概率逻辑神经网产生一类自（互）相似（分形）图的方法，指出这类图能用一组压缩编码表示．给出快速寻找该编码的算法，即识别该分形几何图的算法．证明该编码是最优的，即码的长度最短．这些成果有希望在图象压缩和模式识别中得到应用．
本文提出了一个ＯＳＩ／ＲＭ运输层协议并行处理模型，以适应协议的高效处理，根据模型特点，使用Ｐｅｔｒｉ网作为形式化描述工具，对该模型进行描述，分析和验证。
近年我国油脂市场在政府密集调控、市场自身调节的“双轨制”背景格局之下．植物油（籽）国储库存明显高企．全球新季油、籽作物的增产前景乐观，俨然形成全球油脂库存压力、价格波动的
本文提出了工程数据库系统ＯＳＣＡＲ的设计事务模型，该模型既体现了工程设计过程的全局试探特征，也体现了其局部试探特征，本文同时给出该模型的一种基于影子页面和日志技术的实现方法。