Advertisement

Reasoning with multi-point events

  • R. Wetprasit
  • A. Sattar
  • L. Khatib
Knowledge Representation I: Constraints
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1081)

Abstract

Recent research on qualitative reasoning has focussed on representing and reasoning about events that occur repeatedly. Allen's interval algebra has been modified to model events that are collections of convex intervals—a non-convex interval. Using the modified version of Allen's algebra, constraint-based algorithms have been investigated for finding feasible relations in a network of non-convex intervals.

In this paper, we propose to model recurring events as multi-point events by extending Vilain and Kautz's point algebra. We then propose an exact algorithm (based on van Beck's exact algorithm) for finding feasible relations for multi-point event networks. The complexity of our method is compared with previously known results both for recurring and nonrecurring events. We identify the special cases for which our multi-point based algorithm can find exact solution. Finally, we summarise our paper with brief discussion on ongoing and future research.

Keywords

Canonical Form Internal Relation Constraint Satisfaction Problem Matrix Relation Memory Unit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Allen, J.: Maintaining Knowledge about Temporal Intervals. Communication of the ACM. 26(11) 1983 832–843Google Scholar
  2. 2.
    Allen, J. and Koomen, J.A.: Planning Using a Temporal World Model. Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-83), California: Kaufman. 1983 741–747Google Scholar
  3. 3.
    Freuder, E.C.: A Sufficient Condition for Backtrack-Free Search. Journal of ACM. 29 1982 24–32Google Scholar
  4. 4.
    Gerevini, A. and Shamir, R.: Complexity and Algorithms for Reasoning about Time: A Graph-Theoretic Approach. Journal of ACM. 1992Google Scholar
  5. 5.
    Hayes, P.J.: The Naive Physics manifesto. Expert Systems, edited by Michie,D., Edinburgh U.Press. 1979Google Scholar
  6. 6.
    Al-Khatib, L.: Reasoning with Non-Convex Time Intervals. PhD dissertation, Florida Institute of Technology, Melbourne, Florida. 1994Google Scholar
  7. 7.
    Kohane, I.S.: Temporal Reasoning in Medical Expert Systems. MIT Laboratory for Computer Science, Technical Report TR-389, Cambridge. 1987Google Scholar
  8. 8.
    Kowalski, R.A. and Sergot, M.J.: A logic-based calculus of events. New Generation Computing. 4(1) 1986 67–95Google Scholar
  9. 9.
    Ladkin, P.: Time Representation: A Taxonomy of Interval Relations. Proceedings of AAAI-86, San Mateo: Morgan Kaufman. 1986 360–366Google Scholar
  10. 10.
    Ladkin, P. and Maddux, R.D.: On Binary Constraint Problems. Journal of ACM. 41(3) 1994 435–409Google Scholar
  11. 11.
    Ladkin, P. and Reinefeld, A.: Effective solution of qualitative interval constraint problems. Artificial Intelligence. 57(1) 1992 105–124Google Scholar
  12. 12.
    Mackworth, A.K.: Consistency in Networks of Relations. Artificial Intelligence. 8 1977 99–118Google Scholar
  13. 13.
    Van Beek, P.: Exact and Approximate Reasoning about Qualitative Temporal Relations. Technical Report TR-90-29, University of Alberta, Edmonton, Alberta, Canada. 1990Google Scholar
  14. 14.
    Vilain, M. and Kautz, H. Constraint Propagation Algorithms for Temporal Reasoning. Proceedings of AAAI-86, San Mateo; Morgan Kaufman. 1986Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • R. Wetprasit
    • 1
  • A. Sattar
    • 1
  • L. Khatib
    • 2
  1. 1.School of Computing and Information TechnologyGriffith UniversityNathanAustralia
  2. 2.Computer Science ProgramFlorida Institute of TechnologyMelbourneUSA

Personalised recommendations