Time structures for AI

Authors:
Edward P. K. Tsang
Affiliations:
Department of Computer Science, University of Essex, Colchester, UK
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 7
Cited 0

Towards a general theory of action and time

Artificial Intelligence
Temporal imagery: an approach to reasoning about time for planning and problem solving

Temporal imagery: an approach to reasoning about time for planning and problem solving
Maintaining knowledge about temporal intervals

Communications of the ACM
Logic for Artificial Intelligence

Logic for Artificial Intelligence
Generalizing problem reduction: a logical analysis

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Planning using a temporal world model

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A common-sense theory of time

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Tims has been studied by logicians for a long time and recently it has been modelled in more and more researches in AI. There exists a gap between the logics built by temporal logicians and those used in AI. This paper aims at filing this gap and providing a formal study on temporal logics for AI. In this paper, we present a new axiomatization of Allen & Hayes' temporal logic and locate their logic in the spectrum of logics built by temporal logicians. We also relate point-, event- and interval-based time structures to one another.