拓扑信息时间序列的可处理片段
人工智能
2021-01-25 v2
摘要
本文关注定性拓扑信息时间序列。我们首先考虑长度大于3的拓扑时间序列语境，其描述区域在连续时间点上的演化。我们证明，不存在包含全部基本关系与全关系且代数闭包可判定可满足性的Cartesian子类。然而，通过放弃含有非切真部分关系但不含切真部分关系的关系，我们辨识出一些可处理子类。随后我们形式化了时间序列的一种替代语义。我们置身于描述区域在时间划分（即瞬间与区间的交替）上演化的拓扑时间序列语境中。在此语境下，我们辨识出大型可处理片段。
引用
@article{arxiv.2007.07711,
title = {Tractable Fragments of Temporal Sequences of Topological Information},
author = {Quentin Cohen-Solal},
journal= {arXiv preprint arXiv:2007.07711},
year = {2021}
}