Modular knowledge representation and structural knowledge base organization can reduce the com-plication of knowledge base maintenance.
知识表示模块化和知识库组织结构化有助于降低知识库维护的复杂性。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and modification.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
The design idea and the implementation technique of the knowledge acquisition system is put forward based on OPS83, meanwhile the technique of knowledge base maintenance is realized.
根据OPS83的语法要求，提出了基于OPS83专家系统的知识获取系统的设计思想及实现技术，同时实现了知识库的自动维护方法。
应用推荐