软件智能：aaas文档主体标头标记法DSHN (续1）

目录

1、DSHN的地位--某种理论集合的可及性accessibility的三种组织中站在中间的那一个

1.1 AI的词汇词、索引词和概念词（ad hoc，propter hoc，post hoc）

1.2 词汇结构 vs. 概念结构

1.3 三种文档的格式

1.4 理论集合的可及性accessibility（可理解性）

1.5 索引词indexical（用符号#表示）

---

前面简单写了“DSHN”篇，今天的本篇是它的一个简单解释。

本话题分成三个小节，本篇完成第一个，下一篇完成后面的2个小节。

1. DSHN的地位status 
2.  DSHN的设想idea
3. DSHN的意义meaing

相关文档 链接：

软件智能：aaas文档主体标头标记法DSHN_ChuanfangChen的博客-CSDN博客

软件智能：aaas系统 概观总表-- 暨 全部设计内容的总索引 之 增强版_ChuanfangChen的博客-CSDN博客

智能软件aaas系统设计的整体构成和简单介绍---正文开篇 之 序_ChuanfangChen的博客-CSDN博客

软件智能：aaas系统整体设计的内容构成和简单介绍---正文开篇 之 --重说“’得名’的’A字面指称’及其’C字里暗藏’和’B行间隐含’” 之1_ChuanfangChen的博客-CSDN博客

软件智能：aaas系统整体设计的内容构成和简单介绍---正文开篇 之 --重说“’得名’的’A字面指称’及其’C字里暗藏’和’B行间隐含’” 之2_ChuanfangChen的博客-CSDN博客

1、DSHN的地位--某种理论集合的可及性accessibility的三种组织中站在中间的那一个

当前阶段是aaas概观总表 阶段，是一个承上启下的关键阶段。承上是承之前所有的工作（想法的）， 启下是启之后的aaas发布版的编程工作(实际的)。

这个阶段以给出aaas的一个概观总表为开始标志。

1.1 AI的词汇词、索引词和概念词（ad hoc，propter hoc，post hoc）

“DSHN”篇有说，DSHN是概观总表中“有”的部分，再准确一点，是概观总表中的表格所包围的部分。它们是aaas系统归纳出来用于描述AI的一般词汇词lexical。词汇lexicon 是语言和用该语言表达的知识之间的桥梁。词汇词是词汇结构的原点，和语法采用相同样的模式（topless和support）。三张主表中每个词汇都对应了一个AI的一个功能方面(Independent的标量）、一个相关项（Relative的向量）或一个系统方面（Mediating的张量）。它们共同描述了AI作为主体(实体论)的本身的性质nature。“DSHN”篇是概观总表介绍文档的“形篇” 。【对内标记sign为“形” go  用于“”形”，外部标志tag为 ad hoc “事中”的意思】复合命题推理的 有效形式

正在进行的是理清aaas概观总表的所有头绪，将整理出来的头绪作为介绍它的介绍文档的线索和分篇依据 ，是概观总表中“无”的部分。它们是aaas系统用来计量一个智能物件的智能当量的专用索引词indexical。索引词是语义原语以外的一个用来区分distinguish上下文相关的语义原语。索引词默认使用<lambda>或<parm>为RDF 标记一个形式参数来支持等价的定义。  索引词暗示了一个智能的三种不同实现形式软件、固件和硬件，对应于的三张主表中间表的中轴线，表示了aaas标架系中不同的三个坐标系--相当于数控系统中的编程坐标系、夹具(机床主轴)坐标系和工件坐标系。这些文档是概观总表介绍文档的“前行篇”。【对内标记为“前行” pre，对外部标志为 propter hoc  “事先”的意思】非单调推理的 默认逻辑

概观总表中的三张主表表格以外的其它“有”的部分，是前一阶段的“ ”文档描述内容，是aaas所称智能当量的附件（附件ABC，得名’的’A字面指称’及其’C字里暗藏’和’B行间隐含’），是持久存储的三个库，概念词Conceptual。概念词是概念结构的初始断言，是汇模式跨语言相似性的潜在理由。在所有的语言中，概念模式的三个参与者（施事者、与事者和受事者，表中标有“三位”的字样）导致了词汇模式的三个主目（构元，类元和论元，表中标有“三元”的字样）。附件ABC是 概观总表介绍文档的 “后继篇”。【对内标记为“后继” post ，外部标志为post hoc  “事后”的意思】多模态推理的 蕴含逻辑 ：亚里士多德应用于植物和昆虫到人类的生物的六种功能（营养、感知、欲望、运动、意象、思想）可以作为人工代理功能的隐喻。

1.2 词汇结构 vs. 概念结构

词汇结构是： 相对独立于领域，取决于句法和词形， 高度依赖语言。

概念结构是：高度依赖领域， 独立于句法和词形， 独立于语言，但可能依赖于文化。

1.3 三种文档的格式

“前行篇”是作为 aaas主体的"AI"的文档的类型（符号notation标准化）定义的一个头文件，默认的文件格式是.dtd（document type definition）。

“后继篇”作为aaas主题的“软件智能”的语篇的话题类别（词汇vocabulary标准化）解释的一个附随的速记便签。采用的文件格式是.nod （note on definition）；

“行篇”作为aaas主旨的“智能当量”的AI应用程序开发方法的一个脚本注解文本框 。使用的文件格式是.rfc（request for comments）

1.4 理论集合的可及性accessibility（可理解性）

所有可能的理论集合都类似于设想的Babel图书馆，真理分散 在无数可读但虚假的书中。这需要一种组织、评估、索引和发现其中所包含的书籍和理论的方法。

使这些理论易于理解的第一步是以系统的方式组织它们。上面给出的是组织它们的三种不同的系统方式。它们分别将理论的可及性视为：

• 语义原语以外的一个用来区分distinguish上下文相关的语义原语 索引词indexical，可用来构建一个复合命题推理逻辑方阵的基本类型。将复合命题推理看成是定义所有动词的时态和模态的元语言注释-用关于语言的语言或关于逻辑的逻辑来定义。
• 区别有效式的语用原点：KR顶级范畴中的7个原语以外为了使从语言到谓词演算的映射更系统化的语用原语has（二元关系），作为概念词Conceptual的原点， 用来区别一个 可用作推理形式的有效式，从数学公理的最简集-重言式开始。重言式是非单调推理的 默认逻辑。
• 一种派生关系：可用来构建其逻辑方阵的派生类型。语义同构的方法，避免可能世界的可疑本体论，并将可及性视为一种派生关系而不是一种原语。将多模态推理视为关于法律选择的元层次推理。

其中，索引词是aaas的重点。

1.5 索引词indexical（用符号#表示）

索引词用来指代那些具有指向性或其他类型的索引效果的词或指示词。名称的不明确性及其上下文依赖性是互联网命名惯例所关注的主要问题。在通常意义下，名称的不确定性很容易成为“意外”，而“上下文依赖”成为麻烦的“例外”。  通过建立DSHN作为具有指向性或其他类型的索引效果的词或指示词，使索引词不再是意外和 例外，而是成为系统框架的一个组成部分。

 处理索引词的两种版本：

• 动态语义版本，其中模型在话语中更新。
• 更简单的方法是将＃符号作为句法标记来表示对原始语句的不完整解释。通过这种方法，包含任何＃号事件的CG的真值不会被确定，直到这些标记被替换为名称或相关标签。该方法支持中间表示中的索引，但是使用传统的模型理论来评估最终决议。

【------未完待续------】