15、通用认知智能：从认知意识与 Lambda (Λ) 谈起

通用认知智能：从认知意识与 Lambda (Λ) 谈起

通用认知智能概述

通用认知智能（UCI）旨在帮助读者理解其本质，为此采取了三个举措。首先，在之前测试的基础上，给出额外测试，助力读者理解UCI核心的认知能力早期水平；其次，尝试开启对任意UCI水平的完整、正式定义；最后，解释如何将Λ扩展到无限情况。

更多测试以传达概念

以数学家Alice给出的测试2为例，她提到自然数集N，即{0, 1, 2, …}，并断言存在一个数n⋆∈N ，若n⋆是“好的”，那么所有数都是“好的”。测试问题是判断Alice的断言是否正确，并证明答案。
- 测试意义 ：若能通过此测试，且能应对关于自然数的任意断言测试，表明认知智能达到较高水平。从逻辑编程角度看，这超越了Prolog的能力，因为Prolog的推理模式和过程仅在待判定内容为定理时才保证成功。由于L1只是半图灵可判定的，所以该认知智能水平高于图灵机。
- 逻辑表达 ：用L1表达Alice的断言为ν : ∃n[N(n) →∀yN(y)] 。若将证明ν所需的背景信息收集到Φ中，那么就需要判断Φ ⊢L1 ν ，此水平的智能无法通过任何Prolog程序或标准的L1级自动演绎推理器实现。
- 后续测试方向 ：为全面研究UCI，后续会进行更多测试，包括考察在算术（限于L1）和分析（限于L2）层次结构中能达到的高度，以及涉及内涵运算符的测试，如三阶、四阶、五阶……错误信念测试。

对UCI的完整正式定义

目前无法提供UCI的完整正式定义。若要定义，需为以下等价关系左侧的定义