Plenary Lecture
Intelligent Decision Technologies from the Viewpoint of Paraconsistent Reasoning-based Intelligent Systems
Professor Kazumi Nakamatsu
School of Human Science and Environment
University of Hyogo
Japan
E-mail: nakamatu@shse.u-hyogo.ac.jp
Abstract: Intelligent decision technologies have become to constitute an important area in computer science/AI and been applied to various intelligent systems recently. In this lecture, “What is intelligent decision technology?” “How can we implement intelligent decision technologies?” “Future directions of Intelligent Decision Technologies” will be clarified from the viewpoint of a formal reasoning-based intelligent system that can deal with contradiction. Furthermore, it will be introduced that some intelligent decision technologies can be implemented as the formal reasoning-based intelligent systems with small examples. Paraconsistent annotated logic is well known as a formal logic that can deal with contradiction in the framework of consistent logical systems. One of its logic programs called Extended Vector Annotated Logic Program with Strong Negation (EVALPSN) has been developed for dealing with non-monotonic reasoning such as default reasoning, defeasible reasoning, defeasible deontic reasoning, plausible reasoning, etc. by Kazumi Nakamatsu and applied to conflict resolving, various intelligent control systems such as pipeline valve control, traffic signal control, railway interlocking safety verification, etc. Some of these applications of EVALPSN will be introduced as applications of intelligent decision technology. Moreover, a special EVALPSN that can deal with a sort of temporal reasoning, before-after relations between processes (time intervals), which has been named bf(before-after)–EVALPSN and its application to real-time process order control will be introduced.
Brief Biography of the Speaker: Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University, and Kyushu University, Japan, respectively. He is a full Professor at School of Human Science and Environment, University of Hyogo, Japan since 2005. His research interests encompass various kinds of logic and their applications to Computer Science, especially paraconsistent annotated logic programs and their applications. He has developed some paraconsistent annotated logic programs called ALPSN(Annotated Logic Program with Strong Negation), VALPSN(Vector ALPSN), EVALPSN(Extended VALPSN) and bf-EVALPSN (before-after EVALPSN) recently, and applied them to various intelligent systems such as a safety verification based railway interlocking control system and process order control. He is an author of over 150 journal papers, book chapters and conference papers, and edited 12 books published by prominent publishers such as Springer-verlag. He has chaired various international conferences, workshops and invited sessions, and he has been a member of numerous international program committees of workshops and conferences in the area of Artificial Intelligence and Computer Science. He serves as Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems by Inderscience Publishers (UK), Journal of Intelligent Technologies by IOS Press, International Journal of Hybrid Intelligence by Inderscience Publishers (UK), and an editorial board member of many international journals. He has contributed numerous invited talks at international workshops, conferences, and academic organizations. He also is a recipient of some conference and paper awards. He is a member of Japan AI Society, etc.