人工智能的逻辑基础初探
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
关键：如何处理假设命题带来的各种问 题
目前是在二值逻辑基础上放宽对推理的 前提条件应该全部已知的限制，允许部 分条件缺省，然后利用先验或后验的信 息进行补充和修正。
产生和修正假设命题的方法不同，就形 成了不同的逻辑（和附加机制）。如
不完全归纳 类比 案例 发现 信念等
假设命题造成了推理过程的非单调性、
建立柔性真值域
命题真值的度量空间必须是有序空间， 可是线序、偏序或超序。
真值域的一般形式是多维超序空间
＝{ }∪[] < > ＞
其中[]是基空间，是维数， 表示无 定义或超出范围，可没有; 是有限 符号串，代表命题的附加参数，可 是。
建立柔性连接词
命题连接词由运算模型定义，我们根 据模糊测度的逻辑性质研究发现了柔 性逻辑在＝[]上定义的命题连接词有 个
关键：命题连接词及其运算模型
逻辑意义：整体判断和局部判断
命题连接词及其运算模型
已经提出不少连续值逻辑定义
受传统逻辑学思想束缚，运算模型 唯一
范数发现了许多连续变化的算子簇， 但不知道不什么物理意义。
认识到不同情况需要不同的运算模 型
信息不全：全信息逻辑 非全信息逻辑 关键：如何补充和修正假设命题
广义智能科学理论体系
基本需求：数理逻辑柔性化 逻辑学分为：
★形式逻辑 研究具有内在同一性和 外在确定性的概念、命题之间的必然
联系；
★辨证逻辑 研究具有内在矛盾性和 外在不确定性的概念、命题之间的必
然联系。 研究辨证逻辑的基本方法是将辨证逻
逻辑学中的基本问题
刚性逻辑学和柔性逻辑学
辨证逻辑的数学化得到 非经典数理逻辑，它是 柔性逻辑学 ()
动态平衡参数、对环境敏感的参数
数理辩证逻辑的统一之路
经典数理逻辑已经是一个完整的理 论体系，但它只能处理具有内在同 一性和外在确定性的推理问题，它 的各种逻辑学要素都是固定不变的，
没有调整机制。
数理辩证逻辑需要在经典数理逻辑 的基础上，根据辨证处理具有内在 矛盾性和外在不确定性事物的划分
统一考虑多值性和非全信息性
泛非 泛与 泛或 泛蕴含
泛等价 泛平均 泛 组合
柔性命题连接词的运算模型是连续变 化的算子簇,它随调整参数变化，可 描述柔性命题间关系的不确定性（关
建立柔性量词 定义在上的柔性量词有： 标志命题真值阈元的阈元量词♂ 标志假设命题的假设量词$ 约束个体变元范围的范围ຫໍສະໝຸດ Baidu词∮ 指示个体变元的相对位置的位置量词 ♀ 改变真值分布过渡特性的过渡量词 ∫ 其中参数, 表示约束条件，称为程度
建立柔性推理模式
柔性推理模式有上述三要素上定义的
演绎推理
归纳推理
定 辩证逻辑能处理内在矛盾性和外在
二 广义智能科学 对逻辑学的需求
什么是广义智能观
智能广泛存在于自然界中。（涂序彦 等）
广义智能是信息系统感知环境及其变 化，通过自身结构和功能的改变，恰 当而有效地对其作出反映，以适应环 境，达到系统生存目标的能力。（何
华灿）
什么是广义逻辑观
逻辑是自然界一切事物及其变化的 一般规则和规范。（何华灿） 逻辑和具体科学及哲学的关系与区
形式逻辑的数学化得到 经典数理逻辑，它是 刚 性逻辑学 ()
数理逻辑柔性化的三个方向 不精确推理：二值逻辑 连续值逻辑
三值 概率 模糊 多值 模态 信息不完全：全信息逻辑 非全信息逻
辑 归纳 类比 容错 非单调 弗协调 开
放 动态变化：一维逻辑 高维逻辑
不精确推理：二值逻辑 连续值逻辑 关键：命题真值连续变化的逻辑意义
弗协调性、开放性等。
非全信息逻辑主要是研究附加机制。
动态变化：一维逻辑 高维逻辑 关键：伪偏序逻辑的蕴涵如何定义？
关键：从整数维实数维可能吗？
可拓逻辑有更多的变化机制（蔡 文）
人工生命系统的经验 为什么
天下没有完全相同的叶子 生物体内部如此完美地协调 生物和它存在的环境如此和谐
因为 它的逻辑规则中存在随机参数、内部
与界有人放弃逻辑不同，有些逻辑学 家认为人工智能是现代逻辑学发展的
原动力
他们在努力拓展经典数理逻辑，以适 应计算机科学，计算语言学和人工智 能发展的需要，取得了丰硕成果，这 集中反映在现代逻辑的“圣经”《哲
问题的关键何在？ 智能科学要处理矛盾和不确定，如：
不精确 不完全 动态 演化 人工智能只能使用数学化的逻辑 而经典数理逻辑不考虑矛盾和不确
逻辑基础探讨
年月日于秦皇岛
一 逻辑是智能的 基本科学问题吗？
对这个问题的回答经历了 早期：狭义智能的完全肯定 √ 中期：知识工程的部分动摇 ？
计算智能的完全否定 现在：探索广义下的肯定答案
解决这个问题的重大意义
有助于深刻认识智能的本质
为智能科学奠定重要理论基础
使人工智能有统一的可靠的逻 辑基础，这是由实证科学向理论 科学过渡和由定性向定量转型的
统一考虑各种不确定性
三 泛逻辑学研究 纲要及初步成果
泛逻辑学的研究纲要 泛逻辑学的总纲领是从顶层研究逻辑 学的一般规律，建立统一而又开放的 逻辑学理论架构，以规范和指导现代 逻辑学研究，实现数理逻辑的柔性化。 核心问题是在数理逻辑中引入柔性机 制 包容各种矛盾和不确定性 任何逻辑都有语法规则和语义解释两
深刻的比喻
尽管人类很早就通过形体、结构 和遗传进化认识了生物和生命， 但直到发现了 ，才真正开始认识 生物和生命的本质。 人类基因组
计划
如 高贵的人和卑微的黑猩猩比 较
根据：工生命的重要启示
人工生命中的研究结果 系统 细胞 机
是生命系统的逻辑规则 生物体只是 这些逻辑规则的语义解释和物理实现
根据：蓬勃发展的现代逻辑
别 科学 具体研究某类对象的变化规律
哲学 抽象研究整个自然的变化规律
逻辑有多种形态，如 二值逻辑二值图象 看 多值逻辑灰度图象 墨 多维逻辑彩色图象 之 缺省逻辑缺省图象 舞 动态逻辑动画 视频
结构和过程都是逻辑的具体实现 事物的三种等价描述 相互渗透不可分
逻辑规则描述事物 用推理演算解决 知识结构描述事物 用搜索策略解决 演化过程描述事物 用寻优过程解决 例如 可从三个不同侧面观看芭蕾舞： 从形体上看 是人体结构的变化 从能量上看 是能量变换的过程 从信息上看 是思维逻辑的演绎 三个中一个为主，其他是伴随的附件 人工生命使我们想的更大胆，更深入！
目前是在二值逻辑基础上放宽对推理的 前提条件应该全部已知的限制，允许部 分条件缺省，然后利用先验或后验的信 息进行补充和修正。
产生和修正假设命题的方法不同，就形 成了不同的逻辑（和附加机制）。如
不完全归纳 类比 案例 发现 信念等
假设命题造成了推理过程的非单调性、
建立柔性真值域
命题真值的度量空间必须是有序空间， 可是线序、偏序或超序。
真值域的一般形式是多维超序空间
＝{ }∪[] < > ＞
其中[]是基空间，是维数， 表示无 定义或超出范围，可没有; 是有限 符号串，代表命题的附加参数，可 是。
建立柔性连接词
命题连接词由运算模型定义，我们根 据模糊测度的逻辑性质研究发现了柔 性逻辑在＝[]上定义的命题连接词有 个
关键：命题连接词及其运算模型
逻辑意义：整体判断和局部判断
命题连接词及其运算模型
已经提出不少连续值逻辑定义
受传统逻辑学思想束缚，运算模型 唯一
范数发现了许多连续变化的算子簇， 但不知道不什么物理意义。
认识到不同情况需要不同的运算模 型
信息不全：全信息逻辑 非全信息逻辑 关键：如何补充和修正假设命题
广义智能科学理论体系
基本需求：数理逻辑柔性化 逻辑学分为：
★形式逻辑 研究具有内在同一性和 外在确定性的概念、命题之间的必然
联系；
★辨证逻辑 研究具有内在矛盾性和 外在不确定性的概念、命题之间的必
然联系。 研究辨证逻辑的基本方法是将辨证逻
逻辑学中的基本问题
刚性逻辑学和柔性逻辑学
辨证逻辑的数学化得到 非经典数理逻辑，它是 柔性逻辑学 ()
动态平衡参数、对环境敏感的参数
数理辩证逻辑的统一之路
经典数理逻辑已经是一个完整的理 论体系，但它只能处理具有内在同 一性和外在确定性的推理问题，它 的各种逻辑学要素都是固定不变的，
没有调整机制。
数理辩证逻辑需要在经典数理逻辑 的基础上，根据辨证处理具有内在 矛盾性和外在不确定性事物的划分
统一考虑多值性和非全信息性
泛非 泛与 泛或 泛蕴含
泛等价 泛平均 泛 组合
柔性命题连接词的运算模型是连续变 化的算子簇,它随调整参数变化，可 描述柔性命题间关系的不确定性（关
建立柔性量词 定义在上的柔性量词有： 标志命题真值阈元的阈元量词♂ 标志假设命题的假设量词$ 约束个体变元范围的范围ຫໍສະໝຸດ Baidu词∮ 指示个体变元的相对位置的位置量词 ♀ 改变真值分布过渡特性的过渡量词 ∫ 其中参数, 表示约束条件，称为程度
建立柔性推理模式
柔性推理模式有上述三要素上定义的
演绎推理
归纳推理
定 辩证逻辑能处理内在矛盾性和外在
二 广义智能科学 对逻辑学的需求
什么是广义智能观
智能广泛存在于自然界中。（涂序彦 等）
广义智能是信息系统感知环境及其变 化，通过自身结构和功能的改变，恰 当而有效地对其作出反映，以适应环 境，达到系统生存目标的能力。（何
华灿）
什么是广义逻辑观
逻辑是自然界一切事物及其变化的 一般规则和规范。（何华灿） 逻辑和具体科学及哲学的关系与区
形式逻辑的数学化得到 经典数理逻辑，它是 刚 性逻辑学 ()
数理逻辑柔性化的三个方向 不精确推理：二值逻辑 连续值逻辑
三值 概率 模糊 多值 模态 信息不完全：全信息逻辑 非全信息逻
辑 归纳 类比 容错 非单调 弗协调 开
放 动态变化：一维逻辑 高维逻辑
不精确推理：二值逻辑 连续值逻辑 关键：命题真值连续变化的逻辑意义
弗协调性、开放性等。
非全信息逻辑主要是研究附加机制。
动态变化：一维逻辑 高维逻辑 关键：伪偏序逻辑的蕴涵如何定义？
关键：从整数维实数维可能吗？
可拓逻辑有更多的变化机制（蔡 文）
人工生命系统的经验 为什么
天下没有完全相同的叶子 生物体内部如此完美地协调 生物和它存在的环境如此和谐
因为 它的逻辑规则中存在随机参数、内部
与界有人放弃逻辑不同，有些逻辑学 家认为人工智能是现代逻辑学发展的
原动力
他们在努力拓展经典数理逻辑，以适 应计算机科学，计算语言学和人工智 能发展的需要，取得了丰硕成果，这 集中反映在现代逻辑的“圣经”《哲
问题的关键何在？ 智能科学要处理矛盾和不确定，如：
不精确 不完全 动态 演化 人工智能只能使用数学化的逻辑 而经典数理逻辑不考虑矛盾和不确
逻辑基础探讨
年月日于秦皇岛
一 逻辑是智能的 基本科学问题吗？
对这个问题的回答经历了 早期：狭义智能的完全肯定 √ 中期：知识工程的部分动摇 ？
计算智能的完全否定 现在：探索广义下的肯定答案
解决这个问题的重大意义
有助于深刻认识智能的本质
为智能科学奠定重要理论基础
使人工智能有统一的可靠的逻 辑基础，这是由实证科学向理论 科学过渡和由定性向定量转型的
统一考虑各种不确定性
三 泛逻辑学研究 纲要及初步成果
泛逻辑学的研究纲要 泛逻辑学的总纲领是从顶层研究逻辑 学的一般规律，建立统一而又开放的 逻辑学理论架构，以规范和指导现代 逻辑学研究，实现数理逻辑的柔性化。 核心问题是在数理逻辑中引入柔性机 制 包容各种矛盾和不确定性 任何逻辑都有语法规则和语义解释两
深刻的比喻
尽管人类很早就通过形体、结构 和遗传进化认识了生物和生命， 但直到发现了 ，才真正开始认识 生物和生命的本质。 人类基因组
计划
如 高贵的人和卑微的黑猩猩比 较
根据：工生命的重要启示
人工生命中的研究结果 系统 细胞 机
是生命系统的逻辑规则 生物体只是 这些逻辑规则的语义解释和物理实现
根据：蓬勃发展的现代逻辑
别 科学 具体研究某类对象的变化规律
哲学 抽象研究整个自然的变化规律
逻辑有多种形态，如 二值逻辑二值图象 看 多值逻辑灰度图象 墨 多维逻辑彩色图象 之 缺省逻辑缺省图象 舞 动态逻辑动画 视频
结构和过程都是逻辑的具体实现 事物的三种等价描述 相互渗透不可分
逻辑规则描述事物 用推理演算解决 知识结构描述事物 用搜索策略解决 演化过程描述事物 用寻优过程解决 例如 可从三个不同侧面观看芭蕾舞： 从形体上看 是人体结构的变化 从能量上看 是能量变换的过程 从信息上看 是思维逻辑的演绎 三个中一个为主，其他是伴随的附件 人工生命使我们想的更大胆，更深入！