Towards a general theory of action and time
Artificial Intelligence
Hi-index | 0.00 |
The topic of the paper is the introduction of a formalism that permits a homogeneous representation of definite temporal adverbials, temporal quantifications (as frequency and duration), temporal conjunctions and tenses, and of their combinations with propositions. This unified representation renders it possible to show how these components refer to each other and interact in creating temporal meanings. The formal representation is based on the notions "phase-set" and "phase-operator", and it involves an interval logic. Furthermore logical connections are used, but the (always troublesome) logical quantifications may be avoided. The expressions are rather near to linguistic structures, which facilitates the link to text analysis. Some emprical confirmations are outlined.