Towards a general theory of action and time
Artificial Intelligence
Hi-index | 0.01 |
A calculus is presented which allows an efficient treatment of the following components: Tenses, temporal conjunctions, temporal adverbials (of "definite" type), temporal quantifications and phases. The phases are a means for structuring the set of time-points t where a certain proposition is valid. For one proposition there may exist several "phase"-perspectives. The calculus has integrative properties, i. e. all five components are represented by the same formal means. This renders possible a rather easy combination of all informations and coniditions coming from the aforesaid components.