1) Study on reductive inference
回溯推理探赜
2) A New Inquiry into Reductive Inference
回溯推理新探
3) reductive inference
回溯推理
1.
An inquiry into the rationality problem of reductive inference;
回溯推理独立存在的合理性问题探微
2.
The reductive inference has been paid attention to the academic circle.
回溯推理逐渐为国内学界所关注,而学界对其基本概念、特征、模式的研究已是初成体系。
3.
We should define the reductive inference.
回溯推理是一种在侦查实践中被广泛运用的或然性推理。
4) the probabilistic backdate illation
概率回溯推理
5) general recalling inference
一般回溯推理
6) special recalling inference
特殊回溯推理
补充资料：回溯
分子式：
CAS号：
性质：PROLOG在满足某个小目标时，如果找不到与之匹配的事实或规则头部，则自动回溯，回到前一个目标，已实例化为常量的自变量又恢复到自由变量状态，再从上而下扫描寻找新的匹配。在PROLOG中，回溯的位置标志是自动记录的，用户可以通过追踪来显示PROLOG执行满足目标的过程。
CAS号：
性质：PROLOG在满足某个小目标时，如果找不到与之匹配的事实或规则头部，则自动回溯，回到前一个目标，已实例化为常量的自变量又恢复到自由变量状态，再从上而下扫描寻找新的匹配。在PROLOG中，回溯的位置标志是自动记录的，用户可以通过追踪来显示PROLOG执行满足目标的过程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条