Time Structures for AI
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.
Cite
Text
Tsang. "Time Structures for AI." International Joint Conference on Artificial Intelligence, 1987.Markdown
[Tsang. "Time Structures for AI." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/tsang1987ijcai-time/)BibTeX
@inproceedings{tsang1987ijcai-time,
title = {{Time Structures for AI}},
author = {Tsang, Edward P. K.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {456-461},
url = {https://mlanthology.org/ijcai/1987/tsang1987ijcai-time/}
}