GeTS - A Specification Language for Geo-Temporal Notions

This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy time intervals and labelled partitionings of the time axis. The partitionings are used to represent periodic temporal notions like months, semesters etc. GeTS is essentially a typed functional language with a few imperative constructs. GeTS can be used to specify and compute with many different kinds of temporal notions, from simple arithmetic operations on time points up to complex fuzzy relations between fuzzy time intervals. The syntax of GeTS together with an nal semantics is described. A parser, a compiler and an abstract machine for GeTS is implemented. The application programming interface for GeTS is documented in the appendix. Keyword List temporal notions, specification language Project co-funded by the European Commission and the Swiss Federal Office for Education and Science within the Sixth Fram...

• Type: Journal
• Year: 2006
• Where: KI
• Authors: Hans Jürgen Ohlbach
• Keywords: Artificial Intelligence, Fuzzy Time Intervals, KI 2006, Specification Language, Temporal Notions