Skip to main content
SpringerLink
Log in

Knowledge Reasoning Based on 2n-Valued Temporal Logic

  • Conference paper
  • First Online:
Intelligent Computing Theories and Application (ICIC 2018)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10954))

Included in the following conference series:

  • 2807 Accesses

Abstract

Knowledge representation and reasoning is one of the most important topics in the field of artificial intelligence. Classical 2-valued logic is often used for representation and reasoning of precise knowledge. However, in practical applications, intelligent systems need to understand and handle knowledge involving time and fuzzy concepts, which classical 2-valued logic cannot do well. To this end, in this paper we propose a 2n-valued temporal logic for representing and reasoning of temporal, fuzzy knowledge. Moreover, we discuss the characteristics of the logic, including some of theorems that hold in the classical logic as well as some unique to the logical proposed. Finally, we give an example of the impact of seasonal cooling on influenza to show how our logic can be used in practice.

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Arthur, N.P.: Time and Modality. Oxford University Press, Oxford (1957)

    Google Scholar 

  2. Koo, T.J., et al.: A framework for multi-robot motion planning from temporal logic specifications. Sci. China Inf. Sci. 55(7), 1675–1692 (2012)

    Article  MathSciNet  Google Scholar 

  3. Levonevskiy, D., Vatamaniuk, I., Saveliev, A.: Integration of corporate electronic services into a smart space using temporal logic of actions. In: Ronzhin, A., Rigoll, G., Meshcheryakov, R. (eds.) ICR 2017. LNCS (LNAI), vol. 10459, pp. 134–143. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66471-2_15

    Chapter  Google Scholar 

  4. Jha, S., Raman, V., Sadigh, D., Seshia, S.A.: Safe autonomy under perception uncertainty using chance-constrained temporal logic. J. Autom. Reasoning 60, 43 (2018)

    Article  MathSciNet  Google Scholar 

  5. Kreutzmann, A., et al.: Temporal logic for process specification and recognition. Intel. Serv. Robot. 6(1), 5–18 (2013)

    Article  Google Scholar 

  6. Favara, F.M., Saleh, J.H.: Application of temporal logic for safety supervisory control and model-based hazard monitoring. Reliab. Eng. Syst. Saf. 169, 166–178 (2018)

    Article  Google Scholar 

  7. Gillani, M., Akbari, A., Rosell, J.: Physics-based motion planning with temporal logic specifications. IFAC-PapersOnLine 50–1, 8993–8999 (2017)

    Google Scholar 

  8. Xu, Z., Belta, C., Julius, A.: Temporal logic inference with prior information: an application to robot arm movements. IFAC-Papers OnLine 48(27), 141–146 (2015)

    Article  Google Scholar 

  9. Gol, E.A., Lazar, M., Belta, C.: Temporal logic model predictive control. Automatica 56, 78–85 (2015)

    Article  MathSciNet  Google Scholar 

  10. Dixon, C., et al.: Temporal logics of knowledge and their applications in security. Electron. Notes Theoret. Comput. Sci. 186, 27–42 (2007)

    Article  MathSciNet  Google Scholar 

  11. Mukherjee, S., Dasgupta, P.: A fuzzy real-time temporal logic. Int. J. Approximate Reasoning 54, 1452–1470 (2013)

    Article  MathSciNet  Google Scholar 

  12. Shi, H.-X.: A quantitative approach for linear temporal logic. In: Fan, T.-H., Chen, S.-L., Wang, S.-M., Li, Y.-M. (eds.) Quantitative Logic and Soft Computing 2016. AISC, vol. 510, pp. 49–57. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-46206-6_6

    Chapter  Google Scholar 

  13. Sotudeh, G., Movaghar, A.: Abstraction and approximation in fuzzy temporal logics and models. Formal Aspects Comput. 27, 309–334 (2015)

    Article  MathSciNet  Google Scholar 

  14. Selvi, M., et al.: Fuzzy temporal approach for energy efficient routing in WSN. In: Proceedings of the International Conference on Informatics and Analytics, p. 117 (2016)

    Google Scholar 

  15. Frigeri, A., Pasquale, L., Spoletini, P.: Fuzzy time in linear temporal logic. ACM Trans. Comput. Logic, 15(4), Article 30 (2014)

    Google Scholar 

  16. Ho, L.T.T., Arch-int, S., Arch-int, N.: Introducing fuzzy temporal description logic. In: Proceedings of the 3rd International Conference on Industrial and Business Engineering, pp. 77–80 (2017)

    Google Scholar 

Download references

Acknowledgments

This work was supported by the National Natural Science Foundation of China (Nos. 61662007, 61762015, and 61762016), and Guangxi Key Lab of Multi-Source Information Mining and Security (No. 18-A-01-02).

Author information

Authors and Affiliations

  1. Guangxi Key Lab of Multi-Source Information Mining and Security, Guangxi Regional Multi-Source Information Integration and Intelligent Processing, Collaborative Innovation Center, Faculty of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi, 541004, China

    Yuanxiu Liao, Jingli Wu & Xudong Luo

Authors
  1. Yuanxiu Liao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jingli Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xudong Luo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xudong Luo .

Editor information

Editors and Affiliations

  1. Tongji University, Shanghai, China

    De-Shuang Huang

  2. Polytechnic of Bari, Bari, Italy

    Vitoantonio Bevilacqua

  3. University of Wollongong, North Wollongong, New South Wales, Australia

    Prashan Premaratne

  4. Indian Institute of Technology Kanpur, Kanpur, India

    Phalguni Gupta

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Liao, Y., Wu, J., Luo, X. (2018). Knowledge Reasoning Based on 2n-Valued Temporal Logic. In: Huang, DS., Bevilacqua, V., Premaratne, P., Gupta, P. (eds) Intelligent Computing Theories and Application. ICIC 2018. Lecture Notes in Computer Science(), vol 10954. Springer, Cham. https://doi.org/10.1007/978-3-319-95930-6_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95930-6_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95929-0

  • Online ISBN: 978-3-319-95930-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation