16、通用认知智能：从认知意识到 Lambda (Λ)

通用认知智能：从认知意识到 Lambda (Λ)

1. 通用认知智能基础架构

通用认知智能（UCI）有着独特的基础架构。其核心元素可以用以下形式表达：
- (L := ⟨L, I⟩)
- (R : ⟨P, q⟩−→⟨Y|N|U, δ, π(s)|α(s)⟩)
- (C : π(s)|α(s) −→⟨Y|N|U, δ⟩)

这里涉及到查询（query）、程序（program）、推理器（reasoner）、检查器（checker）、“置信度”（degree of “confidence”）、证明（proof(s)）和论证（argument(s)）等概念。纯粹通用逻辑编程（PGLP）是生成层次结构的关键，在简单情况下，当PGLP包含命题逻辑（Proplog）和Prolog时，其背景逻辑分别是LPC和L1。随着逻辑与相应自动推理器组合能力的增强，层次结构得以提升。

2. 实数基础层次结构的探讨

理论计算机科学传统上基于离散结构，已建立的层次结构也不例外。在UCI的大部分呈现中，自然数是基石，特别是对于Λ（在有限和无限情况下）和已建立的层次结构。例如，算术层次结构（AH）不受不可数集（如实数集R）的“污染”。关于UCI与实数的关系，有两点说明：
- 实际上存在基于实数的层次结构，目前正在研究UCI与其中之一的关系。
- 虽然为了便于阐述和聚焦，注意力主要集中在自然数集N及其基本算术上，但形式逻辑可以用于捕捉连续数学，这从逆数学中可以得知。未来，通用心理测量学有望扩展到分析等数学分支的测试，并将对已知足以实现连续数学的公理系统的推理纳入UCI。

3. LM层次结构的印象式视图