一种将遗传算法应用于谓词求精的方法

提出了将Manna的程序综合方法和Caroll Morgan的求精演算方法相结合的求精方法.为了提高求精的自动化程度,在求精的规则选择过程中引入遗传算法.利用遗传算法能够在庞大的规则库空间中搜索合适规则的特性,提高求精的自动化程度.     

数理逻辑中存在量词引入的必要性

浅析了数理逻辑中存在性不能作为谓词的原因、背景,阐明存在量词引入的合理性和必要性,指出存在量词的引入是技术上的改进,并未真正解决数学基础存在的固有问题-罗素悖论.