第二节、准全息系统的定量形式化描述

 

 1、引言

 研 究 复 杂 性 ,  必 需 走 出 一 条 新 路 , 既 从 与 复 杂 系 统 同 构 的 角 度 描 述 复 杂 系 统 , 认 识 复 杂 系 统 , 实 际 上 就 是 体 现 复 杂 系 统 本 体 的 复 杂 性 。等 于 用 复 杂 性 方 法 描 述 复 杂 性 , 无 疑 是 一 种 最 难 走 的 路 , 但 一 旦 有 了 突 破 ,却 最 具 革 命 性 意 义 。

系统复杂性包括几个方面的衡量标准:一是系统参量的复杂性,如整数、有理数、实数及超越数等系统参量。二是结构复杂性,如通过准全息元数学模型可以看出,不同类型的参量构成的系统结构,其复杂性有很大的差别,以整数的加减运算关系结构为例,用两维结构即可表示,复杂性要小得多。而有理数的乘除、乘方开方、对数反对数运算关系结构,必须用三维结构表示,具有足够的复杂性。而实数的乘方开方、对数反对数运算关系结构,则是从一个点向四面八方延伸,其结构已经超出三维,复杂性亦已超出想象。三是作用关系的复杂性,如系统参量按乘方开方对数反对数运算关系交互作用,就远比按加减及乘除运算关系作用复杂的多。四是系统类型的复杂性,如交互作用型系统就比与协同作用型系统复杂。

在 此 , 我 们 试 图 给 出 一 种 交 互 作 用 型 自 组 织 ,及 系 统 的 同 构 定 量 形 式 化 描 述 模 型 , 它 可 以 体 现 此 类 系 统 的 很 多 本 质 属 性 , 亦 为 体 现 此 类 系 统 的 涌 现 性 提 供 了 一 个 现 实 例 证 。

贝塔郎菲在一般系统论中强调,“全部系统研究的目标和任务集中到一点,就是阐述整体为什么大于部分之和,制定描述整体大于部分之和的那些整体属性的科学方法”。需 要 说 明 的 是 , 如 果 有 这 么 一 种 方 法 ,这 个 方 法 一 定 是 以 定 量 描 述 为 前 提  的 模 型 方 法 。 但 相 对 于 特 定 系 统 ,都 有 特 定 的 模 型 , 不 存 在 一 个 万 能 模 型 及 万 能 方 法 。 有 人 会 问 , 这 是 否 与 系 统 共 性 有 矛 盾 ? 其 实 并 不 矛 盾 , 因 共 性 是 指 某 类 系 统 的 共 性 , 而 不 存 在 所 有 系 统 的 共 性 。

 客 观 世 界 的 系 统 结 构 可 以 说 千 奇 百 怪 ,  即 便 是 在 同 一 个 系 统 中 , 在 不 同 层 次 中 , 其 结 构 、 结 构 的 构 成 原 理 及 法 则 也 可 能 不 一 样 ,但 总 有 一 种 系 统 结 构 ,可 以 最 大 限 度 的 在 某 类 系 统 中 体 现 共 性 , 如 能 给 出 其 定 量 形 式 化 描 述 模 型 , 对 于 我 们 深 入 理 解 这 类 系 统 是 非 常 有 益 的 。 相 对 于 模 拟 这 类 系 统 的 功 能 , 给 出 定 量 形 式 化 描 述 则 是 必 须 的 。 因 结 构 是 功 能 的 基 础 , 只 有 有 效 的 给 出 系 统 结 构 描 述 , 才 有 可 能 有 效 地 人 工 模 拟 重 现 复 杂 系 统 的 功 能 。

 很 大 一 类 系 统 结 构 ,都 能 派 生 或 隐 含 若 干 子 系 统 结 构 , 因 而 具 有 元 结 构 特 征――体现结构共性。其 结 构 的 构 成 法 则 亦 具 有 元 逻 辑 特 征 ―― 体 现 逻 辑 的 共 性 。 所 谓 逻 辑 共 性 ,是 指 对 系 统 参 量 进 行 组 合 与 分 解 、及 确 定 内 容 作 用 或 整 合 法 则 ,相 对 于 派 生 或 隐 含 的 若 干 子 系 统 结 构 ,亦同样适用。显 然 , 能 够 最 大 限 度 体 现 自 然 科 学 共 性 的 基 础 理 论 , 亦 具 有 元 理 论 的 特 征 ,否 则 就 不 会 具 有 普 遍 的 理 论 指 导 意 义 。 作 为 自 组 织 , 或 复 杂 系 统 共 性 的 定 量 形 式 化 描 述 模 型 ,  及 基 础 理 论 ,不 仅 能 够 解 决 系 统 悖 论 , 还 要 能 够 最 大 限 度 的 统 一 现 有 的 一 些 基 础 理 论 。如 使 本 体 论 、 认 识 论 与 方 法 论  统 一 ; 使 系 统 论 、 信 息 论 、 控 制 论 、 协 同 学 、 耗 散 结 构 学 、 突 变 论 、 自 组 织 、 超 循 环 等 自 然 科 学 基 础 理 论 统 一 ; 在 一 个 理 论 框 架 中 ,  使 定 性 、 定 量 、多 维 度 的 结 构 、 及 结 构 法 则 的 描 述 统 一 ; 使 元逻辑、元数据结构及元算法统一;使非线性与自组织原理及机制统一,且能够体现涌现性原理及机制。

 在 系 统 科 学 界 , 人 们 相 对 于 系 统 给 出 的 数 学 描 述 , 不 外 是 线 性 或 非 线 性 方 程 。但 我 们  认 为 ,这 不 能 作 为 复 杂 系 统 的 定 量 形 式 化 描 述 模 型 ,因 复 杂 系 统 的 定 量 形 式 化 描 述 ,不 是 自 然 语 言 、 数 学 公 式 等 描 述 方 法 所 能 替 代 及 解 决 的 ―― 数 学 方 程 式 不 等 于 结 构 描 述 。 不 论 是 线 性 系 统 还 是 非 线 性 系 统 , 都 是 在 一 个 状 态 空 间 反 映 系 统 参 量 的 内 在 联 系 ―― 需 给 出 系 统 参 量 群 体 的 结 构 描 述 。 结 构 描 述 不 同 于 作 用 关 系 的 属 性 描 述 , 但 结 构 描 述 中 应 该 包 含 作 用 关 系 的 属 性 描 述 。下 面 我 们 将 给 出 神 经 系 统 中 , 有 关 交 互 作 用 类 型 自 组 织 的 定 量 形 式 化 描 述 模 型 ,不 管 它 是 否 理 想 , 但 这 是 解 决 系 统 悖 论 的 唯 一 途 径 。 给 不 出 这 种 描 述 ,系统功能模拟就是盲目的,系统的涌现性就无从得以体现。

