Introduction to Intelligent Elevator Control Based on EVALPSN

  • Kazumi Nakamatsu
  • Jair Minoro Abe
  • Seiki Akama
  • Roumen Kountchev
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6278)


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.


Complete Lattice Paraconsistent Logic Strong Negation Operation Policy Current Route 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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. 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. 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)CrossRefGoogle Scholar
  7. 7.
    Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Int’l J. Reasoning-based Intelligent Systems 1, 92–112 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Kazumi Nakamatsu
    • 1
  • Jair Minoro Abe
    • 2
  • Seiki Akama
    • 3
  • Roumen Kountchev
    • 4
  1. 1.University of HyogoHimejiJapan
  2. 2.Paulista University, University of Sao PauloSao PauloBrazil
  3. 3.University of TsukubaTsukubaJapan
  4. 4.Technical University of SofiaSofia

Personalised recommendations