时态跨度的绑定问题探讨

摘要

Temporal span is an important and special temporal primitive in the temporal applications. On the one hand, the semantic of temporal span is often uncertain in different temporal context. On the other hand, the flexible representation of temporal span is tend to be non-normative, which results in the difficulty to handle the order relationship of temporal spans and affects the accuracy of the temporal calculation in the temporal applications. The binding conception is introduced to address these inherent issues of temporal spans. Firstly, the order relationship of temporal spans is discussed. The reasons why the uncertain relationship exists between two non-canonical temporal spans are analyzed, revealing the necessity of temporal span binding. Secondly, the affine space is explored for mapping temporal spans into the affine space. The temporal binding is constructed by the affine transformations. Therefore, the binding of temporal span with temporal point, continuous temporal interval and discontinuous temporal interval is elaborated respectively, and the operations of the temporal primitives are implemented.%时态跨度是时态应用中重要但又非常特殊的时态原语：一则，在不同的时态上下文中，其语义内涵往往呈现出不确定性；再者，其灵活的刻画形式又表现出一些不规范性，使得时态应用中难以有效地驾驭其序关系，影响时态运算的精确性。从时态跨度的序关系入手，分析了时态跨度绑定操作的必要性，提出了通过将时态原语和时态跨度映射到仿射空间中，利用仿射变换构建时态跨度绑定的方法，并实现了与时态粒点、非间断时态粒区、间断时态粒区间的绑定和运算。