机器智能判断与中国传统逻辑.PDFVIP

机器智能、判断与中国传统逻辑 周剑铭 柳渝 (yu.li@u-picardie.fr) Laboratoire MIS, Université de Picardie Jules Verne, France 内容 •  逻辑学与算法论 ：推理与判断 ，判断与判 定 •  判定问题 ：« P vs NP » 与AI •  机器智能（AI ）：“学习机器”与“机器学习” •  智能哲学与算法、逻辑、⼈⼯智能 •  中国传统逻辑对智能哲学研究的启示 逻辑学与算法论 ：推理与判断 •  逻辑学是关于思维推理形式的研究 ，其推理的正 确性由形式关系决定 ，最终的形式关系就是 “真”与“假”，由此构成全部逻辑学的基⽯。 •  在逻辑学中 ，作为思维过程 ，“推理”与“判断” 具 有相同的本质。 •  因此，“逻辑学是关于思维推理的形式的研 究”与“逻辑学是关于思维判断的形式的研究”是同 义的。 逻辑学与算法论 ：推理与判断 •  比如，“三段论” 就是由三个判断组成 ： –  ⼤前提：所有M都是P （所有⼈都会死） –  小前提：所有S都是M （亚里⼠多德是⼈） –  结　论：所以，S是P （所以亚里⼠多德会死） 逻辑学与算法论 ：推理与判断 •  在逻辑学中 ，“真”与“假”是没有语义的最基本的纯 粹形式关系 ，具有⼀种隐含的本质—— 可执⾏性， 由“判断”这个术语所表达 ，即逻辑“真”、“假” 的执 ⾏意义就是“判断”。 •  这种可执⾏性又由我们称之为“实时时间” （actual time）隐含在算法本质之中，即“机械步骤”所具有 的神秘性。 逻辑学与算法论 ：判断与判定 •  逻辑的“可执⾏性”与算法的“可计算性”具有⼀致性 ⽽又不同，我们以算法的“判定” （decision） 区别 于逻辑的“判断” （judgement ）。 •  decision 的拉丁词根是cut ，“切” 、“裁决”意义， （yes 或no）；⽽judgement 则具有审判、评价的权 ⼒或能⼒的意义，并不强调判定结论（yes和 no）。 判定问题 ：« P vs NP » 与AI •  ⼈的（逻辑）判断与算法的判定层次缠绕，表达 为“判定问题”，实质上是逻辑学 自身⽆法克服的 形式化 与⼈的认知主体性的缠绕关系。 •  判定问题既隐含在算法理论的« P vs NP »世纪难题 中，