在开始之前，首先需要说明一下：aaas的设计中大量借鉴了http://www.jfsowa.com/ 中的内容。只是为了软件智能的目的，整体结构、架构和工作机制不同。所借鉴的Jfsowa中的内容被拆散后分布于aaas系统的各个地方。这里一并说明，文档各处不再一一指出。

aaas系统围绕着软件智能，以一个完整的概念抽象运作架构为基础(aaas内核，其产品化的结果aaas称为“智能之’芯’”)，设计目标是将一个计算机科学和认知科学的混合架构作为孕育出他们的混血儿-计算机认知科学--的一个生态环境，即一个计算机认知科学的体系结构及其软件智能所必需的各种的智能机构和有机组织。这个目标预期是通过将aaas内核搭载在这个混合架构中来实现的。

系统中主要包括三种程序模型：现实模型、因果结构模型和机器学习模型。（为形式语言提供的三种程式stylization）

其中，对aaas系统来说,现实模型是”根”，因果结构模型是”据”，机器学习模型是”源”。三者共同的基底(underlying的）是知识表征的顶级类别。如图1所示。

Figure 1: Hierarchy of top-level categories

图中给出了7个原语，12个叶子级别的类别以及6个中间类别，和一个顶，一个底。

其中，顶是一个真值集a truth set，表示了所有真值， 称为泛型(所有实体的父类），底是一个谬误集(a absurd  set) 包含了所有的差异 ，称为空型(其中没有一个实体）。

上面这个图形被称为一格 (a lattice)，其在给定主题上的公理化过程被称为一局（a game），一个game表示了一个现实模型的建立过程，而aaas中并不准备也不可能凭空去完成图1的完整公理化，而是基于对现实模型的前设给出的相应规则以及处理“除外”的不同策略，从正反两个方向 通过因果结构ensure和通过机器学习enable 这个顶级类别的一个可能的或有意义的公理集合。

由此可见，现实模型是公理化的起点，也是aaas内核程序的起点。

1、现实模型：PCOM的表面模型 (aaas系统中的分类语料库)

在aaas系统中使用一个分类语料库（a classified corpus）来表示作为现实模型的PCOM公理。

一个现实模型的抽象过程如图2所示。

  1)三个等价公理 ( 现实的一个激进式的过程process本体)

图2中间的Composite、Correlative和Component代表了一个科学的认知过程可能把握prehensions的全部结果。三者在逻辑上等价。从图1可以知道，prehensions是由aaas两个原语Physical和Relative的组合的而产生的类别。

最终成果是aaas中的一个对概念词lexicon<专业名词,普通名词 > 。

2)反对称公理-不完全对称公理  (现实的一个渐进式的属性property原型 )

图的右下方component类别部分part和属性property通过aaas系统的一对原语连续词Continuant和发生词Occurrent之间的区别进一步被分类。由于连续词只有空间部分，但是发生词同有空间部分和时间部分从而导致了一个不完全对称的COM具有五种类别的差异。它们代表了一个计算机科学的理性过程可能派生的类型。

最后成品是aaas中的一对主题标头(<学术性的SH Subject Header ，一般意义上的sh -subject heading>。

3)结语

一个PCOM具有一个三种类型的对齐的port和五种类别的差异的COM的出入口的一个表面模型。 即：清楚地描述了一个三套完全重叠的具有五个工作站的一个通用加工线--aaas系统内部的主生产线。

在aaas中：

• 一个差异对应一个输入输出口（或叫车站，aaas中的库所place--集散地），是一条总线bus上的停站点。 在aaas系统中，是位于外架每一层上的库所。 每个差异都是一个元语言级别的 act (speech act的五个顶级类别)。其公共逻辑和交换规则在A语言和语言规则中给出。即，A语言中将定义所有的speech act并给出它们在每一层上的各自的交换格式和语言规范要给出公用的元交换模板。
• 一种对齐对应一个导入导出口（或叫港口。aaas中的场所game--交易市场），是aaas主生产线上的工作站点。在aaas系统中，是内核为外架上的每一层提供的一个公共的marketplace。

【--未完待续--】