推理系统,关于推理系统的所有信息