Skip to main content
SpringerLink
Log in

IMC: A Method for Interval Calculus in Matrix

  • Short Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

Time representation is important in many applications, such as temporal databases, planning, and multi-agents. Since Allen’s work on binary interval relations (called interval algebra), many researchers have further investigated temporal information processing based on interval calculus. However, there are still some limitations, e.g. constraint satisfaction is a NP-hard problem in interval calculus. For this reason, we propose a new interpretation for interval relationships and their calculus in this paper, which establishes a new method to transform interval calculus into matrix calculus. Our experiments show that this method propagates temporal relations faster than interval algebra.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. Allen. Maintaining knowledge about temporal intervals, Commun. A CM 26(11), 832–843, 1983.

    Article  MATH  Google Scholar 

  2. H. Barringer, R. Kuiper, A. Pnueli. Now you may compose temporal logic specifications. In: Proc. 16th ACM Symposium on Theory of Computing, ACM, New York, 1984, pp. 51–63.

    Google Scholar 

  3. S. Kraus, J. Wilkenfeld, G. Zlotkin. Multiagent negotiation under time constraints, Artificial Intelligence 75, 297–345, 1995.

    Article  MathSciNet  MATH  Google Scholar 

  4. D. McDermott. A temporal logic for reasoning about processes and plans, Cognitive Science 6, 101–155, 1982.

    Article  Google Scholar 

  5. E. Schwalb, L. Vila. Logic programming with temporal constraints. In: Proc. International Workshop on Temporal Representation and Reasoning, 1996, pp. 51–56.

  6. R. Snodgrass. The temporal query language TQuel, ACM Trans. Database Systems 12(2), 247–298, 1987.

    Article  Google Scholar 

  7. C. Stuart. An implementation of a multiagent plan synchronizer using a temporal logic theorem prover, Proc. IJCAI-85, 1985, pp. 1031–1033.

    Google Scholar 

  8. A. Tuzhilin. Extending temporal logic to support high-level simulations, ACM Trans. Modeling and Computer Simulation 5(2), 129–155, 1995.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, National University of Singapore, Lower Kent Ridge, Singapore, 119260

    Shichao Zhang

  2. School of Computing and Mathematics, Deakin University, Geelong, Vic 3217, Australia

    Chengqi Zhang

Authors
  1. Shichao Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chengqi Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shichao Zhang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zhang, S., Zhang, C. IMC: A Method for Interval Calculus in Matrix. Knowledge and Information Systems 1, 257–268 (1999). https://doi.org/10.1007/BF03325100

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03325100

Keywords

Search

Navigation