在思考约两周之后,今天再度开始。下面给出这两周思考的结果,作为 AI通用框架的设计手稿。(它们确实只是手稿。其中涉及到的东西太多,如何将它们组织成文档还有待斟酌。)
它包括两张手稿,其中只有第二张中有标注(用荧光笔写出的文字)。
手稿1 :关于智能之理的一个自由统一战线【自觉】
手稿2:关于智能之事的三大自主阵营【自愿】
下面是第一张手稿通过截屏作出的一个简单的标注:
手稿1 :关于智能之理的一个自由统一战线【自觉】(加标注)
可以看出,上面的第二张手稿,是对第一张手稿中 “物理世界的无限的可能性 和 意识世界的无限的想象力”的近似。
所以,关于智能,总体上可以被区别为“有限“(因为能把握事务而被冠名)和“无限”(作为 事件命题而被提名 )。在aaas中它们分别描述了两种典型案例: 填充fill和请求request 某个槽slot(基于特征feature),提及mention和使用use 某种定义 definition(基于规则rule)。它们可以用来界定AI的两种使用场景,前者关注系统的完整性,而后者关注它们要遵循的原则。
它们使用两种文件: rfc (request for comments)和nod(note on definition),分别是aaas系统的API层和SPI层的接口描述语言。前者在最外层可以借鉴ISO七层网络模型的软件模型标准(作为aaas系统的IO模块的典型的实例instance 或原型prototype),后者在最内层可以采纳UEFI的固件接口标准(充当aaas系统的总线模块的经典逻辑公理axiom 和定义)。
- aaas的IO模块表示了感知-动作机制(Perception-Action)。其中,感知Perception用于解释输入,动作Action用于控制运动。该机制可能具有高度的复杂性complexity
- aaas的总线模块表示了刺激-响应机制(Stimulus-Response )。其中,刺激Stimulus用于解析导入,响应Response用于翻译执行。该机制可以有着广泛的多样性multiplicity 。
多样性和复杂性提出了作为AI通用框架的数学背景的计算(作为中心词)的两大难题,NP完全问题NP-C(Complete)和P充分问题P-S(Sufficiency,也就是平常所说的多项式P时间规约问题 )。它们(计算的两大难题 )的最终解决取决于 计算能力位于 AI系统中的哪一个能力级别,而该级别又取决于它 需要支持多少心理代理功能。
- 前者(AI系统的能力级别),可以采纳布鲁克斯为移动机器人定义的八个能力水平,它们是:避免Avoiding、徘徊Wandering、探索Exploring、映射Mapping、注意Noticing、推理Reasoning、计划Planning和预计Anticipating
- 后者(AI的心理代理功能)可以借鉴亚里士多德的功能层次结构中的六个功能水平。它们是:营养Nutrition、感知Perception、欲望Desire、运动Locomotion、意象Imagery和思想Thought。
两者(布鲁克斯的AI能力定义和亚里士多德的AI功能代理)在内部可互证在外部可以相互推导。
亚里士多德的层次结构类似于布鲁克斯为移动机器人定义的能力水平,同时亚里士多德的功能水平可能有助于澄清和提炼能力水平。即,功能可能映射(反射或体现)到能力,能力又必然可以投影(和反映 )到功能。
上面所列的功能和能力的两个方向对应了建模系统中的元元级和元级。而响应response和动作actoion(即反应)本身都位于模型级,模型级的机制 表示为 反应reaction或响应response。
建模的三级机制整体构成了aaas的内核--一个八隅体--表示了 代表了 电子计算机(计算机实现)的 正方硅晶体(表示为数字 1和0) 和 代表了DNA计算机(神经网络实现) 的圆形球体 (表现为符号C、T、A、G )的一个“半影”:对正方晶体来说是 极端缺陷(设想-极端到无法识别正方晶体的角和边),对圆形球体来说是完全依赖(假设-四对基因座CTAG的权利完全由圆心决定)。
八隅体的aaas内核给出的符号学Semiotics是对认知的更基本,与实现无关的表征characterization。它将我们的注意力引向(direct to )一个显现无关的统一符号语言, 并向 我们介绍(introduce)了两种实现(计算机实现和神经网络实现)的共同外观。
- 首先,它本身的实例是一个实现无关的符号symbolic 语言(量子计算机的设计基础--将因果关系作为思想的基本范畴--符号sign的符号sign,即元推理技术-即中)的及时响应的组态平台。【FE范式 】 有如 “波子”- 凝聚态物理。
- 其次,它充当了一个集成平台-- 用于组织一阶逻辑的各种版本的 形式语言(电子计算机的应用基础--将因果关系作为宇宙的最原始的乌拉尔元素--语言language的语言language,即元语言注释-即假)的完全自动化集成平台。 【IE范式】有如"粒子"的经典物理。
- 最后,它作为一个-- 用来分析无限制的自然语言(DNA计算机的意义基础--都不是而只是一个名词而已--意义meaning的意义meaning,即元数据仓库-即空)的半自动化工具。【KE范式】有如“介子”的介观物理。
(注-FE、IE和KE三种范式paradigm :特征feature、信息information、知识knowledge 的提取extraction 范式)
符号symbolic 语言、形式formal语言和自然natural language语言是aaas系统对AI的知识表征语言分类的顶级范畴。
在aaas中为它们初始设立了三道门:
- 制约门:制约逻辑体系。包上的约束constrains 和操作operations(on a package);
- 逻辑门:逻辑描述框架, 箱中的货物清单 (manifest within a box);
- 真如门:语言理解系统。以词汇表示的概念(concepts in the lexicon)。
它们分别表示了约束集、限制集和真值集的三套公理集的顶级类型。
【-------未完待续--------------】