11th International Symposium on Temporal Representation and Reasoning (TIME'04)
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time
Tatihou, Normandie, France
July 01-July 03
ISBN: 0-7695-2155-X
In several areas, including Temporal Data Bases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in, and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.
Index Terms:
user-defined periodicity, symbolic languages, semantics, Presburger Arithmetic
Citation:
Lavinia Egidi, Paolo Terenziani, "A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time," time, pp.21-27, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004