今天将围绕昨天的 aaas概观总表 来说说。
（-----------文章链接
软件智能：aaas系统 概观总表-- 暨 全部设计内容的总索引_ChuanfangChen的博客-CSDN博客
-----------------------）
问题的提出-技术名词如何定义
首先的问题是，这个表要说什么，不准备说什么。
也就是说：它是否有一个明确的主题。如果有的话，它描述了怎样的一个主体，和它能相提并论的其它主题还有什么，叫什么以及它们的关系怎样。
如果没有的话，它是否是要描述一个目标，或者阐述一个目的。
上面说的三类（主题、目标、目的），都是可以称得上一个“概观”整体，而非一个“零散”片段的东西。
它们相应的动词 ,正如上面所用，分别使用了 表达、描述和阐述。
它们是显示地定义一个有意义的情境situation的三种方法。
这里并不关注定义本身所采用的方法，而是仅关心定义的整体形成了一个什么。
它们是，一个表达式expression、一个句子sentence和一个语句statement。
简单地说，就是一种技术方法--无法直接精确地定义一个技术名词，而是可以通过列举其主要功能来给出它大致的范围。
亦即：不是去说，它是什么和它不是什么，而是去说--哪些必定属于它和哪些必然不属于它。
其中，前者（哪些必定属于它）是明确给出的（正如昨天的表），因每一种技术的不同而不同，但是后者（和哪些必然不属于它）则一般会被忽略。
这种忽略，会导致前者的确定性 在不同程度上的丧失。
但只要我们稍加留意，就不难看出：后者可以通过一套通用的机制推导出来。
因为不管前者有多么地不同，但后者却总是可以共用一个普遍适用性的 法则--那就是 不问客体区别的理论的法则。
相应的，前者是实践的法则。
两者都属于理性的范畴。后者是纯粹的，前者是实践的一种杂多的“常识”。
【理性】对立的实践理性、纯粹理性以及二合的判断力
在康德的批判哲学中，前者是实践理性，后者是纯粹理性。两种理性可以借助于 客体的空有 两种完全对立的面的中间媒介来融合。
这个融合就是判断力。
认知科学中的判断力--具有电阻性的大脑<本质留碍>
数学程序的第一个困难： “几何学的最终前提被当今几何学的“假说hypotheses”所称，它们有三种，定义，公理和假设postulates。由于数学家本身并不接受任何对其真相的责任，所以，没有预先提供一个确定的前提列表，也没有问是否可以得出明确的结论。”
判断力 在 认知科学中，表示为 演绎推理的逻辑。其两种 断法 就是 客体空有 两面的反映。这两种断法就是 肯定前件的正断法modus ponens 和否定后件的逆断法modus pollen。
判断力在认知科学中 相应生起的 正断法 和逆断法，对应用程序来说，前者适用于已知前提的情况，而后者适用于已知后果的情况。
更进一步地正推，就必然将数学程序(的最终来源) 断言(假说hypotheses）为 公理、定义和假设三个种类kind。
计算机科学中的判断力--具有电容性的大脑<本然清洁>
数学程序的第二个困难： “数学问题的复杂化需要一个最具有电容性的大脑来接受这个问题。这些问题迫使我们不得不将数学推理mathematical reasoning分为推论corollarial 和理论(theorematic 定理)推导(deductions演绎)。”
判断在计算机科学中，表征为类比推理的数理逻辑。它用 两种类比 分别表示了 客体空有 双方 不同观点的体现。
（数理逻辑 通过将形式逻辑运用到辩证逻辑中，来推动 抽象概念的整体运作的 发展）
这两种类比 就是 数学类比和经验类比。
两者对应用程序来说，都具有与生俱来的确定性--称为“先天知识”，只是在 自明性-缘自得性上（ 从而在 证明上）和 依赖性-依他起性 (故而在 推论上)不同。
简单地说，就是前者可以用于定理的证明，后者可以用于推论的推导。
更退一步地反推，就是将数学程序(的最终结果) 划分为 定理和推论 两种类型。
这两步(进一步和退一步)已经是 计算机认知科学 的范畴了。
计算机认知科学--具有电感性的大脑<本能使然>
一个FMF框架 < {竖、横、纵 }切>
计算机认知科学 是以上两者（计算机科学和认知科学）的混血儿。它为数学程序提出提出一个灵活的模块化 框架（FMF）：
- 将数学程序的两种分类导出的其全部5个变种，作为aaas的一个值类型。（应用程序中所谓的“数据类型”）【竖】
- 其上的每个模块都表示数学结构的一种变体，作为aaas的一个值对象。（应用程序中所谓的“对象类别”）【横】
- 框该架的核心是一个不可分割的一个三层分布控制结构，作为aaas的一个聚合根。（应用程序中所谓的“类class”）【纵】
- 模块散列于其每一个分布点，并由一个中央控制器集中控制。每个模块作为aaas的一个事件源（应用程序中所谓的“方法method”）【切】
aaas系统及软件智能 --计算机认知科学的机会 <chance>
作为aaas系统主旨的 软件智能，在原则上就是认知计算机科学 的全息投影。因此，完全的设计的aaas系统就成为了计算机认知科学 的机会--作为数学程序的 现实模型的基本概念。
本篇的内容到此。本篇为 软件智能，aaas系统 和 计算机认知科学 建立一个大体的初步印象。
下一篇的内容，将回到本篇最前面提出的问题的展开和答案：昨天的表是否有一个明确的主题。如果有的话，和它能相提并论的其它主题还有什么，叫什么以及它们的关系怎样。
【 ----------未完待续---------------- 】
