软件智能：aaas文档主体标头标记法DSHN

前面说到，概观总表中“有”的部分，就是aaas为任何软件的智能性提供的一套标志集。 这个标志集就是平常所所说的标记法，或者记号。对应的英文单词是notation。

一、综述

DSHN（ the Subject Heading Notations of a Document） ，是aaas文档的主体标头的标记法规范。aaas系统根据它来实现一套AI标记系统，它生成并管理以下三套标记库：

1. 主要是生成防腐层上每个functor的公共标记库 ，一套AI文档的公共主体标记库。
2. 其次会为API上的每个actor派生一套AI系统的通用主题标记库。
3. 同时还会为SPI上的每个factor导出一套语言模型的个人专属标记库。

它们是一个共同的主题--被aaas视为软件智能的智能当量的介质流体（通常所说的流媒体）的人工智能AI---下某个话题topic，新话题的自动识别和已知话题的持续跟踪的三个不同的方面。每一个都是AI的一个应用方面。

1、设立三个专门通道处理三种标记法

在aaas中，专门设立了三个通道来处理它们：

1. 专用标记库包括知识表征及其所包含的符号，保存在知识库中。aaas系统为它提供一个OLAP的学习过程，专门用来处理知识表征的一个数据模式schema的一个专项逻辑-形式逻辑的专项运作架构。其DBMS是元级别标志signs的数据中台系统，它的实现目的是数据挖掘。
2. 通用主题标记库包括决策模型及其所纳入的符号，保存在计算库中。aaas系统为它提供一个OLEP的软件过程，是专用于处理领域模型的一个概念域domain的一个专项逻辑-辩证逻辑的专项运作架构。其DBMS是元元级别标志signs的技术中台系统，其实现目的是模式识别。
3. 语言模型标记库包括业务建模及其所需的符号，保存在数据库中。aaas系统为它提供一个ETL的协商过程，专用于处理主题角色的一个关系型的一个专项逻辑-数理逻辑的专项运作架构。其DBMS是一般标志signs的业务中台系统，其实现目的是数据库。

2、智能当量的三种联结的三种不同的符号模式

在aaas中它们表示了智能当量的三种联系(联结 connection)。每种联结都是用于一个不同的目的（如上所述）的符号模式。

最后的一般标志是首要联系--电脑中对标志signs进行编码的位和字节。它们是紧密内联的标志集，这些标志集暗示了结果之间的内在上的自相关【自相关性】。自相关性对应于KR顶级范畴中的原语相对Relative 。一个relative 实体 必须与其他东西有某种关系。

元级标志是 主要联系--在解释signs的人的头脑中，元数据提案通过用更多标志标记tagging数据来明确这些心理联系。它们是松散外联的标志集，这些联系本质上反映了原因之间的的互相干【互相干性】。互相干性对应于KR顶级范畴中的原语中介Mediating。一个中介实体在另外两个实体之间建立关系。中介实体的一个例子是婚姻，它建立了丈夫和妻子之间的关系。

元元级标志是 重要联系，它们标记了元级别标志本身的进一步的相互联系interconnections。这些标志集是 因果关系在实体自身上的反射[ 自反性]。对应于KR顶级范畴中的原语独立Independent。一个独立的实体不需要与其他任何东西有任何关系。

上面的三套标志符号它们总是同时伴随着外部的一个需求的消费过程同时发生，同步前行并最终同时完成或失败。

注意：失败的一次终止Cessation，将导致对应的标记法的一个新的开发计划和过程，同时该AI系统被挂起，连同所有依赖这个标记法的所有其他标记法。这是通过调用下面的4中所说的符号学方法（“除外”） 或者默认逻辑（“除内”）来处理的。

3、支持support的三种AI模式

上述的三种还是aaas中为程序接口(API和SPI )提供的三种AI模式。

式采用不同的原则以及不同的实现原理，即其介质、协议、数据结构以及其在aaas系统中的地位均不同。对应于上面的三个标记库分别如下：

1. aaas的语法模式-软件智能化主题“智能当量”-一个as关系( 逻辑等价-归纳与反绎的形式演绎逻辑的推理方法)。智能当量是aaas系统的“里子”，采用的是一个统一的原则（等价）。实现提要-“五味半满”
2. aaas的概念模式-硬件智能化主题“科学智能”--一个has关系（物理等量-- 综合与分析的经典物理理论的实证方法）。科学智能是aaas系统的“面子”，采用的是一个独立的原则（特化），实现提要-“正反分合”
3. aaas的词汇模式-固件智能化主题 “生命智能”-一个case关系（数学等值--概率与统计的实践常识和超越经验自我训导的学习方法）。生命智能是aaas系统的“架子”（空架子、空把式），采用的是一个一般的原则（泛化），实现提要-“晨昏定省”。

4、标记法无视一切无意义数据来源并忽略所有缺陷（除内和除外，即不属于DSHN的部分）

无意义的数据不能通过标记无意义的元数据来获得意义。意义的最终来源是物质世界和使用符号来代表世界上的实体及其意图的代理者。运用符号学Semiotics方法--它提出一个标志sign（前述三个通道中的不同模型级别的标志）的全部三个方面aspect，将标志实体和它们代表的实体以及解释它们的代理(人，动物或机器人）联系起来，从而为探究意义的最终来源提供了可能。这超出了DSHN的范围，是aaas所称的“除外”。

前述的三个专项逻辑是概念抽象公共逻辑内在上密切相关的三个方面respect，每一个都具有一个初始的默认逻辑。 默认逻辑被认为是公共逻辑对应到其某个密切相关理论的一个家族family的速记描述，是忽略所有缺陷而得到的经典理论。它们是DSHN的基底--使DSHN正好成为的AI标记的一个整体，是aaas所称的“除内”。

5、结语

三套标记法是三个不同通道中流通的不同币种，表示了aaas系统中的一个person（相当于通常所说的a robot或一个AI系统）持有的代币，而被标记法无视的和忽略的，则是一个bus所持的令牌。它们是一个petri网中的四个初始断言。