根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
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.
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...
应用推荐