软件智能:aaas系统设计之一、A语言：默认逻辑家族置标语言中语义标记的标记-“除外”的名和“除内”的相 之1

经过前一段时间的思考和整理，基本上对aaas系统的所有相关问题按照一个跳跃的、联想的思维方式将所有可能涉及到的方方面面，在各种不同的规模和不同学科和立场、观点和视角上 讨论和记录了大小不一、参差不齐的一些块和点线面体等等。随着讨论的问题涉及到的内容以及和和可关联的前面的内容越来越多，讨论问题的每一个的术语或概念或各种词的密度也越来越高。

到目前为止，要讨论和和考虑的内容基本差不多了。所以，从本篇起将按照一个统一的口径来系统地组织aaas系统的各部分内容。

一、三个交付版本

aaas系统的组织形式最终是 软件智能社区网站。

前面提到过，aaas系统的开发任务分成顺序的三个交付版本edition：发布版（观念交付，设计理念- 总索引index 设想的图书馆目录）、开发版（生产交付，生产线-按产品品种 kind 产品目录表） 和运营版（应用交付，价值流-按订单order 计算机化目录）。 

每一版都设有一个标志sign（每一个标志都是一个三元组traid）。

三个交付版将分别建立 软件智能社区的三大体系： 组块级联【by微工厂, 原型本体】、模组层叠【for精益生产, 本能本事 】和模块集成【to敏捷制造 ,动机意图 】。

三个交付版分别为AI组件提供:

• AI统一主题（标志符号@ 。其开始时对应的traid为：可感知的标记mark ，其解释者Interpreter和一个存在的或预期的对象object）的 通用框架（灵活模块化框架）的一个空架子（ 称为“构架”，其设计阶段输出AI的部署图或模组图）。【即空】
• 概念整体运作架构中 一个特定域（标志符号*  。其开始时对应的triad为：线性特征分析、单调 结构分析和 一阶形式规则  ）的一个框架（称为“框架”,其设计阶段输出AI的框图或逻辑图）。【即中】。
• 活动空间中的一个给定任务（标志符号# 。其开始时对应traid为：人工智能、智能增强和假设检验）的工作（称为“架构”，其设计阶段输出AI的元件图或工件图）。【即假】
• 注1：三个标志 用于扩展概念。【三位一体tride】
• @- 广义量词generalized quantifiers、除了通常的量词每一个every 和一些some， 自然语言支持一个开放式的数字定量表达，如只有exactly 一个，至少（at least ）七个，或 相当多（considerably more）。其中诸如相当多此类的量词将需要某种近似推理的方法，例如模糊集或粗糙集。【数字量词】 ：在 亚里士多德的三段论系统中 描述了 可以用一对否定来表示的全称量词（universal quantifier ∀。此外，一对否定还可以用来表示暗示implication 。either-or单选标志）和在该全称量词范围scope内的存在量词（existential quantifier ∃–商?Quotient 和余 ?Remainder 。 ? 类型标签）。数字量词除了全称量词和存在量词外还有广义量词，广义量词除了补充了量词的种类(单称和偏称 )外，还可用来进一步描述全称量词必然具有的模糊性和存在量词可能存在的粗糙性。
• *-复数名词plural nouns：通过概念框内的预先设置的表达式来表示。概念[Cat：{*} @ 3]代表 三只猫，[Dog：{Lucky，Macula}] 代表狗Lucky和Macula。【语言理解】前提：需要事先提出各种方法来表示分布的和集体的复数并将其转换为集合论和整分论的版本。
• #-索引词Indexicals：固定其符号的引用。包括：与冠词the相对应的基本索引由概念节点内的符号＃表示如  [Dog：＃]；代词我你她将被代表[Person：#I]， [Person：#you]和[Person：#she]。【逻辑处理】的先设–处理索引词的方法，包括动态语义的版本（在话语过程中更新模型）和默认家族的方法（直到那些标记被名称或共指标签替换时才使用常规模型理论来评估最终的解决方案）
• 注2：三个标志符号所即的空假中， 各有一个自己的三分法，整体形成一个闭合的符号学理论 【三元组三分法 （triple trichotomy）即符号理论九宫格】
• 三种空：广义空、狭义空和相对空。哲学的-限制  范导性    范畴category  渐进的范式语法 精进-造轮子【共长】
• 三种中：中介、中间和中立。经验的-被超越     建设性        关系relation    秘密的关系型语法  密度-搭梯子 【共情】
• 三种假：假设、假装和假借。 形而上的-理论   建构性        构造construction 激进的构式语法 涌现-自然 【共生】

