一种基于 ALC(D) 的时空约束组合，适用于连续（空间）变化
人工智能
2016-08-31 v1 计算机科学中的逻辑
摘要
我们提出了一族时空理论，适用于一般的连续空间变化，特别是空间场景的连续运动。该族理论通过以下方式对著名的带具体域 D 的 ALC(D) 描述逻辑（DL）族进行时空化而获得，其中 TCSP 表示“时间约束满足问题”，一个著名的基于约束的框架：（1）角色的时间化，使其由 TCSP 约束组成（具体而言，是对区间变量的 TCSP 约束的一种改编）；以及（2）具体域 D 的空间化：具体域现在是 ，由空间关系代数（RA） 生成，采用区域连接演算 RCC8 的风格。我们假设持久真（即在持久区间内成立）。我们还假设同质性性质（如果一个真在给定区间内成立，则在其所有子区间内也成立）。除其他外，这些假设引出了“冲突”的重叠真问题，该工作利用 Allen 区间代数的 13 个原子关系的一个特定划分来解决这一问题。
引用
@article{arxiv.cs/0409047,
title = {An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change},
author = {Amar Isli},
journal= {arXiv preprint arXiv:cs/0409047},
year = {2016}
}
备注
in Proceedings of the ECAI Workshop on Spatial and Temporal Reasoning, pp. 129-133, Valencia, Spain, 2004