智能检索传奇

    逆向推理是一种目标驱动的推理过程，从一个待证明的目标命题出发，遍历整个规则集空间，以查找和目标命题相匹配的可用规则，若所需数据都能找到，则说明原假设是正确的;若无论如何都找不到所需的证据，则说明原假设不成立，此时需要选定新的证明命题。

    正向推理是以已知事实作为出发点的推理，又称为数据驱动推理、前向链推理及前件推理。正向推理属于数据驱动，整个推理过程从已知的事实数据出发，根据相关的规则反复迭代，以求得己知数据所能涵盖的全部解空间，在完成正向推理后，后续的命题证明过程就变的非常简单了，只需要查询解空间，看是否包含待证明命题就可以了。在逆向推理过程中，若某一目标命题同时存在有多个可用规则时，则容易导致较深层次的递归调用，影响整个推理算法的性能，而且逆向推理离不开与用户的实时交互，要求用户事先确定目标命题，这会在一定程度上影响信息检索服务器的响应性能。

    正向推理中存在一个问题就是，在实际的上下文环锐中，由于事实和可应用规则的数目众多，使得完成一次推理的时间消耗可能较大。但随着电脑科技的飞速发展，机器性能迅速提高，使这一问题得到了解决，而且正向推理过程只要在检索服务器初始化时运行一次，即可为以后的信息检索提供智能.