Skip to main content
SpringerLink
Log in

Why Systems of Temporal Logic Are Sometimes (Un)useful?

  • Conference paper
  • First Online:
Artificial Intelligence and Soft Computing (ICAISC 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9693))

Included in the following conference series:

  • 1172 Accesses

Abstract

This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL) and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially capable of satisfying typical requirements of engineers.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

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

    Article  MATH  Google Scholar 

  2. Antonniotti, M., Mishra, B.: Discrete event models+ temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In: Proceedings of IEEE International Conference on Robotics and Automation (1999)

    Google Scholar 

  3. Bacchus, F., Kabanza, F.: Using temporal logic to express search control knowledge for planning. Artif. Intell. 116, 123–191 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  4. Emerson, A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995–1072 (1990)

    Google Scholar 

  5. Fainekos, G., Kress-gazit, H., Pappas, G.: Hybrid controllers for path planning: a temporal logic approach. In: Proceeding of the IEEE International Conference on Decision and Control, Sevilla, pp. 4885–4890, December 2005

    Google Scholar 

  6. Fainekos, G., Kress-gazit, H., Pappas, G.: Temporal logic moton planning for mobile robots. In: Proceeding of the IEEE International Conference on Robotics and Automaton, pp. 2032–2037 (2005)

    Google Scholar 

  7. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimentional Modal Logics: Theory and Application. Elsevier, Amsterdam (2003)

    MATH  Google Scholar 

  8. Goronko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. J. Appl. Non-Classical Logics 14, 9–54 (2004)

    Article  MATH  Google Scholar 

  9. Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935–962 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  10. Jobczyk, K., Ligeza, A.: Systems of temporal logic for a use of engineering. Towards a more practical approach. In: Intelligent Systems for Computer Modelling. Proceedings of the 1st Europe-Middle Asian Conference on Computer Modelling EMACOM, pp. 147–157 (2015)

    Google Scholar 

  11. Jobczyk, K., Ligeza, A., Karczmarczuk, J.: Fuzzy temporal approach to the handling of temporal interval relations and preferences. In: Proceedings of INISTA (2015)

    Google Scholar 

  12. Jobczyk, K., Ligeza, A., Kluza, K.: Selected temporal logic systems: an attempt at engineering evaluation. In: Rutkowski, L., et al. (eds.) Proceedings of the 15th International Conference, ICAISC 2016, Zakopane, pp. 219–229. Springer, Heidelberg (2016)

    Google Scholar 

  13. Marcinkowski, J., Michaliszyn, J.: The last paper on the halpern-shoham interval temporal logic (2010)

    Google Scholar 

  14. Maximova, L.: Temporal logics with operator ‘the next’ do not have interpolation or beth property. Sibirskii Matematicheskii Zhurnal 32(6), 109–113 (1991)

    MathSciNet  Google Scholar 

  15. Montanari, A., Pratt-Hartmann, I., Sala, P.: Decidability of the logic of a reflexive sub-interval relations overfinite linear orders. In: Proceeding of TIME

    Google Scholar 

  16. Montanari, A., Puppies, G., Sala, P., Sciavicco, G.: Decidability of the interval temporal logic abb on natural numbers. In: Proceeding of 27th Symposium on Theoretical Aspects of Computer Science STACS, Monterey, CA, pp. 597–608 (2010)

    Google Scholar 

  17. Montanari, A., Sala, P.: Interval logics and \(\omega \)B-regular languages. In: Dediu, A.-H., Martín-Vide, C., Truthe, B. (eds.) LATA 2013. LNCS, vol. 7810, pp. 431–443. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  18. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundation of Computer Science, pp. 46–57 (1977)

    Google Scholar 

  19. van Benthem, J., Bezhanishvili, G.: Modal logic of space. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 217–298. Springer, Netherlands (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Caen, Caen, France

    Krystian Jobczyk

  2. AGH University of Science and Technology, Kraków, Poland

    Antoni Ligeza

Authors
  1. Krystian Jobczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Ligeza
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Krystian Jobczyk .

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Czestochowa, Poland

    Leszek Rutkowski

  2. Częstochowa University of Technology, Czestochowa, Poland

    Marcin Korytkowski

  3. Częstochowa University of Technology, Czestochowa, Poland

    Rafał Scherer

  4. AGH University of Science and Technology, Krakow, Poland

    Ryszard Tadeusiewicz

  5. University of California, Berkeley, California, USA

    Lotfi A. Zadeh

  6. University of Louisville, Louisville, Kentucky, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Jobczyk, K., Ligeza, A. (2016). Why Systems of Temporal Logic Are Sometimes (Un)useful?. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L., Zurada, J. (eds) Artificial Intelligence and Soft Computing. ICAISC 2016. Lecture Notes in Computer Science(), vol 9693. Springer, Cham. https://doi.org/10.1007/978-3-319-39384-1_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39384-1_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39383-4

  • Online ISBN: 978-3-319-39384-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation