23、时态关系语义系统：理论与可视化探索

时态关系语义系统：理论与可视化探索

1. 实例选择与σ - Q - 轨迹

在相关研究中，最重要的实例选择是数据库选择，其定义为：
[
\sigma_{db}((c_m) {m\in M^ }) := {g \in G | \forall m\in M^ m(g) = c_m}
]
这里还提及了其他实例选择的用法。接下来引入了“元组的σ - Q - 轨迹”的定义。设 (K := (G, M, (B(S_m)) {m\in M}, \lambda)) 是一个具有语义派生上下文 (K := (G, N, J)) 的概念语义系统（CSS），(\sigma) 是在 (T \subseteq T(M)) 上的实例选择，(c \in T)，(Q \subseteq N) 是具有对象概念映射 (\gamma_Q) 的视图。那么集合 (\gamma_Q(\sigma(c))) 被称为元组 (c) 的 σ - Q - 轨迹。元组的 σ - Q - 轨迹可有效用于可视化派生上下文的 Q 部分的概念格中的重要子集，这类似于在地理地图中表示城镇、山脉和河流的技术。

2. 时态概念语义系统（TCSS）

TCSS 的定义包含四个主要思想：
1. TCSS 应是一个 CSS，具有指定的多值时间属性 (T)，其尺度包含给定目的所需的所有时间概念。
2. 它还应有指定的时态对象集合 (O)，用于描述移动对象（如汽车），与静态对象（如房屋）相对，这显然是相对于给定目的而言的。
3. 每个时态对象 (o \in O) 与基本转换的二元关系 (R_o) 相关联，其中每个基本转换是时间尺度 (S_T) 中的