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