Time Structures for AI

Tsang, Edward P. K.

Time Structures for AI

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 456-460.

Abstract

Tinw 1uu been studied by logici4ns for a long tirM and recvttly it 1uu been modeUed in more and more researcluts in AI. T1u!re exists a gap between til. logics built by temporal logici4ns and those used in AI. This paper aims at filling thls gap and providing a formol study on temporal logics for AI. In thls paper, we present a new axiomatizatwn of AUen & Hayes' temporal logic and locate thetr logic in til. spectrwn of logics built by temporal logici4ns. We also relate point-, .vent- and interval-based nme structures to one anoth.r.

Edward P. K. Tsang. 1987. Time Structures for AI. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 456–460. https://ijcai.org/proceedings/1987/90

@inproceedings{ijcai1987p90,
  title     = {Time Structures for AI},
  author    = {Tsang, Edward P. K.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {456--460},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/90},
}

TY  - CPAPER
TI  - Time Structures for AI
AU  - Tsang, Edward P. K.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 456
EP  - 460
UR  - https://ijcai.org/proceedings/1987/90
ER  -