【摘 要】
：
知识库的一致性是决定专家系统效率及求解正确性的关键因素。本文以Petri网为工具对知识库进行模拟分析,把知识库一致性的检查化简为线性代数问题。把这一方法应用于分布式知
【机 构】
：
云南省计算机软件开发研究中心,北京大学
论文部分内容阅读
知识库的一致性是决定专家系统效率及求解正确性的关键因素。本文以Petri网为工具对知识库进行模拟分析,把知识库一致性的检查化简为线性代数问题。把这一方法应用于分布式知识库系统,首次得出了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件,为建立(分布式)知识库的自动维护系统打下了基础。
其他文献
<正>膜产业创新水平反映了一个国家(地区)经济环境协调发展、人与自然和谐共生的发展程度,膜分离技术在治水、治气、绿色制造等领域起关键作用,是21世纪最具发展前景的高新技
近年在我国的土建工程中，预拌混凝土施工占有越来越大的比例。由于生产地点与使用地点不同，所以在施工中必须掌握影响混凝土质量的主要因素，切实控制施工质量，进而促进我国预拌混
直流微网中母线电压的变化对负载有很大的影响。储能系统通过双向直流变换器调节直流母线电压的过程中,占空比会大幅度变化,使变换器呈现严重的非线性,导致母线电压不稳定。
城市化对农村大学生的影响既有积极的一面,也存在某些消极因素。农村大学生就业难,主要表现在就业资源不足、就业环境不佳、竞争能力不强、就业心理脆弱、就业质量不高等方面
在知识管理的视阈下,对江苏常州市3轮8年137个名师工作室进行的研究表明:共同愿景、频密互动和自组织结构形成了名师工作室中知识转移的促进情境。基于情境优势,名师工作室应
创新是知识经济时代和信息化社会的内在诉求,也是创新型国家与创新型社会建设的必要前提。硕士研究生课程"自然辩证法概论"具有培养现代研究生的创新意识、创新精神、创新思
建立精准学生资助工作机制,精准识别家庭经济困难学生群体,并开展针对性资助已经成为我国进一步提高学生资助工作水平的必然要求。建立精准学生资助工作机制主要由三部分内容
<正> 由于诸多方面的原因,我国对政治地理学的研究起步晚、进展慢、范围窄、深度不够;中国政治地理学更是无人问津.这一现状与我国政治体制改革、经济体制改革和建设有中国特
目的分析血清IgA/C3水平用于诊断血清免疫球蛋白(IgA)肾病的临床价值。方法选取2015年1月~2017年12月我院收治的44例IgA肾病患者作为研究组,选取41例非IgA肾病者作为对照组,
通过对即食烤鱼防腐保鲜剂的筛选,确定延长即食烤鱼贮藏期限的保藏技术。结果表明：4种单一防腐剂抑菌试验中,壳聚糖的防腐效果较好,其次是nisin（乳酸链球菌素）、D-异抗坏血酸钠,