LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters.

Principles for constructing intelligent systems Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner. Topics include: * Levels of thinking and logic * Special cases: expert systems and intelligent agents * Formulating and solving logic systems * Reasoning under uncertainty * Learning logic formulas from data * Nonmonotonic and incomplete reasoning * Question-and-answer processes * Intelligent systems that construct intelligent systems Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises. The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com.

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.

This book represents the experience of successful researchers from four continents on a broad range of intelligent systems, and it hints how to avoid anticipated conflicts and problems during multidisciplinary innovative research from Industry 4.0 and/or Internet of Things through modern machine learning, and software agent applications to open data science big data/advance analytics/visual analytics/text mining/web mining/knowledge discovery/deep data mining issues. The considered intelligent part is essential in most smart/control systems, cyber security, bioinformatics, virtual reality, robotics, mathematical modelling projects, and its significance rapidly increases in other technologies. Theoretical foundations of fuzzy sets, mathematical and non-classical logic also are rapidly developing.

"Recent Advances in Intelligent Control Systems" gathers contributions from workers around the world and presents them in four categories according to the style of control employed: fuzzy control; neural control; fuzzy neural control; and intelligent control. The contributions illustrate the interdisciplinary antecedents of intelligent control and contrast its results with those of more traditional control methods. A variety of design examples, drawn primarily from robotics and mechatronics but also representing process and production engineering, large civil structures, network flows, and others, provide instances of the application of computational intelligence for control. Presenting state-of-the-art research, this collection will be of benefit to researchers in automatic control, automation, computer science (especially artificial intelligence) and mechatronics while graduate students and practicing control engineers working with intelligent systems will find it a good source of study material.

This book comprises high-quality, refereed research papers presented at the 2019 International Symposium on Computer Science, Digital Economy and Intelligent Systems (CSDEIS2019): The symposium, held in Moscow, Russia, on 4–6 October 2019, was organized jointly by Moscow State Technical University and the International Research Association of Modern Education and Computer Science. The book discusses the state of the art in areas such as computer science and its technological applications; intelligent systems and intellectual approaches; and digital economics and methodological approaches. It is an excellent reference resource for researchers, undergraduate and graduate students, engineers, and management practitioners interested in computer science and its applications in engineering and management.