计算的三位一体主义 computational trinitarianism【计算库】
_计算的三位一体主义_简单的理解就是一切皆计算computation。它是 关于现实的实证主义、 关于因果关系的机械主义 和 关于时间度量(含拓扑度量)的行为主义 三者的融合。
一体 主体性 subjective
” 三位一体主义 trinitarianism“是 构造性的 Constructive，它由三个顶点、一个中心点以及三个顶点之间的三根连线(构成一个三角形，表示彼此”不是”)加上连接三个顶点到中心点(表示”都是”）的的三根线构成，–即1+3个点和23根线– 蕴含了一个主体的（aaas所称的 个人身份 ）“是什么和不是什么”的全部意义（ 主体性 subjective），是aaas内部任何做判断(包括断言、决定和推论)的 推论和推导的根据 以及对外部做出的判断(包括假设定义和定理 )进行 验证和证明*的依据。
三位 ：客体性 objective 及其同称的三种身份(词汇词 lexical )– a name [名称标签]
这里的三个”关于”的 客体 objective (_aaas所称的 即时身份 )就是aaas系统为AI确立的三个 主题角色（aaas所称的 即是身份 ）。它们为aaas中设立的 三种专家– 知识专家、主题专家和领域专家–提出了工作职责和范围。这些专家的智慧体现在aaas对 软件智能的三个完全不同方面respect（aaas所称的 如是身份_）的抽象中：现实模型、因果结构模型和机器学习模型。
以上三种身份就是所谓的 词汇词 lexical 。它们是 时间相关的。它们将 是（ _to be ）_aaas所谓的标记法（词汇 vocabulary）
客体性连同其三种同称 给出了 概念图交换格式CGIF和 公共逻辑交换格式CLIF中采用的相同的 四种名称标签。
（备注： CGIF 还额外地使用了一个自用的 名称标签。 ）
关于”名词标签”计划将作为单独的一篇来介绍。
计算computation
这三种 软件智能就是三者( 三种专家)对” 计算computation“态度：他们分别始终一贯坚守的 立场和始终如一坚持的 观点。
其中，
- 立场是 计算computation_在aaas系统的 知识库中的 _表征 representation，是一个图形(a graph） 算法algorithm，_它用于区别种类。其本身是一个 _断言assert，在aaas程序中它是 _推理程序（a reasoning， 一个推论的推导 ）_的开始–即第一行。
- 观点是计算 计算computation_在aaas系统的 数据库中的 _表示characterization，是一个的视图（a view） 计算calculation，_它用于区别程度。其本身是一个 _假定assume，在aaas程序中它是一个 _证明程序（a proof， 一个定理的证明 ）_的开始。
而 计算computation_本身则是全部的 _软件智能_的集中 _体现 manifestation，在aaas系统的 计算库中用来表述一个概念（a concept）模式schema，是一个图解（a diagram）计算 computation。其本身没有固定的形态(无形无象)，是aaas自用（为了 对齐alignment）的一个 词汇lexicon 它用来表示
- 或者， 一个过程process及其参与者身份 。此时它是伴随着过程的一个附属或附加（称为 运行部件），一个by-product意外条款。
- 或者， 一个自然性质property及其决定了这个性质的原因的种类。此时它是的一个 运动副件或一个 传动辅件，一个by-law例外细目。
主体间性 intersubjectiv：三元及其共指的三个概念词 conceptual--a coreference 共指标签 【知识库】
Constructive_是aaas中 初始提供的三个共指概念词中的一个。aaas中的另外两个共指标签是 _conductive_和 _suggestive。
对于作为 aaas主体的AI来说，作为其设计原则的 构造性 constructive，是作为其实现原理的 建构性的 suggestive_和作为其参照原点的 _范导性的 _conductive_两者的交集cross。
- 范导性的 conductive：被表述为”元初”，代表一个本体论Ontology 方案scheme（一个临时的传输方案 ） 。
- 建构性的 suggestive：被表述为”原印”，代表一个元数据Metadata提案schema（一个持久的概念模式） 。
- 构造性 constructive：被表述为”原初”代表了一个符号学Semiotics主题theme（一个随机的主题角色 ）。
它们是aaas 三层外架上分立的”数据集的三层叠意义”，即 知识表征Knowledge Representation，是aaas系统的 _知识库_的内 容。
以上三种身份就是所谓的 概念词 conceptual 。它们是上下文 相关的。它们 成为（ become）aaas所谓的标记法（ 符号notation）
主体性连同其三种共指 给出了 知识谱系图的交换格式KIF中的共用的四种 共指标签。
关于”共指标签”计划将作为单独的一篇来介绍。
软件智能 的 双线索：枢纽和核心 (各库的 联结connection 和 联想association )
1、本篇提到的 _计算库_和 知识库，加上上一篇提到的 数据库，整体给出为软件的aaas的 枢纽：
–从 内核的”计算的三位一体主义”到三套外壳上分立的”数据集的三层叠意义” 再到分散外设的”数据库的三元组方案”
2、aaas的核心-围绕两个问题的索引词
1) 索引词 indexical ：#
2) 如何找到它们–依赖三元三位的动态语义的版本
3） 如何以系统的方式组织它们– 基于经典理论的 静态句法标记
利用可观察的内涵与外延的逆关系，建立一个包含所有重言式（如下图所示）——所有逻辑上真实的命题–的顶层理论。
图3 理论的泛化成次结构
aaas中的两种组织（group和collection）分别基于下面的公理为先设：
- 代表了防腐层 上 处理差异集的内核（ a group） 运行时路线图（位于复平面 ）的4个单子公理：1个 反对称公理 Antisymmetry, 加上3个等价公理 及物性（传递性） Transitivity, 自反性 Reflexivity,_和 _对称性公理 Symmetry。它们是petri网中 a person 的3个初始断言和 a bus 的1个初始断言。称为” 令牌Token“”。
- 分别代表了三层外架和内核交互的API层和SPI层的 对齐面– -aaas核心(a collection)– 的两个侧面的两个公理： _整分论Mereology_和 _集合论Sets_公理 。它们分别是aaas所称的软件智能 对应实部和虚部的 母本和父类。
具体汇总如下：
- 双亲委派的一个 单子公理 (delegate程序）： 软件智能的一个可观察的结果a racket
- 专项特供的一个母本公理 （ broker程序)： 软件智能一个形而上学的包袱a packet
- 独家代理的一个父类公理 (agent程序) ：软件智能的一个形之下的机器 a socke t
说明：索引词是aaas的重要概念，以上 仅简列没有做解释。它们是aaas概要设计的内容。
【——-未完待续————–】
Original: https://blog.csdn.net/ChuanfangChen/article/details/122335699
Author: 一水鉴天
Title: 软件智能：aaas系统设计概要 之 序 结篇：计算的三位一体主义
原创文章受到原创版权保护。转载请注明出处：https://www.johngo689.com/547869/
转载文章受原作者版权保护。转载请注明原作者出处！