摘要
分析了人工智能各发展阶段对逻辑学的需求、逻辑学的发展规律和下一代信息处理的发展趋势,指出常识推理研究需要一种能包容一切逻辑形态和推理模式的、灵活的、开放的、自适应的柔性逻辑学平台.认为各种非标准逻辑和现代逻辑研究都必须建立和统一在柔性逻辑学的理论框架之内.逻辑学正在酝酿新的质变,将从刚性逻辑学阶段进入柔性逻辑学阶段.为此提出泛逻辑学的研究目标,给出了泛逻辑学的研究纲要和理论框架,并具体给出了命题泛逻辑学.命题泛逻辑学的建立不仅为研究谓词泛逻辑学打下了基础,完善了模糊逻辑,为不精确性推理提供了理论基础,还是进一步研究信息不安全情况下不精确性推理的有效研究平台.
NETL