dasazuopin.rar - 设计并实现一个较高效的推理系统,该系统能够对任意给定的公式集合S和公式A,判断A是否属于Th(Cons(S)).并给出推理过程。
特性:
该系统能够对任意给定的公式集合S和公式C,判断该公式C是否是该公式集合S的合理结论，并能给出归结演绎的推理过程，使计算机在前提存在矛盾时仍能推理出合理结论。
,2012-04-20 22:20:52,下载11次
wanghaosuanfa.rar - 王浩算法的C实现，对输入的逻辑式，可以输出王浩算法的推理过程和所用的定理号。,2012-04-20 22:16:42,下载10次