三种主题风格
对虚和实的关系、范畴和构造作为心理学的一般主题（a general theme），同时 心理学的主词 心灵psyche成为 心理学的统一主题（the unifying theme）。此外还有狭义定界主题（narrowly delimited subjects）。
aaas设计中：采用三分法trichotomy 作为统一主题（a diagram图解），运用三元组triple 充当 一般主题 （a graph图 ），使用三位元triad填充狭义定界主题（ a graphic instance，图实例）。
1、务实和务虚 -> 电脑和人脑
本话题的一个总述：虚则实之实则虚之。虚推实，实证虚。
心理学的务虚和务实，对心灵（或灵魂psyche ）分别采取两种对待方式： 准入（准心理学）或避免（避免心理学，即代理心理学）。
在aaas中二者是理念上完全不同的两种操作系统的设计原则。前者类似于自由操作系统，后者类似于windows操作系统。两者最大的区别在于前者通过提供工具链规则来连通内部和外部，后者则通过规定一套中间语言来隔离内部和外部。
这两种原则指导下的设计，分别是aaas所称的“构架”和“架构”。
从上面关于主题的三个限定词（统一的，一般的和狭义定界的），可以看到，务虚和务实不同的宾词（object）的虚和实是一般主题的主词（subject）。
务虚是从统一主题开始，先对一个psyche 整体做出假设，用它进行推论，得到三位元triad的一组初始断言，然后推导出triad每个位置上特征集和中心点处理这些特征的机器。最后用这个机器 反过来证明前面所做的整体假设的正确和谬误。
务虚则从界定的主题开始，先证明再推导。
其中，为了统一主题的假设 ，既可以选择已经列出的三分法（前面的文章中有介绍），也可以增加一列使用。作为统一主题的每组三分法都具有一个主题词，每个主题词都可以参照其属性property类型划分为三个部分。由一个主题词及其可划分成的三个部分（专门术语）来表示一个学术流派（称为“学说”，满足功能的鲁棒性）
同样的，狭义定界主题所使用的各种三位一体triad 都拥有各自的中心词。每个中心词外围的三个位置上也具有易于理解的一般术语term（在人工语言中称为 关键词）。中心词代表一种主义或技术，它和其周围的三个术语一起给出给出纯粹理解的一个完整的家族树图片（所谓的“系统”，满足系统鲁棒性）。 有关狭义定界主题的形式理论的开放式集合--源于一个不可分割的图上可带的“ 钉 ”，它们在其外围位置适合于分别表示图的主题subject之一
心理psyche的务虚将导致一个人脑，务实将导致一个电脑，它们分别是AI的计算机实现和神经网络实现。
2、两者之间的一般主题
位于两者之间的一般主题，则规定了一个实现无关的 nfr（normal formal rule规范形式规则）的符号规则。这使两者（计算机或神经元中）的实现都可以利用图的拓扑特性，包括对称性，对偶性，连通性和周期。
两者之间的一般主题
其右的统一主题其实现为概念图。概念图通过与三个二元关系（代理agent，主题theme和接收者recipient）相关的概念表示动词。
其左的狭义定界主题，其实现的是存在图。存在图赋予giving的一个特征不变性是三个参与者到中心节点的三元连接。
前者表示了动词类型 【施事格，代理程序】，后者给出了参与者类型【受事格，普通程序】。
参与者矩阵
将两者连接起来的AI通用框架组织成一个矩阵，矩阵的每一个框box都表示一个AI程序所扮演的角色 【与事格，AI程序】。每一个AI程序都表示一种主题角色或case关系。顶级是主题词AI划分的三个用例区域（顶级主题角色，特征分析、结构分析和形式规则）以及该划分所依据的属性类别--由四个字段的基本属性类别和进一步区分的4个附加属性。
propertyType的基本属性类别：Number，String，Time,Truth。 表示一个web对象的最简单的 html本体。
矩阵中有一些包含重复角色名称的框，两个角色由其他属性加以区分：±animate, ±physical, ±dynamic, 或 ±volitional.
说明：aaas的三个交付版对应不同的主题词--三种不同的软件程序。AI程序、代理程序和代理程序。 也就是说，发布版、开发板和运营版的主题词分别是：AI、代理agent和普通ordinary 。
三类本体
上述三者（三种主题）分别代表了三类本体：形式本体（formal ontology）、术语本体（terminological ontology）和基于原型的本体（prototype-based ontology）。
术语本体和形式本体之间的区别是程度degree上的，术语本体和基于原型的本体之间的区别种类kind上的。
- 基于原型的本体，其类别由典型实例或原型来区分。每一个类别c，都必须有原型p和语义距离d（x，y，c）的度量，--当两个实体x和y被视为c的实例时。然后，实体x可以通过递归过程进行分类。
- 形式本体，其类别由逻辑中的公理和定义来区分，它们的公理和定义可以支持更复杂的推理和计算。其发展的两个主要贡献者是哲学家皮尔斯和胡塞尔。形式本体论的例子包括科学和数学理论、专家系统中规则和框架的集合以及SQL中数据库架构的一个规范。
- 术语本体是其类别不需要由公理和定义完全指定的本体。例如，其类别部分由诸如子类型超类型或部分整体之类的关系来指定，这些关系决定了概念之间的相对位置，但并没有完全定义它们。
拓扑特征上的相似性和本体选择的差异性
上述的拓扑特征上的相似性 和 本体选择的差异性：
- 对于知识表示，拓扑通常揭示出相似性，这些相似性被不同的本体选择所掩盖。【遮诠法-诠释学-解。 导出AI：搜索和求解，作为逻辑方阵的导出单位 】
- 不同的本体又将导致具有不同类型标签的不同数量的概念和关系节点。【加减法-符号学-成。 由AI导出：模型和计算，充当逻辑方阵的基本单位】
所以，通过构建心理psyche的一个复合命题， 提供建立一个心理学的复平面的建议 就是本篇所讨论的话题给出的任务。基础是最基本公理集（比如，重言式最初级的 1个可逆性公理+3个等价性公理） 。
上面的内容涉及到的图有两个。一是参与者矩阵：
二是重言式公理：
【---未完待续---------】