论第2次数理逻辑革命-智能系统学报.pdf

第 1 卷第 1 期 　　　 　　　　 　　　　　　　智 　能 　系 　统 　学 　报 　　　　 　　　　 　 　 　　Vol . 1 №. 1 2006 年 3 月 　　　　　　　 　 　　 　　　　　　　　　　　Mar . 2006 CA A I Tran saction s o n Int elligent Sy st em s 论第 2 次数理逻辑革命 1 2 1 何华灿 ,何智涛 ,王 　华 ( 1. 西北工业大学 计算机学院 ,陕西 西安 7 10072 ;2 . 北京航空航天大学 计算机学院 ,北京 100083) 摘 　要 :人工智能理论危机暴露了经典数理逻辑的局限性 ,各种非经典数理逻辑的大量涌现表明 ,第 2 次数理逻辑 革命已经开始. 为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展 ,为人工智能提供新的逻辑理论基础 , 提出了第 2 次数理逻辑革命的总纲领 :实现部分辨证逻辑的数学化 ,建立可包容各种不确定性 、矛盾和演化的柔性 逻辑学 ;根据总纲领和逻辑学 4 要素 ,提出了革命的若干具体纲领 ,并指出当前最重要的任务是建立柔性命题逻辑 学 ,它是建立整个柔性逻辑学的基石. 根据纲领建立了柔性命题逻辑学 ,表明它可包容或生成各种命题逻辑. 关键词 :数理逻辑革命 ;柔性逻辑学 ;泛逻辑学 ;不确定性 ;新自然法则 中图分类号 : TP 18 　文献标识码 :A 　文章编号 (2006) 0 1002909 On the second revolution of mathematical logic H E Huacan1 , H E Zhit ao2 , WAN G Hua1 ( 1. School of Comp ut er Science , Nort hwest ern Polyt echnical U niver sit y , Xian 7 10072 , China ; 2 . School of Comp ut er Science , Beihang U niver sit y , Beij ing 100083 , China) Abstract :The t heoretical cri si s of artificial int elligence expo sed t he limit s of cla ssical mat hematical lo gic . At p re sent , t he second revolutio n of mat hematical lo gic , w hich wa s revealed by t he e st abli shment of vari ou s noncla ssical mat hematical lo gics , have begun . In or der to make all kinds of lo gic develop in t he unified univer sal lo gic s f ramewor k and p rovide t he new lo gic foundation for A I , fir st ly , t he general creed of t hi s revolutio n wa s p ropo sed to make so me dialectical lo gic mat hematicalized , and to e st abli sh flexible lo gic s w hich co nt ained variou s uncert aint y , co nt radiction