另 外 , 通 过 给 出 一 个 具 体 复 杂 系 统 的 具 体 描 述 , 解 决 一 个 具 体 复 杂 系 统 问 题 , 然 后 以 点 带 面 ,可 最 大 限 度 地 为 解 决人 们 在 主 客 观 世 界 遇 到 的 各 种 复 杂 系 统 理 论 问 题 。

 

    2、准全息元数学模型

 交 互 作 用 型 自 组 织 或 系 统  ,其参量或要素,具有内在互为因果联系,作为开放系统,其参量的因果逻辑关系,必然以某一类参量为基础,遵循确定性的因果关系建构,且可无限外延,因而具有准全息性。显然,交互作用型自组织,其参量关系不能在一维的状态空间描述,因一维的状态空间只能描述串行因果关系。交互作用型自组织,具有两维以上因果联系的状态空间。其系统参量体 现 为 两 维 以 上 的 交 互 作 用 关 系 网 络 ,从可能的因中给出某种因,就可从可能的果中得到预期的果,并具有内涵与外延的一致相容性。对 此 给 出 有 效 描 述 ,对于揭示此类系统中各子系统之间的功能联系、信息联系、动力学作用联系,或参量之间的作用关系至关重要。描述这种类型自组织的数学模型,可将其称为“准全息元数学模型”,见图1图2 。

 

 

 

 

 

模型类似数学用表一样可进行加减、乘除、乘方开方、对数反对数运算。可 体 现 状 态 之 间 的 互 为 因 果 交 互 作 用 关 系 ,能 组 合 与 分 解 或 转 换 入 出 状  态 。随着复杂系统理论的深化,适应自组织涌现原理的描述与体现,尤其是适应复杂系统功能的人工模拟,如人 脑 神 经 网 络 或 人 工 智 能 系 统 ,及 社 会 、经 济 、 生 态 等 复 杂 系 统 的 有 效 调 控 ,这种模型必然要应运而生。

