论文部分内容阅读
主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。
概念图知识表示的推理方法
【摘 要】
：
主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。
【机 构】
：
西北大学计算机科学系,西安太白路1号
【出 处】
：
西北大学学报：自然科学版
【发表日期】
：
1993年6期
其他文献
对以亚硫酸钠为络合剂的无氰镀金工艺进行了研究，由于采用了一种ＴＪ（糖精类）络合剂，使得镀金溶液的配制方法得到简化。该文还研究了ＴＪ络合剂对镀金溶液的性能及金镀层性能的影响。
首先依据规则溶体模型，在利用相图及热力学数据的基础上，推导出Ｃｕ－Ａｌ合金系中各组元的晶格稳定参数△Ｃｕ＾β＾→＾α和△Ａｌ＾β＾→＾α的数学表达式；其次运用统计物理模型处理了Ｃｕ－Ａｌ合金系中有关马氏相变
中国政府主导的36年市场经济建设,使中国经济社会进入了发展新常态;许多累积性社会矛盾都集中体现出来,解决这些矛盾的唯一法宝就是继续深化经济与政治体制改革。中国共产党
本文证明了如下结果:若在正整数集N上定义二元运算a■b=a(a,b)~(-1),则<N;■,1>是一可换BCK一代数,其中(a,b)表示a与b的最大公因子。在此基础上还推广了前人关于Graham R L于
详细讨论了紫外线吸收剂，2，4－二羟基二苯甲酮的合成和脱色方法。用间苯二酚和α，α,α－三氯甲苯在水和低级脂肪醇组成的混合溶剂中反应合成2，4－二羟基二苯甲酮，可得颜色较浅的产品，再
在相平衡结果指导下，制得了４中固配合物，用化学分析，元素分析，电导ＩＲ，ＤＴＧ，ＴＧ等研究了配合物的组成和性质。
异地就医是新医改着重解决的重点问题之一,其根源在于常态化的人口迁移与基本医疗保险属地化管理原则之间的不适应。目前,我国主要从地市级、省级和跨省三个层面提供异地就医
通过对宁强县碘盐加工碘盐的全年抽样检测和居民碘盐的存贮方式及烹饪方式的调查，发现贫困山区居民对正确使用碘盐方式和方法了解掌握不够，当地的碘盐加工质量还有待进一步提高
用１０μｇ／ｍＬ去甲斑螯素（ＮＣＴＤ）作用于人乳腺癌细胞，以ＭＴＴ法、流式细胞仪、台盼蓝排斥法和透射电等方法分别观察ＮＣＴＤ对癌细胞的增殖抑制作用及对细胞周期和细胞凋亡的影响。结果表明：ＮＣＴＤ对乳腺癌细胞的杀
提出了模糊信息处理中的一种有效的过渡信息方法——信息扩散法。该方法是从原始数据信息直接构造系統模型,从而可以避免外加数学的约束,不使原始数据结构遭到破坏。本方法与