论第2次数理逻辑革命

摘要：

人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经开始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石.根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑.

关键词：数理逻辑革命、柔性逻辑学、泛逻辑学、不确定性、新自然法则

所属期刊栏目：1

分类号：TP18(自动化基础理论)

资助基金：中国科学院资助项目60273087,60373016;国家科技攻关项目2002AA412020,2004AA113030;北京市自然科学基金4032009

在线出版日期：2006-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：29-37