-
题名论第2次数理逻辑革命
被引量:4
- 1
-
-
作者
何华灿
何智涛
王华
-
机构
西北工业大学计算机学院
北京航空航天大学计算机学院
-
出处
《智能系统学报》
2006年第1期29-37,共9页
-
基金
国家自然科学基金资助项目(60273087
60373016)
+3 种基金
国家高技术研究发展计划项目(863计划
2002AA412020
2004AA113030)
北京市自然科学基金资助项目(4032009).
-
文摘
人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经开始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石.根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑.
-
关键词
数理逻辑革命
柔性逻辑学
泛逻辑学
不确定性
新自然法则
人工智能理论
-
Keywords
revolution of mathematical logic
flexible logics
universal logics
uncertainty
new law of nature
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-