计算的三位一体主义computational trinitarianism 【计算库】
计算的三位一体主义 简单的理解就是一切皆计算computation。它是关于现实的实证主义、关于因果关系的机械主义 和关于时间度量(含拓扑度量)的行为主义 三者的融合。
一体 主体性subjective
“三位一体主义trinitarianism”是构造性的Constructive,它由三个顶点、一个中心点以及三个顶点之间的三根连线(构成一个三角形,表示彼此“不是”)加上连接三个顶点到中心点(表示“都是”)的的三根线构成,--即1+3个点和2*3根线-- 蕴含了一个主体的(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<超越经验>形式化 【形】朝向形式化的步骤 --表达(a expression)生命活动的过程 a process
- 专项特供的一个母本公理 (broker程序): 软件智能一个形而上学的包袱a packet<形而上学的理论>形之上【道】陈述(a statement) 自然规律的性质 a property
- 独家代理的一个父类公理 (agent程序) :软件智能的一个形之下的机器 a socke t<哲学的限制>形之下【器】展现(a sentence)物理世界的抽象模型a model
说明:索引词是aaas的重要概念,以上 仅简列没有做解释。它们是aaas概要设计的内容。
【-------未完待续--------------】