命题演算两个推理系统的等价性

首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的.     

一种逆归结学习表示

针对动态模糊性问题,利用动态模糊逻辑,采用“自下而上”的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模糊谓词逻辑来描述学习问题,通过学习算法计算出问题的假设。通过实例验证了算法的有效性,同时找到了一种从一般到特殊的认知规律的表示方法。