Representing Allen's properties, events, and processes

摘要

Allen's logic is one of the most influential temporal logics in AI. In his logic, he defines properties, events, and processes. Properties and events are commonly used in other logics. Processes are not so popular and rarely appear in other logics. Ignoring processes in a logic means that a large portion of temporal information cannot be represented.