Abstract
In this paper, we introduce the basic idea of a multi-car elevator safety verification based on an paraconsistent annotated logic program called EVALPSN with taking a three-car/shaft elevator system as an example for the safety verification. The EVALPSN based multi-car elevator safety verification system is constructed by formalizing the system safety properties to be secured in EVALPSN.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. Theoretical Computer Science 68, 135–154 (1989)
da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The Paraconsistent Logics P\({\cal T}\). Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 37, 139–148 (1989)
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)
Nakamatsu, K., Abe, J.M., Suzuki, A.: A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming. In: Soft Computing Systems (HIS 2002), Frontiers in Artificial Intelligence and Applications, vol. 87, pp. 775–784. IOS Press, Amsterdam (2002)
Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds.) RSFDGrC 2003. LNCS (LNAI), vol. 2639, pp. 719–723. Springer, Heidelberg (2003)
Nakamatsu, K.: Pipeline Valve Control Based on EVALPSN Safety Verification. J. Advanced Computational Intelligence and Intelligent Informatics 10, 647–656 (2006)
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)
Nakamatsu, K., Imai, T., Abe, J.M., Akama, S.: An Introduction to Plausible Reasoning Based on EVALPSN. In: Nakamatsu, K., Phillips-Wren, G., Jain, L.C., Howlett, R.J. (eds.) New Advances in Intelligent Decision Technologies. Studies in Computational Intelligence, vol. 199, pp. 363–372. Springer, Heidelberg (2009)
Nakamatsu, K., Abe, J.M.: The development of Paraconsistent Annotated Logic Program. Int’l J. Reasoning-based Intelligent Systems 1, 92–112 (2009)
Nakamatsu, K., Abe, J.M., Akama, S., Kountchev, R.: Introduction to Intelligent Elevator Control Based on EVALPSN. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds.) KES 2010. LNCS (LNAI), vol. 6278, pp. 133–142. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamatsu, K., Imai, T., Nishimura, H. (2011). Intelligent Safety Verification for Multi-car Elevator System Based on EVALPSN. In: Nguyen, N.T., Kim, CG., Janiak, A. (eds) Intelligent Information and Database Systems. ACIIDS 2011. Lecture Notes in Computer Science(), vol 6591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20039-7_50
Download citation
DOI: https://doi.org/10.1007/978-3-642-20039-7_50
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20038-0
Online ISBN: 978-3-642-20039-7
eBook Packages: Computer ScienceComputer Science (R0)