Skip to main content
SpringerLink
Log in

Introduction to Intelligent Elevator Control Based on EVALPSN

  • Conference paper
Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010)

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

Abstract

In this paper, we introduce the basic idea of single-car/single-shaft elevator control based on EVALPSN. Car operation in the elevator system is logically verified by the EVALPSN representing the car operation properties.

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 PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  2. da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The Paraconsistent Logics P\({\mathcal{T}}\). Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148 (1989)

    Article  Google Scholar 

  3. Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, pp. 432–440. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  4. Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. J. Advanced Computational Intelligence and Intelligent Informatics 10, 647–656 (2006)

    Google Scholar 

  5. Nakamatsu, K., Mita, Y., Shibata, T.: An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation. J. Intelligent Automation and Soft Computing 13, 289–304 (2007)

    Google Scholar 

  6. Nakamatsu, K., Imai, T., Abe, J.M., Akama, S.: An Introduction to Plausible Reasoning Based on EVALPSN. In: New Advances in Intelligent Decision Technologies. SCI, vol. 199, pp. 363–372. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Int’l J. Reasoning-based Intelligent Systems 1, 92–112 (2009)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hyogo, Himeji, Japan

    Kazumi Nakamatsu

  2. Paulista University, University of Sao Paulo, Sao Paulo, Brazil

    Jair Minoro Abe

  3. University of Tsukuba, Tsukuba, Japan

    Seiki Akama

  4. Technical University of Sofia, Sofia, Bulgaria

    Roumen Kountchev

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roumen Kountchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Engineering, Cardiff University, The Parade, CF24 3AA, Cardiff, UK

    Rossitza Setchi

  2. Dept. of Computer Science and Software Engineering, University of Portsmouth, BUckingham Building, Lion Terrace, PO1 3HE, Portsmouth, UK

    Ivan Jordanov

  3. KES International, 145-157 St. John Street, EC1V 4PY, London, UK

    Robert J. Howlett

  4. School of Electrical and Information Engineering, University of South Australia, Adelaide, Mawson Lakes Campus, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamatsu, K., Abe, J.M., Akama, S., Kountchev, R. (2010). Introduction to Intelligent Elevator Control Based on EVALPSN. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15393-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15393-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15392-1

  • Online ISBN: 978-3-642-15393-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation