引子

一个人站在一栋陌生的建筑前，他从未进去过。他看到一扇门，门前有一排台阶，台阶上方有灯光。他没有走进去，他在脑中构建了一个“里面可能是什么”的图像，有走廊、有房间、有窗户。这个图像是他根据外部信号和过往经验组合而成的，不是实际读取到的位置。他站在门外，无法确认里面的结构，但他已经标记了一个位置：“里面可能有某种结构”。这就是假想。

他决定验证这个假想，他推开门，走了进去。他看到走廊、房间、窗户，他验证了部分假想，修正了部分假想。假想的部分标记被确认，部分标记被移动或移除。验证完成后，他的假想已经部分转化为已读位置。

但另一个人走进同一栋建筑后，看到的走廊、房间、窗户并不存在，他看到的是一堵墙，墙后面什么也没有。他基于外部信号错误地标记了位置。他在脑中构建了一个不存在的结构，并持续保留这个标记，即使外部信号不支持它。他拥有一个假象，一个被固定为已读的未读位置，不是被验证的已读位置。

构造学论要追问的是：假想、假设与假象在构造学论中分别是什么？当系统在没有读取到位置信号时，如何标记位置？标记之后，系统如何区分哪些位置需要验证，哪些位置需要移除，哪些位置已经被错误地固定为已读？

一、假想的构造学论定义

假想在构造学论中被定义为系统在未读取到位置信号时，基于可用信号和已有连接模式，在可能的位置上安装一个临时位置标记的操作。

假想的特征：

• 未读位置：系统还没有读取到该位置的信号，无法确认该位置是否真的存在。假想标记的位置是未读的，系统在该位置没有可用的信号通道。

• 临时标记：假想是临时标记，它可以在验证后被确认、修正或移除。

• 连接模式的外推：假想的位置标记是基于系统已有的连接模式和外部可用信号组合而成的。

二、假设的构造学论定义

假设在构造学论中被定义为系统在假想标记完成后，沿着该临时标记铺设一条可验证的连接路径，并在路径末端确认位置是否存在的操作。

假设的特征：

• 可验证连接：假设在假想标记的位置与当前可读位置之间铺设一条可追踪的路径。系统可以在验证完成后确认连接是否成立。

• 验证路径：假设提供一条从当前位置到目标位置的验证路径。系统可以沿着该路径移动，确认目标位置是否存在。

• 可撤销性：假设的验证路径可以在验证失败后被标记为“不通”并移除。系统在验证失败时可以将该路径标记为不可通行，而不需要保留该位置标记。

三、假象的构造学论定义

假象在构造学论中被定义为系统将未经确认的位置标记错误地标记为已读，并在外部信号不支持该标记时仍然保持该标记的操作。

假象的特征：

• 误读标记：系统错误地将一个假想标记标记为已读位置，确认了该位置的存在，但该位置并没有被系统实际读取到。

• 已读固定：假象的标记在系统中被固定为已读，系统在后续运行中不再检查该位置是否存在。标记已被固定为已读状态，后续运行不再对该位置进行验证。

• 外部信号不一致：外部信号可能不支持该标记的位置，但系统没有更新标记，而是保持了原有已读状态。该位置在系统中被标记为已读，但外部信号可能指向不同的位置。

四、从假想到假设再到假象的路径

假想是系统在未读位置安装临时标记，假设是系统验证该标记的位置，假象是系统在验证失败后仍保持该标记为已读。

• 假想阶段：系统标记了一个位置“可能在这里”。

• 假设阶段：系统铺设了一条验证路径，确认该位置是否真的存在。

• 假象阶段：如果系统在验证失败后仍然保持该位置的已读标记，它就在系统中固定了一个不存在的已读位置。该位置被标记为已读，但没有被验证，系统持续存储一个位置标记，而该标记没有对应的可读信号。

五、假想、假设与假象的关系

在构造学论中，假想、假设与假象位于同一位置标记路径上的不同阶段：

• 假想是标记位置的第一步，系统在未读位置安装一个临时标记。

• 假设是验证位置的第二步，系统铺设一条从当前位置到目标位置的验证路径。

• 假象是系统在验证失败后仍保持该标记为已读的状态，系统误标记了一个不存在的位置。

六、假想与假设在探索中的作用

假想和假设在系统探索中扮演着持续标记和持续验证的角色：

• 假想使系统能够在未读取到位置信号时安装临时标记，为后续的假设提供方向。

• 假设使系统能够验证假想标记的位置，确认该位置是否真的存在。

• 如果没有假想，系统无法在未读取到位置信号时标记方向；如果没有假设，系统无法确认假想标记是否真实存在。

七、构造学论的立场：假想是系统在未读位置安装的临时标记，假设是验证该标记的路径，假象是系统在验证失败后仍然保持该标记为已读的误读状态

假想、假设与假象位于同一位置标记路径上的不同阶段。假想标记未读位置，假设验证标记位置，假象将未经确认的位置标记固定为已读。在验证完成之前，标记是临时的；在验证完成之后，标记可以被确认、修正或移除。如果系统在验证失败后仍然保持该标记为已读，它就在系统中固定了一个假象，一个被标记为已读但实际上未读的位置。

八、结语：标记、验证与误读

那个人站在陌生的建筑前，标记了一个假想位置：“里面可能有某种结构”。他推开门，铺设了一条验证路径。如果验证成功，假想被确认；如果验证失败，假想被移除。但如果他走进去后看到的墙后面什么也没有，却仍然保留了“里面有走廊和房间”的标记，他就把假想误读为已读，把未读的位置标记成了已读的位置标记。假象由此产生，他读到的不是位置，是位置标记。他不是骗了别人，是把一个未经确认的位置标记固定在了自己的系统里，并持续认为它已经读过了。

造价评估：

假想、假设与假象的构造成本集中在标记、验证和维护三个不同阶段。假想在系统没有位置信号时安装临时标记；假设在系统铺设验证路径并确认位置存在时完成；假象在系统验证失败后仍保持已读标记时产生。

在系统标记未读位置时，确认该标记为临时状态并设置验证计划；在验证完成后，确认位置是否存在。如果存在，假想转化为已读位置；如果不存在，移除标记，不保留为已读。如果系统在验证失败后仍保持标记为已读，假象已经产生。在后续运行中，检查该标记是否与外部信号一致。如果一致，假象可能已经在使用中被修正；如果不一致，假象仍然存在，系统需要重新检查该位置标记，确认它是否应该被移除。

假想标记未读位置，假设验证标记位置，假象是验证失败后仍保持已读标记的误读状态。假象不是位置的标记，而是位置的误读标记。

支持单位：