Skip to main content
SpringerLink
Log in

Temporal reasoning component for real-time intelligent decision-support systems

  • Decision Support Systems
  • Published:
Scientific and Technical Information Processing Aims and scope

Abstract

Methods and software tools of modeling temporal reasoning for real-time intelligent decisionmaking support systems are considered.

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. Kandrashina, E.Yu., Litvintseva, L.V., and Pospelov, D.A., Predstavlenie znanii o vremeni i prostranstve v intellektual’nykh sistemakh, (Representation of Knowledge of Time and Space in Intellectual Systems), Popselov, D.A, Ed., Moscow: Nauka, 1989.

    Google Scholar 

  2. Trubnikov, N.I., Time Problems in Terms of Philosophical World Outlook, Vopr. Filos., 1978, no. 2, pp. 111–121.

  3. Eremeev, A.P. and Troitskii, V.V., Models for Presenting the Temporal Relationships in Intelligence Systems for Decision Making Support, Izv. Akad. Nauk. Teor. Sist. Upr., 2003, no. 5, pp. 75–88.

  4. McCarthy, J. and Hayes, P.J., Some Philosophical Problems from the Standpoint of Artificial Intelligence, Mach. Intel. Edinburgh Univ. Press, 1969, no. 4, pp. 463–502.

  5. Fikes, R. and Nilsson, N., STRIPS: a New Approach to the Application of Theorem Proving to Problem Solving, Artif. Intel., 1971, no. 2, pp. 189–208.

  6. Slinina, Ya.A., Karavaeva, E.F., and Migunova, A.I., Simvolicheskaya logika (Symbolic Logic), St. Petersburg: S.-Peterb. Univ., 2005.

    Google Scholar 

  7. Vagin, V.N. and Eremeev, A.P., Some Basic Principles for Generating Intelligence Systems for Supporting the Real Time Decision Making, Izv. Akad. Nauk. Teor. Sist. Upr., 2001, no. 6, pp. 114–123.

  8. Gerevini, A. and Schubert, L., Efficient Algorithms for Qualitative Reasoning about Time, Technical Report 496, Department of Computer Science, University of Rochester, Rochester, NY, 1993.

  9. Eremeev, A.P. and Troitskii, V.V., Concepts and Models Intended for Time Presentation and Their Application in Intelligence Systems, Novosti Iskusst. Intel., 2004, no. 1, pp. 6–29.

  10. Eremeev, A.P. and Kurilenko, I.E., The Way to Implement the Mechanism of Temporal Reasoning in Modern Intelligence Systems, Izv. Akad. Nauk. Teor. Sist. Upr., 2007, no. 2, pp. 120–136.

  11. Gereveni, A. and Schubert, L., An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning, in Proc. 4th Int. Conf. on Principles of Knowledge Representation and Reasoning, San Francisco, 1994.

  12. Allen, J.F. and Ferguson, G., Actions and Events in Interval Temporal Logic, Technical Report, 1994, p. 21.

  13. Tarjan, R., Depth-First Search and Linear Graph Algorithms, SIAM, 1973, no. 1.

  14. Van Beek, P. and Manchak, D.W., The Design and Experimental Analysis of Algorithms for Temporal Reasoning, J. Artif. Intel. Res., 1996, no. 4.

  15. Allen, J.F., Maintaining Knowledge about Temporal Intervals, Comm. ACM, 1983, no. 26.

  16. Krokhin, A. and Jonsson, P., Reasoning About Temporal Relations: The Tractable Subalgebras of Allen’s Interval Algebra, Technical Report PRG-RR-01-12. Oxford University, Computing Laboratory, 2001.

  17. Jonsson, P., Drakengren T., and Backstrom C., Computational Complexity of Relating Time Points and Intervals, Artif. Intel., 1999, nos. 1–2.

  18. Eremeev, A.P. and Kurilenko, I.E., The Way to Implement the Temporal Reasoning in Intelligence Systmes for Supporting the Real Time Decision Making, Program. Prod. Sist., 2005, no. 2, pp. 8–16.

  19. Kurilenko, I.E., On Methods of Improving Derivation Algorithms for Temporal Reasoning Systems, Sbornik trudov IV-i mezhdunar. nauchno-prakt. konf. “Integrirovannye modeli i myagkie vychisleniya v iskusstvennom intellekte” v 2 t (Proc. 4th Int. Theoretical and Practical Conf. “Integrated Models and Soft Computing in Artifical Intelligence” in 2 Vols), Moscow: FIZMATLIT, 2007, vol. 1, pp. 149–156

    Google Scholar 

  20. Gerevini, A., Incremental Qualitative Temporal Reasoning Algorithms for the Point Algebra and the ORD-Horn Class, Technical Report PRG-RH-01-12, Oxford Univ. Computing Laboratory, 2001.

  21. Mono Documentation Library, Available from: http://www.go-mono.com/docs/

  22. Ubuntu Linux Documentation, Available from: http://ubuntu.ru/help

  23. Mandriva Linux Documentation, Available from: http://mandriva.ru/pomow/

  24. Borisov, A.V., Kazaritskii, A.S., and Kurilenko, I.E., Moder Approaches for Generation Accounting Systems of Motor Transport. Soft and Hard Ware, Inf. Tekhnol. Model. Upr., 2005, no. 5, pp. 786–794.

Download references

Authors
  1. A. P. Eremeev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. E. Kurilenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © A.P. Eremeev, I.E. Kurilenko, 2009, published in Iskusstvennyi Intellekt i Prinyatie Reshenii, 2009, No. 1, pp. 31–45.

About this article

Cite this article

Eremeev, A.P., Kurilenko, I.E. Temporal reasoning component for real-time intelligent decision-support systems. Sci. Tech.Inf. Proc. 38, 332–343 (2011). https://doi.org/10.3103/S0147688211050030

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0147688211050030

Keywords

Search

Navigation