相互联系 层次性 溯因推理 时间序列 推理原则 预测模型选择 类比推理 合式公式 专家系统 模态推理 回溯推理 逻辑理论 巴门尼德 逻辑性质 古希腊哲学 预测方法