序
这段时间使用AI工具来完善系统的设计。这几天的话题一直都是 使设计可能完成的一个起点,就是“全基因序列”。从这个文字表述上就可以看出,它将可能是需求文档、程序概要结构和数据库三部分的融合体。
计划从今天开始 深入这个话题,目标是使其可以直接被翻译成“全量知识系统”的程序架构。
今天新作第一步:“全基因序列”的雏形
“全基因序列”的程序设计
程序雏形
“全基因序列”中,“基因”的本质是联结collection。
做法是: 对给出的一个假想联结,先倒推再正推。
倒推是一个从简单到复杂的推理过程,正推是一个用推出来的复杂联结来证明开始提出的假想联结是存在的(即,可能实现和可能形式化的)。
最初给出的假想就是:
全量知识是一个可序列化的基因序列;基因表示知识中不可再分的最小知识实体。
基因 的每一种可能组合 ,称为 基因片段;
基因序列是由多个基因片段有序联结而成的。
基因序列是对构成全量知识系统三种形式的呈现中的表达内容的一个逻辑描述。也就是说三种呈现形式是基因序列的主词subject。基因序列则是它的体body。
三种呈现形式就是:用自然语言表达的需求设计(称为“需求”)、用程序语言表示的程序概要设计(称为“程序”),需要用数据库(称为“库”)存储的三样东西:变量varible、参数parameter和 值value。它们分别表示:1) 表明一个可变化的任何东西anything。2)代表这个可变化的东西的一个“指称词referent”。3)这个指称名词在“程序”或“需求”文件中的分别适用的 表达规则。
剩下还需要 给出的,就是基因序列在其三个主体中各自的确定用法。
--补充1 变量varible、参数parameter和 值value的细节
1) 表明一个可变化的任何东西anything。它是一个名词。一个名词表示一个语法标记marker。它在程序中是一个集合类,系统中所有用作语法标记的 集合元素,使用一个顶级元素“Element”表示,其下二分为 “Object”和“Thing”分别表示了系统中“知识”的两种存在方式— instance 或substance。 前者表示一个实例,后者代表一个实物。
2)代表这个可变化的东西的一个“指称词referent”。一个指称词是用三个形容词表示的语义标记 “signs”Signs 在程序中表示为一个SIGN枚举类{symbol,index,icon},其中每一个枚举文字都是一个复数名词。复数名词在系统中是作为概念图的图式扩展出现的。它们分别给出了 全量知识系统中知识元数据仓库(就是前面的简称“库”)知识交换的标准模板中的三种不同模式(宏、域domain和微)的“Usage”
3)这个指称名词在“程序”和“需求”文件中的分别适用的 表达规则。(一个λ表达式规则)
---增加1基因序列在其三个主体中各自的确定用法。
--------待续------------