从内涵逻辑形式化建构论人工智能机的逻辑与数学基础.pdfVIP

血orCDTECHNOI禾 2007 年第 1期 ·计算技术与 自动化 · 从 内涵逻辑 形式化建构 论人 工智能机 的逻辑 与数学基础 杨朝晖 ( 河南交通职业技术学院，河南 郑州 450005 ) 摘 要:本文针对外延逻辑的局限性，运用格值偶逻辑( LVPL ) 的理论，提 出了内涵逻辑建构及形式化的初步设想，并 指 出这些设想可能成为设计人工智能机的逻辑基础与数学基础。 关 键 词: 内涵逻辑;建构;形式化 中图分类号:TP39 1:B81 文献标识码 :A F r om t h e St r u ct u r a E st a b ish m e n t a n d F or rn k h a t io n of the Intension a Logic Ta k in g about the Logica and Mathematica Base on th e Ar tificia Int e igen ce M a c h in e Y A N G Z h a o- h u i ( Henan Communication Vocationa Techno ogy Co ege ，Henan Zhengzhou 450005 ) Key wor ds: intensiona ogic ;the structura estab ishment ;forma ization 从逻辑发展阶段上看，格值偶逻辑(LVPL) 理论可以说是 学工具。而那种企图迫使经典数学就范于内涵逻辑形式化的作 对内涵逻辑形式化的第一次探索。目前，国内外关于内涵逻辑的 法，应当说是一种不切实际的幻想。这样，我们认为内涵逻辑形 论文不少，但大体上讲来还处于建构的设想中，距形成一个完整 式化将以经典数学与非经典数学的结合为工具。 的理论体系还相差甚远。从数学角度看其结构，属于一种泛代数 2 不可能建立如同外延逻辑形式化系统意义的内涵 拓扑结构，就应用上来讲，在A 中它已被迅速当作ES开发的新 逻辑形式化系统 工具。下面我们对内涵逻辑形式化建构中的一些原则问题，提出 一些设想，这些设想可能成为设计人工智能机的逻辑基础与数 形式化系统是完全形式化的公理系统。它由一整套表意符 学基础。 号构成的形式语言并且还应有初始公式与变形规则。对这个公 理系统所提出的基本要求是所谓一致性与可靠性。正是出于对 1 内涵逻辑形式化建构的工具 这些基本要求上的考虑，作者认为内涵逻辑形式化的工作，最终 近代逻辑、近代数学发展的历史，至少证明了以下观点的正 不可能建构于上述意义下的完全形式化的公理系统。 确:其一，传统数学的逻辑结构为二值逻辑;其二，数学与逻辑互 首先内涵逻辑形式化建构不可能满足公理系统一致性要 相促进，相得益彰。由此，奠基于二值逻辑基础上的经典数学主 求。一致性又叫无矛盾性。详细一点说，一个系统若是一致的，就 要也只能为二值外延逻辑服务。因此，可以预见，为适应内涵逻 是说在该系统内不允许出现合式公式A，使得A 与二A都成为 辑形式化的需要，从外延逻辑 转“人”内涵逻辑形式化，必然会 系统中的定理。 对经典 学带来深刻的影响，推动 学的非经典化，产生新的 一致性要求是对于一个完全形式公理系统提出极为主要的