当然,准全息交互作用型系统作为一个相对独立的系统,不仅仅是体现参量的交互作用关系,及运算、交换关系,还需要匹配编译码输入输出。作为主要应用实例――人工神经元在系统级的连接模式,及所体现的系统功能,将在后面予以具体介绍。

 需 要 说 明 的 是 , 输 入 输 出 层 次 的 结 构 与 功 能 , 与 核 心 状 态 转 换 层 是 有 差 别 的 , 完 全 遵 循 不 同 的 结 构 法 则 及 自 组 织 原 理 。以输入为例,系统参量是向同一个方向的协同作用,体现为协同作用型自组织。

      交 互 作 用 型 自 组 织 体现有序与无序、 可 逆 与 不 可 逆 、  一 维 与 多 维 、 对 称 与 破 缺 、 确 定 与 非 确 定 、偶然与必然的统一性。体现多维因果关系,体现因果变换及形式运演关系。借助符号或参量,能够体现交互作用关系的组成规律及特定法则,且关系的作用及转换机制具统一性。这类交互作用型自组织系统中的要素或参量之间,具互为因果性,具有准全息开放性。系统理论需要利用数学形式,体现这种关系及规律,这样才会更接近描述对象的本质特征。利用数量关系,系统结构及其复杂的物质、能量、与信息定量输入输出和转换的动力学描述,才会更精确、更直观,自组织的涌现原理亦能得以直观揭示。

交 互 作 用 型 复 杂 系 统 的定量形式化描述模型有三个要素:①、系统因子。②、系统结构。③、结构法则。构成系统的单元因子可用参量描述,单元因子的作用关系可用结构描述。而结构的构成法则则需要数理逻辑描述。结构法则即参量之间的交互作用法则,或者说是系统产生“整体大于部分之和”的涌现性法则。就是说,关系及结构并非无原则建立,如整数集根据加减运算法则,可构成加减运算关系结构,有理数集根据乘除、乘方开方、对数反对数运算法则,可构成乘除、乘方开方、对数反对数运算关系结构,其描述模型统称“准全息元数学模型”。

模型反应整数之间的加减运算关系、有理数群之间的乘除、乘方开方、对数反对数运算关系,实数之间的乘方开方、对数反对数运算关系。三者之间既具独立性,又具相容统一性;可描述不同层次,但属同一系列的多元化自组织,使其得以相容统一描述。

从模型可以看出,交互作用型自组织。其参量类型分为整数、有理数、实数或超越数等几种集合或类型,其自组织结构法则有加减乘除、乘方开方、对数反对数等基本类型。因而有理由认为加减乘除、乘方开方、对数反对数运算关系模型,就是交互作用型自组织,或交互作用型系统的共性定量形式化描述。是交互作用型自组织的共性元结构。由它可以派生出无数子结构,如仅是图1派生的不同进制的整数加减运算关系就有无数种,见下图。

 有理数集及实数集也是一样,因而复杂系统的复杂性,有很大一部分是系统参量关系的复杂性,而交互型自组织参量关系中的基本关系,就是逻辑运算关系、互为因果交互作用及交换关系。

    模型以整数集,有理数集,实数集为基础,这些集合只作为集合来看是没有什么结构的,只有指出集合内元素之间的内在逻辑关系,使其体现与某个原型的同构性才有意义。当 然 , 同 构 总 是 相 对 的 , 因 准 全 息 元 数 学 模 型 本 身 就 是 个 计 算 模 型 , 我 们 可 以 从 单 纯 计 算 的 角 度 将 其 看 作 人 脑 的 同 构 模 型 , 根 据 这 种 模 型 , 我 们 就 可 以 构 造 计 算 原 理 完 全 不 同 于 冯 型 机 的 新 型 通 用 计 算 机 ―― 在 最 后 一 章 具 体 介 绍 。

        因 模 型 体 现 整 数 的 加 减 、 有 理 数 的 乘 除 、 及 实 数 的 乘 方 开 方 对 数 反 对 数 运 算 关 系 , 因 而 可 作 为 人 工 神 经 元 在 系 统 级 的 连 接 模 式 , 构 成 新 型 人 工 神 经 网 络 , 体 现 模人 脑 更为本质的 一 些 基 本 功 能( 具 体 的 连 接 方 法 在 后 面 的 章 节 中 谈 到 )。

       显 然 , 体 现 同 构 性 是系统理论的根本任务。同构概念相对于功能模拟具有重要意义,因产生功能的基础是结构,欲有效的模拟特定的系统功能,就必须给出其同构描述模型。

    模型包括自然整数集、有理数集、实数集。三个集既具独立性,又具逻辑相容统一性;可描述交互作用型自组织多元统一 一体化的系列结构。可描述复杂系统线性与非线性、二维与多维结构的统一性。它符合发生学或协同学原理,能进行参量的一致有效性因果逻辑关系转换――运算。不同的“集”之间,具有因果逻辑关系转换的层次性,及质变与量变的统一性,具有连续与离散参量逻辑关系变换的统一性、一致性、及准多值准全息性。而这些都是描述系统结构复杂,并具稳定性的基本前提。

    根据同构相似性原理,系统不论多么复杂,总能找到同构描述模型。系统得以立论的基本前提,就是不但能够给出具体系统的定量形式化描述模型,且能据此构造人工系统,使复杂系统的功能及各种本质特性得以再现。如以模型为逻辑结构模式,利用微电子技术,或生物芯片技术物化为人工神经元网络,即可构成以基本运算功能为基础的刺激反应模型――具有人脑中枢神经网络的本质结构与功能属性。如自适应、自调控机制;反馈循环、及自适应稳定机制;因果关系变换的预先矫正、及信元之间的自组织或子系统之间的功能耦合机制;这些机制是体现智能的基础,也是学习及创造性的基础。其可逆性及两极互变性,亦符合辩证逻辑法则;其结构的创生,符合生物生长及进化原理。作为一个系统描述模型,它不象热力学所预言的那样趋向无序,而是自发地按特定法则,形成有序的自组织,并保持其开放性。

