REPRESENTING ALLEN 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 a nd events are commonly used in other logics. Processes are not so popu lar and rarely appear in other logics. Ignoring processes in a logic m eans that a large portion of temporal information cannot be represente d. We present a first order temporal logic that can represent properti es, events and processes, We use a standard representation for propert ies and events. The distinguishing feature of the logic is the represe ntation of processes in terms of what is true at the point level. We p rovide axiom schemas for representing processes.