填空题 反向推理是从（）出发，反向使用规则，求证已知的事实。

填空题 正向推理是从（）出发，通过规则库求得结果。

填空题 推理方式有正向推理、反向推理和（）三种。