消解逻辑悖论建立元知识智能化体系
高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言计算前沿构造理论基础支撑.这两部专著在他的创新理论基础研究中为传世瑰宝.在悼念高庆狮院士逝世10周年之际,文中利用最新向量逻辑——变值体系,来展现在高老师的研究方向中元知识系统体系架构建模的最新进展.从向量逻辑出发,综合共轭结构、元知识模型以及各类新型处理机制,在现代逻辑和数学中判定一个复杂系统是否包含经典逻辑悖论,对保证该类系统能否存活起到核心判别作用.从分类和判别解析的角度,悖论可以分为两类模式:逻辑悖论和语义悖论.利用共轭环构造4条色带,系统化地消解莫比乌斯环展现的单面特性,展示一系列几何拓扑逻辑等学科内蕴的逻辑悖论,通过共轭环结构,形成完备的消解体系.相关的结构包括易经、微分几何、微分几何拓扑、整体变分泛函优化等复杂动态系统.随着系统化地消解莫比乌斯拓扑几何逻辑悖论,针对复杂知识系统体系架构,描述适配的相关模块及其子模块的体系架构,从经典逻辑出发,系统地建立经典逻辑、有限自动机、图灵机、冯纽曼体系.利用消解莫比乌斯悖论的向量逻辑、共轭结构和变值体系,系统化地构造量子图灵机、多元复函数向量机、复杂智能化系统体系架构以及统一语言学分析系统等,为新型元知识体系构造新型复杂智能化系统开辟道路.
共轭逻辑;共轭变换结构;相空间;经典计算系统;图灵机;量子图灵机;元知识体系;统一语言学
49
O144;TP302;N941(数理逻辑、数学基础)
国家自然科学基金62041213
2022-01-21（万方平台首次上网日期，不代表论文的发表时间）
共10页
7-16
