Still being updated
Professor Kazumi NAKAMATSU
Prof. Dr. Sc.
School of Human Science and Environment
University of Hyogo
Keynote Talk: Paraconsistent Annotated Logic Programs and its Application to Intelligent Control/Safety Verification
Nowadays a lot of data are treated automatically in various artificial intelligent systems by using computers though, those data include various kinds of contradiction and inconsistency and usual computer logics are not so good at dealing with contradiction in the same system.
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 defeasible reasoning, etc. by Kazumi Nakamatsu and applied to conflict resolving, various intelligent control systems such as traffic signal control, railway interlocking safety verification, etc. One of these applications of EVALPSN, traffic signal control at an intersection will be introduced with visual simulation.
Moreover, a special EVALPSN that can deal with a sort of temporal reasoning, before-after relations between processes (time intervals), which has been developed and named Bf(before-after)–EVALPSN by Kazumi Nakamatsu, and its application to real-time process order control will be introduced based on a small pipeline processing example.
Biography: 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), and as an Associate Editor of the Journal of Intelligent Technologies by IOS Press, International Journal of Hybrid Intelligence by Inderscience Publishers (UK), and Vietnamese Journal of Computer Science by Springer-verlag. He also serves as an editorial board member of many international journals. He has contributed numerous invited talks at international workshops, conferences, and academic organizations such as universities. He also is a recipient of some conference and paper awards. He is a member of Japan AI Society, etc.
|Professor Ari AHARARI (PhD)
Associate Professor, Sojo University, Japan
Funder and Board member of FusionTech Inc., Japan
The Internet of Things may be a hot topic in the society but it’s not a new concept especially in industry. In this talk, we introduce the fundamental concepts of Internet of Things (IoT) and critical points about how we can design an IoT system. In follow, we introduce Society 5.0 and Industry 4.0 and explain about two projects which was designed based on advanced mathematics for IoT systems.
In 2004, he joined GMD-JAPAN as a Research Assistant. He was Research Scientist and Coordinator at FAIS- Robotics Development Support Office from 2004 to 2007. He was a Postdoctoral Research Fellow of the Japan Society for the Promotion of Science (JSPS) at Waseda University, Japan from 2007 to 2008.
He served as a Senior Researcher of Fukoka IST involved in the Japan Cluster Project from 2008 to 2010. In 2010, he became an Assistant Professor at the faculty of Informatics of Nagasaki Institute of Applied Science.
Since 2012, he has been Associate Professor at the department of Computer and Information Science, Sojo University, Japan. He has served as a main researcher and Principal Investigator in more than 25 projects and is working closely with more than 50 Japanese companies, Local government laboratories and Universities. His research interests are IoT, Robotics, IT Agriculture, Image Processing and Data Analysis (Big Data) and their applications. He is a member of IEEE (Robotics and Automation Society), RSJ (Robotics Society of Japan), IEICE (Institute of Electronics, Information and Communication Engineers), IIEEJ (Institute of Image Electronics Engineers of Japan).
Professor Vasile BERINDE
Technical University of Cluj-Napoca, Romania
Keynote Talk: Pompeiu-Hausdorff metric and its wide spreading role in science and technology
ABSTRACT : The distance between two sets has been introduced at the beginning of the XXth century by the successive contribution of D. Pompeiu (1873-1954), M. Frechet (1878-1973) and F. Hausdorff (1878-1942). The importance of this fundamental concept came rather late in mathematics (about 1940) and even later in applied sciences and technology but nowadays it is widely used in almost all research areas. The list of applications of what is generally known as Hausdorff metric and less often as Pompeiu-Hausdorff metric is really impressive and comprises more than 100 Web of Science Categories of research areas, of which we mention: radiology nuclear medicine medical imaging, medicine research experimental, clinical neurology, imaging science photographic technology, transportation science technology, engineering biomedical, automation control systems, remote sensing, green sustainable science technology, transportation science technology, environmental sciences, engineering ocean etc. The main aim of this talk is to give a brief account on the role of Pompeiu-Hausdorff metric and its ubiquity in applied sciences and technology by means of some sample applications.
Biography: Vasile Berinde is a Full Professor and Head of Department in the Department of Mathematics and Computer Science at Technical University of Cluj-Napoca, North University Centre at Baia Mare (Romania). His research interests include nonlinear analysis, iterative methods for solving nonlinear functional equations and numerical analysis, research areas in which he has published a significant number of papers in prestigious scientific journals with a high impact and visibility. He has been included in the 2016 and 2017 list of Web of Science Highly Cited Researchers and has been elected as a Honorary Doctor of National Technical University Donetsk, Ukraine. He is Vice-President of Romanian Mathematical Society and has been invited as keynote, plenary or invited speaker to many international conferences in different countries and continents.