知识库调试主要是用()测试所有可能推理路径的可达性。
出自:管理学