论文信息 - Introduction to Intelligent Elevator Control Based on EVALPSN - 字舞流文

Introduction to Intelligent Elevator Control Based on EVALPSN

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.

Jair Minoro Abe | Seiki Akama | Kazumi Nakamatsu | Roumen Kountchev

[1] Jair Minoro Abe,et al. The development of paraconsistent annotated logic programs , 2009, Int. J. Reason. based Intell. Syst..

[2] Sadaaki Miyamoto,et al. Rough Sets and Current Trends in Computing , 2012, Lecture Notes in Computer Science.

[3] Jair Minoro Abe,et al. Annotated Semantics for Defeasible Deontic Reasoning , 2000, Rough Sets and Current Trends in Computing.

[4] Lakhmi C. Jain,et al. Recent Advances in Intelligent Decision Technologies , 2007, KES.

[5] Jair Minoro Abe,et al. Introduction to Plausible Reasoning Based on EVALPSN , 2009 .

[6] V. S. Subrahmanian,et al. The Paraconsistent Logics PJ , 1991, Math. Log. Q..

[7] Kazumi Nakamatsu. Pipeline Valve Control Based on EVALPSN Safety Verification , 2006, J. Adv. Comput. Intell. Intell. Informatics.

[8] Da Costa. The Paraconsistent Logics PT , 1991 .

[9] V. S. Subrahmanian,et al. Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[10] Tadashi Shibata,et al. An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation , 2007, Intell. Autom. Soft Comput..