摘要
根据专家系统知识库的构成,按组成的事件归类描述,从中取出事件及相应的规则关系,给出知识库检验的方法。可在不同屡次、不同范围进行检验,实现对知识库的管理。
A knowledge base can be expressed as a formula by classified events according to their positions.An approach to verifying knowledge bases can be put forward through taking some events and relevent rules relation.The approach can be used as the checking of knowledge bases, so that the management and maintance of the bases can be realized.