知识库调试主要是用（）测试所有可能推理路径的可达性。