智能系统学报
智能繫統學報
지능계통학보
CAAI TRANSACTIONS ON INTELLIGENT SYSTEMS
2006年
1期
29-37
,共9页
数理逻辑革命%柔性逻辑学%泛逻辑学%不确定性%新自然法则
數理邏輯革命%柔性邏輯學%汎邏輯學%不確定性%新自然法則
수리라집혁명%유성라집학%범라집학%불학정성%신자연법칙
人工智能理论危机暴露了经典数理逻辑的局限性,各种非经典数理逻辑的大量涌现表明,第2次数理逻辑革命已经开始.为了使各种逻辑能在统一的泛逻辑学框架内协调一致地发展,为人工智能提供新的逻辑理论基础,提出了第2次数理逻辑革命的总纲领:实现部分辨证逻辑的数学化,建立可包容各种不确定性、矛盾和演化的柔性逻辑学;根据总纲领和逻辑学4要素,提出了革命的若干具体纲领,并指出当前最重要的任务是建立柔性命题逻辑学,它是建立整个柔性逻辑学的基石.根据纲领建立了柔性命题逻辑学,表明它可包容或生成各种命题逻辑.
人工智能理論危機暴露瞭經典數理邏輯的跼限性,各種非經典數理邏輯的大量湧現錶明,第2次數理邏輯革命已經開始.為瞭使各種邏輯能在統一的汎邏輯學框架內協調一緻地髮展,為人工智能提供新的邏輯理論基礎,提齣瞭第2次數理邏輯革命的總綱領:實現部分辨證邏輯的數學化,建立可包容各種不確定性、矛盾和縯化的柔性邏輯學;根據總綱領和邏輯學4要素,提齣瞭革命的若榦具體綱領,併指齣噹前最重要的任務是建立柔性命題邏輯學,它是建立整箇柔性邏輯學的基石.根據綱領建立瞭柔性命題邏輯學,錶明它可包容或生成各種命題邏輯.
인공지능이론위궤폭로료경전수리라집적국한성,각충비경전수리라집적대량용현표명,제2차수리라집혁명이경개시.위료사각충라집능재통일적범라집학광가내협조일치지발전,위인공지능제공신적라집이론기출,제출료제2차수리라집혁명적총강령:실현부분변증라집적수학화,건립가포용각충불학정성、모순화연화적유성라집학;근거총강령화라집학4요소,제출료혁명적약간구체강령,병지출당전최중요적임무시건립유성명제라집학,타시건립정개유성라집학적기석.근거강령건립료유성명제라집학,표명타가포용혹생성각충명제라집.