二、 发布版

1、需要解决的两个问题issue

1)格式和含义的完全分离

为了定位address 含义meaning，SGML家族的置标语言在设计时将格式和含义完全分离。恰当使用时，SGML及其后续XML使用文本中的标记tag来表示语义，并将格式放入更易于管理的样式表（style sheet）中。这种分离很重要。同时，语义标记本身必须有一个明确定义的语义。

然而，大多数XML手册没有提供表示语义的指导原则。【问题1】

2)web对象的本体及其词汇表

许多web对象的本体都忽略了的物理对象、过程、人及其意图。【问题2】

简单的HTML本体扩展PropertyType 只有四个基本类别categories：字符串、数字、日期和真值。这四个类别是描述web数据语法所必需的，它们本身无法描述语义。这些类别只能用世界、世界上的人和人们用来谈论世界的语言来定义。如果没有这样的定义，这些类别就是毫无意义的标志，对它们所附加的数据就没有意义。

为了明确这些标志意义，预计PropertyType 和定义这些类别的各种词汇将包装在一起–被称为词汇表的软件包 。

2、发布版：名和相

1) 佛理的简单概括的基础 。佛理的最简单的概括：一个字–心，两个字–名相，三个字-命(或寿)暖识。遵循皮尔斯的三元组原则，两边的可以建立在中间的基础上，所以应该从两个字的”名相”开始。

（副： 儒-佛之理 代表“大象”理论-，森罗万象的必然真理，相应的，儒-仁之义“常识”实践–生命活动的行为准则。道-道之道“大物”规律-宇宙万物的运转规律 ）

2) 发布版的工作任务是要给出三种文本（纯文本、富文本和超文本）的模板（相当文章学中的体裁）的生成器以及配套的三种范式paradigm(FE范式、 IE范式和KE范式 )和模式pattern（宏模式、域模式和微模式）

就像在语言文章学中的体裁：论述文-例如八股文，诗词 – 严格的，如 各种格律的诗歌 各种词牌；不严格的，自由诗等等。

2.1 名 -五正其名

名：其对象是一个系统的外观的轮廓图profile，涵盖（层叠的-三流叠变 【格 网格 grid】）：分类学/命名法/公理集。

• 题目：经题七释 
• 内容：释经文三分*二门   内容
• 结构：离合六释 (短语结构，其他四释-句子结构 )  
• 中心思想：五重玄义
• 段落：十门开启  

2.2 相-二反其相

相: 其子类subclass是一个系统内核的大纲图outline – 包含级联的-三段复论 (推理和证明 )【式】：概念词、 词汇词和索引词。

1) 对应三式：

• 范式- 自由 个体身份条件 -人工竞争组和人造制品 。包括：基础范式BNF ,主合取范式CNF和主析取范式DNF
• 模式-自然 集体运营构架-自然组和自然物种。需要独立部署的服务注册中心、配置中心和API网关。
• 图式-概念 整体抽象运作架构-概念cloud ribbon ，一个工具类框架 ，结果是运行时路线图roadmap。

2)  相 只能通过举例

相的例子包括：

• 首先 ，不同目标-系统类别不同。开始时分为操作系统、开发系统、应用系统；
• 其次，不同目的-功能类型不同。开始时的程序种类： AI程序、 普通程序、 代理程序；
• 最后，不同主体-规则关系的约束不同。初始的三种专家：知识专家、领域专家和主题专家 。

3) 二反其相

这里要说的是aaas系统内核–AI的自由操作系统-的相 ，选择四教三科作为参照。

• 判教 藏通别圆 四教 – 约教
• 科判 蕴处界三科 –约观  

【——–未完待续—】

今天的文章软件智能:aaas系统设计之一、A语言：默认逻辑家族置标语言中语义标记的标记-“除外”的名和“除内”的相 之1分享到此就结束了，感谢您的阅读。