76、图标语言推理算法与设计探讨

图标语言推理算法与设计探讨

1. 推理算法概述

推理算法是图标语言设计方法论中的重要组成部分，其主要目的是推导图标句子的含义，这有助于寻找与待可视化领域语言对象含义最接近的图标句子。该算法基于之前章节描述的CD形式进行推理，CD形式为图标句子提供概念表示，并附带推理程序以反映相关图标运算符的语义。

1.1 推理算法的模块组成

推理算法主要有三个模块：
- 基本模块 ：根据三个匹配标准，在图标句子中单个图标的框架里搜索共同属性值，为图标句子构建骨架框架。每个标准在计算匹配属性的Ω值公式中具有不同权重，这些Ω值将存储在图标句子的骨架框架上。
- 扩展模块 ：尝试通过应用图标运算符来扩展图标句子的骨架框架。具体做法是运行与每个运算符关联的CD形式，这些CD形式包含如何构建应用该运算符的图标句子文本描述的信息。每个描述的Ω值取构建该描述所使用的槽值关联的Ω值中的最小值。同时，会保留运算符名称与每个解释，以便基于图标代数提供正式的基本原理，并存储到最终图标语言的字典中。设计环境允许设计师编辑这些描述，并将其指定为图标句子框架的槽值，还可将其输入到更强大或专业的推理机制中，对图标句子进行进一步的语义推理。
- 蛮力算法模块 ：运行蛮力算法为图标句子提供更多文本描述，以进一步丰富其语义框架。该算法扫描图标句子中单个图标的框架的所有语义属性，并应用图标代数的语义运算符来构建新的文本描述。构建这些描述的过程与第二个推理模块类似，但这次从句子中的基本图标选择框架槽不再由CD形式驱动，而是对所有可能的槽组合进行操作。如果设计师对第二个推理模块中使用CD形式