Selected Temporal Logic Systems: An Attempt at Engineering Evaluation | SpringerLink
Skip to main content

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

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

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

Included in the following conference series:

  • 1186 Accesses

Abstract

This paper is aimed at the engineering evaluating of 3 well-known temporal logic systems: of the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some alternative fuzzy extension of LTL – called a Fuzzy-Time Temporal Logic as a system suitable for an explicit rendering of a fuzzy nature of time. We intend to formulate and defend the thesis – on a base of a behavior of robot in the block world – 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

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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

Similar content being viewed by others

Notes

  1. 1.

    Sometimes, further operators such as \(\mathcal {AG}\) (“almost always”) and \(\mathcal {AG}_{t}\) read as “almost always in the next t instances” are considered. We omit them for a simplicity of the semantics presentations.

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. Handbook of Theoretical Computer, vol. B, pp. 995–1072. Elsevier, Amsterdam (1990)

    MATH  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. Frigeri, A., Pasquale, L., Spoletini, P.: Fuzzy Time in LTL. In: Logic in Computer Science (2012)

    Google Scholar 

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

    MATH  Google Scholar 

  9. Grobler-Debska, A., Kucharska, E., Dudek-Dyduch, E.: Idea of switching algebraic-logical models in flow-shop scheduling problem with defects. In: Methods and Models in Automaton and Robotics (MMAR), pp. 532–537 (2013)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Jobczyk, K., Ligeza, A.: Systems of temporal logic for a use of engineering. towards a more practical approach. In: Stýskala, V., Kolosov, D., Snášel, V., Karakeyev, T., Abraham, A. (eds.) EMACOM 2015. Advances in Intelligent Systems and Computing, vol. 423, pp. 147–157. Springer, Switzerland (2016)

    Google Scholar 

  12. Jobczyk, K., Ligeza, A.: Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL. In: Proceedings of INISTA, pp. 1–8 (2015)

    Google Scholar 

  13. 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 

  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. 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 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Krystian Jobczyk .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Jobczyk, K., Ligeza, A., Kluza, K. (2016). Selected Temporal Logic Systems: An Attempt at Engineering Evaluation. 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 9692. Springer, Cham. https://doi.org/10.1007/978-3-319-39378-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39378-0_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39377-3

  • Online ISBN: 978-3-319-39378-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics