Time Structures for AI

@inproceedings{Tsang1987TimeSF,
  title={Time Structures for AI},
  author={Edward P. K. Tsang},
  booktitle={IJCAI},
  year={1987}
}
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-, eventand interval… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Towards a General Theory of Actions and Time

  • Allen. J.F
  • AI
  • 1984
Highly Influential
3 Excerpts

B . . " On Order in Time "

  • C MarshR, Y. Shoham.
  • . " Reified Temporal Logic . Semantical and…
  • 1986

Temporal Imagery: An Approach to Reasoning with Time for Planning and Problem Solving

  • T Dean.
  • Ph D Dissertation, Yale University. October
  • 1985

. " Logics for AI "

  • M. Vilain., Kautz. H..
  • Ellis Horwood series in Artificial Intelligence
  • 1984

The logic of time

  • J VanBenthem.
  • D Reidel Publishing Co
  • 1983
1 Excerpt

" Some remarks on the logic of change . Part I "

  • F Ouenthner
  • 1980

Similar Papers

Loading similar papers…