模型是准全息算子或准完全参量的交互转换及作用模型,它体现的是某类参量“ 集群”内参量的交互作用关系,它的展开具有公理的性质,如从系统的概念与一组合适的公理命题出发,就能推演出某类系统的基本特性和原理,如系统的开放性;准全息性;因果预决性及准完备性;结构法则的多元相容性;结构内涵与外延建构的一致有效性;最主要的参量关系结构就是运算关系结构,具有平衡稳定形式。有理由认为,功能最强的结构就是系统参量的数学基本运算关系结构,其最显著的特点是具有互为因果交互性――既自组织性。如整数集,按加减运算法则及关系自组织;有理数集,按乘除运算法则及关系自组织。其结构最优,功能最强,且以确定性为基础相容不确定性,所以是人脑神经这一最具复杂性系统的数学理论基础,及定量形式化描述模型。具有广泛的适用性及有效性。

    模型与某类现实系统,具有形式上的相似关系――可以类比;能代表原型进行分析研究――可以替代;能够预测原型的演化与进化方向――可以推论。从形式上讲,模型是诸要素以参量为标志的自组织集群结构,它体现了子系统功能的自洽耦合原理。相对于科学理论及哲学思想的高度综合,它既是自组织系统的形式化描述,又是其认识目的及描述自组织系统的整体方法,因而既有本体论意义,又有认识论及方法论意义。

准全息元数学模型的产生,说明自然系统,尽管存在无限的复杂性,但总归是可以进行定量形式化描述的。一般系统论的创始人贝塔朗菲认为,存在着适用于一般系统或其亚类的模型、原理和规律,而无需考虑它们的特定种类、组成元素的性质,所以自然就需要一种理论,它不是属于专门种类的系统理论,而是适用于一般系统的共性原理。它把这样一种新学科称为一般系统论,其主要目标在于表述和推导对于一般系统有效的原理。但他未能做到这一点。事实上, 根 据 我 们 的 研 究 , 任 谁 也 很 难 以 做 到 这 一 点 , 因 为 系 统 可 以 具 有 共 性 , 但 其 原 理 及 结 构 却 没 有 共 性 。 如 迄 今 最 具 复 杂 性 的 系 统―― 人 脑 神 经 系 统 , 即 包 括 典 型 的 交 互 作 用 型 自 组 织 , 又 包 括 典 型 的 协 同 作 用 型 自 组 织 。 说 明 在 同 一 个 系 统 中 , 决 不 会 仅 仅 一 种 原 理 起 作 用 , 因 系 统 的 层 次 性 决 定 , 不 同 层 次 的 自 组 织 及 其 原 理 具 有 很 大 的 差 别 。 交 互 作 用 型 自 组 织 ,以 组 合 与 分 解 ,及 确 定 交 互 作 用 关 系 为 主 要 特 征 , 协 同 作 用 型 自 组 织 以 聚 集 与 发 散 作 用 关 系 为 主 要 特 征 。 如 果 说 共 性 ,准全息元数学模型,仅能最大限度地体现交互作用型系统,或自组织的共性。

    通过准全息元数学模型, 我 们 对 于 交 互 性 自 组 织 及 涌 现 性 产 生 的 机 理 , 对 复 杂 系 统 整 体 与 局 部 的 关 系 ,尤其是非线性作用机制,就会有一个非常明确的认识。非 线 性 作 用 尽 管 多 种 多 样 , 但 只 要 找 出 描 述 它 们 的 共 性 方 法 , 就 能够在科学实践中解决 大 量 实 际 问 题 。所谓的非线性,体现在物理系统中,其实质是有理数及实数类型的参量,按乘除、乘方开方、对数反对数运算关系交互作用。