辩证逻辑的数学化趋势     

何华灿  艾丽蓉  王华 《河池学院学报》2007,27(1):6-11

本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》,及在纲要指导下建立的《标准命题泛逻辑学》要点,指出该逻辑系统在包容各种辩证矛盾的同时,有效地排除了逻辑矛盾。文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。  相似文献   

一种未来的计算机--三值光计算机   总被引：1，自引：0，他引：1  

金翊  何华灿  艾丽蓉 《科技广场》2005,33(1):4-6

三值光计算机研究是众多新型计算机研究中的一种,其研究目的是尽快构造出充分发挥光的优点、实际可行、通用性强的光计算机。理论和实验成果都表明：它将有数万位的数据宽度。适合于处理具有高度并行性的问题。在它的结构中充分发挥了光和电子计算机的优点。相辅相成。由于使用的主要基础器件是已经商品化的二维液晶器件,所以是一个比较容易实现的未来计算机系统。  相似文献