论文部分内容阅读
本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测。知识库的规则可包含非真、或及if-and-only-if规则。系统以交互形式从正、反向推理研究知识库规则增加时的变化。
一阶逻辑知识库的检测
【摘 要】
：
本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻辑规则知识库的冗余性和不一致性的检测。知识库的规则可包含非真、或及if-and-only-if规则。系统
【机 构】
：
浙江大学计算机系杭州310027
【出 处】
：
自动化学报
【发表日期】
：
1992年5期
其他文献
通过将计量场强度分布表达为傅立叶形式，导出了简明的相位测量轮廓术（ＰＭＰ）相位求解式，并根据最小二乘原理论证了步进式相移实现的ＰＭＰ的最佳采样方式，实验结果表明，最佳采样方式为等间距满
针对工业过程中普遍存在的二阶时滞系统，利用开关阶跃响应法辨识被控制过程的特征参数，然后用文中所给的整定公式可以非常简单地求出ＰＩＤ参数，经过大量仿真实验，证明了所得出的整定公
通过静态沉降试验对黄河水体泥沙的沉降特性进行了研究，得到了不同原型沙样的沉降曲线，确定了不同含沙量时的沉降速度和沉降历时，为预沉池的设计提供设计参数。
<正> 随着国务院关于深化物资体制改革政策的逐步落实,1989年广西化工物资市场展望会如何?笔者以广西全年需要和上半年物资资源为基础,考虑全年存在多种渠道组织资源的可能性
要实现这个功能需要将要启动的应用程序路径写到注册表中，具体的路径是HKEY_LOCAL_MACHINE＼SOFTWARE＼Microsoft＼Windows＼CurrentVersion＼Run，只需要在上面的路径下写一个键并为此键
以酸性树脂为催化剂，由乙酰乙酸乙酯与乙二醇合成苹果酯，研究了催化剂用量、原料配比产反应时间对酯化反应的影响。结果表明：当原料配比为１：１．２５，催化剂用量为３％，反应时间４ｈ时，产物收率可达９５．５％，催
一个小型彩色图样扫描分色输入和处理系统用于印花布生产中对来样稿的花型准备。文中简介了系统的构成,讨论了图样扫描输入中过渡色的特征、给出了基于此特征下的边界识别和颜色聚类方法。
卷扬机传动轴的断裂为典型的低应力脆断事故，主要原因是传动轴的组织疏松、晶粒粗大、热处理质量不合格和冲击韧性偏低。其次为轴肩处未留过渡圆角，造成局部的应力集中和复杂应
本文将线性延时系统转化为线性互联非时滞大系统,采用方块脉冲函数不仅得到了最优控制的分段恒定解答的显式递阶递推公式,而且给出了在线控制的方法.该算法对小延时和大延时