广义智能科学的逻辑基础探讨

广义智能科学的逻辑基础探讨内容摘要：

信息不全：全信息逻辑 非全信息逻辑 关键 1：如何补充和修正假设命题 关键 2：如何处理假设命题带来的各种问题 目前是在二值逻辑基础上放宽对推理的前提条件应该全部已知的限制，允许部分条件缺省，然后利用先验或后验的信息进行补充和修正。 产生和修正假设命题的方法不同，就形成了不同的逻辑（和附加机制）。 如 不完全归纳 类比 案例 发现 信念等 假设命题造成了推理过程的非单调性、 弗协调性、开放性等。 非全信息逻辑主要是研究附加机制。 动态变化：一维逻辑 高维逻辑 关键 1：伪偏序逻辑的蕴涵如何定义。 关键 2：从整数维实数维可能吗。 可拓逻辑有更多的变化机制 （蔡文） 人工生命系统的经验 为什么 天下没有完全相同的叶子 生物体内部如此完美地协调 生物和它存在的环境如此和谐 因为 它的逻辑规则中存在随机参数、内部动态平衡参数、对环境敏感的参数等 逻辑学中需要而且可能引入许多附加参数和自适应机制 数理辩证逻辑的统一之路 经典数理逻辑已经是一个完整的理论体系，但它只能处理具有内在同一性和外在确定性的推理问题，它的各种逻辑学要素都是固定不变的，没有调整机制。 数理辩证逻辑需要在经典数理逻辑的基础上，根据辨证处理具有内在矛盾性和外在不确定性事物的划分和时空定位规律，引入各种柔性参数和调整机制。 统一考虑多值性和非全信息性 统一考虑各种不确定性 三 泛逻辑学研究 纲要及初步成果 1 泛逻辑学的研究纲要 泛逻辑学的总纲领是从顶层研究逻辑学的一般规律，建立统一而又开放的逻辑学理论架构，以规范和指导现代逻辑学研究，实现数理逻辑的柔性化。 核心问题是在数理逻辑中引入柔性机制 包容各种矛盾和不确定性 任何逻辑都有语法规则和语义解释两部分 语法规则中至少有四个要素可柔性化： 建立柔性真值域 命题真值的度量空间必须是有序空间 ，可是 线序 、 偏序 或 超序。 真值域的一般形式 是多维超序空间 W＝ {}∪[ 0,1]n  n＞ 0 其中 [0,1]是 基空间 ， n是 维数 ， 表示 无。