论文部分内容阅读
以Petri网建模基于规则的知识库,并据此开发出知识库校验工具PKBV,该工具通过对Petri网可达性及不变量的分析计算,来检查知识库中常见的完整性与一致性错误,针对具有多领域知识库的复杂系统,PKBV具有抽取多领域知识库之间的关联规则并进行校验的功能,满足了复杂知识系统的校验需求。
一种知识库校验工具PKBV的设计与实现
【摘 要】
：
以Petri网建模基于规则的知识库,并据此开发出知识库校验工具PKBV,该工具通过对Petri网可达性及不变量的分析计算,来检查知识库中常见的完整性与一致性错误,针对具有多领域知识库的复杂系统,PKBV具有抽取多领域知识库之间的关联规则并进行校验的功能,满足了复杂知识系统的校验需求。
【机 构】
：
西北工业大学计算机学院,河南财经学院计算机科学系
【出 处】
：
计算机应用
【发表日期】
：
2006年02期
其他文献
在资源有限的情况下求解维修费用的算法是一个01规划的问题。目前已有的算法有可能得到局部最优,但不能保证得到全局最优。针对这类问题的特性,提出了一个基于Tabu搜索的算法。为了简化计算提出了图论的模型,用Tabu算法对其模拟,充分利用了Tabu搜索的集中性与广泛性的优点,在提高搜索速度的同时可以更加接近最优解。仿真实验表明:该算法具有快速,易收敛的特点,更适合在规模比较大的情况下应用。
猪寒湿泄泻是我国北方寒冷季节的一种多发病.轻者由于食欲大减以及严重的水泻而使猪生长发育受阻;重者,因食欲废绝,排粪失禁引起脱水而死亡.笔者用丁香二苓平胃散加味治疗寒
根据机动车驾驶员对汽车遮阳板的基本需求,结合传统遮阳板所存在的问题,从而整理出遮阳板智能化的分析,细化设计思路,给定合适的设计方案。并指出智能型遮阳板通过传感器感受
介绍了针对现代管理需要在VC平台上研制开发的一套电话外呼系统,进而对该系统的主要功能、软件设计、模块划分以及一些关键技术实现方案等进行了探讨。该软件与已有的电话外呼系统相比具有成本低,效率高,有利于推广等优点。试用结果表明该系统有较高的实用价值。
以冬季道路桥梁施工要点为基础，分析冬季道路桥梁混凝土浇筑技术要点，并提出冬季道路桥梁施工中混凝土浇筑质量控制措施，包括合理处理水热化、严格控制质量、确定保护措施，使道路