57、图标语言的概念依赖形式解析

图标语言的概念依赖形式解析

1. 图标代数与语义构建

图标代数为推导图标或图标句子的新含义提供了强大的方法，通过对图标应用形式化的运算符，能从构成图标句子的单个图标的框架中智能选择属性，以此构建整个句子的语义。例如，当对“苹果”和“初升的太阳”这两个图标应用 CON（上下文）运算符时，设计者从“苹果”框架中选择 [is - a - concrete].food 属性，从“初升的太阳”框架中选择 [time].morning 属性，进而推断出“早晨背景下的食物”，即“早餐”的含义。但如果选择“苹果”的 [color].red 属性和“初升的太阳”的 [location].horizon 属性，可能得出无实际意义的“地平线背景下的红色”。

2. 概念依赖理论（CDT）的应用

概念依赖理论（CDT）最初用于使系统处理和“理解”自然语言，其通过提供能捕捉文本句子含义的概念结构来实现句子理解，该结构还便于对概念化文本句子的隐含意义进行自然推理。在处理图标语言时，我们借鉴了 CDT 的思想，但将其应用于视觉语言处理和理解。与 CDT 中根据句子中的动词选择与文本句子关联的 CD 形式不同，我们根据图标代数运算符选择与图标句子关联的 CD 形式。传统 CD 形式的推理例程会修改关联文本句子的属性以产生语义上的逻辑结果，而与图标运算符关联的 CD 形式的推理例程则从图标句子中基本图标的框架中选择和处理属性子集，以产生可能的含义。

3. 图标句子语义的特点

图标句子的一个重要特点是其含义具有内在的模糊性，即解释不唯一。这种模糊性源于构成句子的图标可能有多种含义，且可以使用不同的图标代数运算符进行组合。运算符暗示了组合图标含义以推导整个句子含义的方式，