人工智能推导的雏形

由已知事实验证目标事实是否成立的算法可以用递归泛型来实现,如已知事实:1.用户输入速率在30/m以下 2.大约超过100人抽样,且 70%以上的用户出现此现象 目标事实:系统易用性差. 这样在已知事实 : 1.用户输入速率在30/m以下 2.大约超过100人抽样,且 70%以上的用户出现此现象 和 目标事实 :系统易用性差 之间存在着必然关系,而 系统易用性差 和诸如:在投入项目开发时间 100% 的测试时间以及测试报告与用户意见相比易用性问题反映不足 ,这三个已知事实联系在一起 又可以推论出:测试能力差 这个结论. 即: 已知事实 -> 目标事实 目标事实 -> 下一目标事实 ....... 这实际上是一个不断循环的过程. 可看成: 已知事实 -> 目标事实 的递归搜索!考虑 已知事实 和 目标事实 之间的关系,是多对多关系: 不戴口罩和非典病人交谈将染非典:多个已知事实对应着一个目标事实 写代码一定会测试和调试:一个已知事实对应着多个目标事实 上述都是必然联系,另外,还有事实之间能任意选择的可能关系: 预报明天下雨可能下雨也可能不下雨:一个已知事实对应着两个可能的目标事实 可能是杀人被通缉,也可能是放火被通缉:两个可能的已知事实对应着一个目标事实 为了表述这种关系,才用如下结构: 不戴口罩,和非典病人交谈 染非典 写代码 测试,调试 预报明天下雨 下雨 预报明天下雨 不下雨 杀人 通缉 放火 通缉 逗号代表了事实间的与关系,记录代表了事实间的或关系. 在建立如上的表结构后,考虑编写如下代码: 程序名: tk 程序参数: 原事实,最终目标事实 返回: 真或假 功能: 根据原事实进行推论,如果能得到 最终目标事实 则返回 真 否则返回 假 伪代码: 1 获得原事实到下一目标事实的所有关系数量 2 根据所有关系数量进行循环 2.1 获得下一目标事实 2.2 如果下一目标事实等于最终目标事实 2.2.1 为真: 退出循环,返回 真 2.2.2 为假: 将下一目标事实 作为 原事实 和 最终目标事实 一起传递到 tk中,递归调用,获取tk返回结果. 3 返回 tk返回结果 此程序能根据数据库中的记录自动判断特定推论是否成立,由于可以用于一般推理,所以作为人工智能问题的一般算法,由于采用递归算法解决一般推理问题,所以称为递归泛型.