3rd International Workshop on New Approaches for

Multidimensional Signal Processing

NAMSP 2022

Technical University of Sofia, Sofia, Bulgaria

July 07-09, 2022

---

Plenary Speakers

Prof. Dr. Kazumi Nakamatsu, University of Hyogo, Japan

Title of Lecture:

Development of Paraconsistent Annotated Logic Program and its Application

Abstract: Paraconsistent logic, which consistently deal with inconsistency, conflict, paradox, etc. was elaborated in the middle of 20th century by two great logicians, Stanislaw Jaskovski in Poland and Newton da Costa in Brazil independently, later its logic program was developed by V.S. Subrahmanian. Recently, the paraconsistent logic program has been developed for dealing with various kinds of reasoning such as deontic defeasible reasoning and they have been applied to safety verification and intelligent control systems by Kazumi Nakamatsu. In this talk, the most recently developed paraconsistent annotated logic program named Bf-EVALPSN(Before-after Extended Vector Annotated Logic Program with Strong Negation), which can deal with before-after relations between two time intervals in a framework of annotated logic program in addition to deontic defeasible reasoning, and its application to the safety verification of process order are introduced.

Biographical Notes: Kazumi Nakamatsu received the Ms. Eng. and Dr. Sci. from Shizuoka University and Kyushu University, Japan, respectively. 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 papers and 20 book chapters, and 10 edited books published by prominent publishers. Kazumi Nakamatsu 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 Computer Science. He has served as the Editor-in-Chief of the International Journal of Reasoning-based Intelligent Systems(IJRIS), he is now the founding editor of IJRIS, and an editorial board member of many international journals. He has contributed numerous invited lectures at international workshops, conferences, and academic organizations. He also is a recipient of numerous research paper awards. He is a member of ACM.