This book presents some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size. Each chapter is self-contained, and an introductory chapter covering the logic theoretical basis is also included. The aim of the text is twofold: to serve as an introductory text on the theories and applications of new logic, and as a textbook for undergraduate or graduate-level courses in AI. Today AI frequently has to cope with problems of vagueness, incomplete and conflicting (inconsistent) information. One of the most notable formal theories for addressing them is paraconsistent (paracomplete and non-alethic) logic.

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.

This book gathers a collection of high-quality, peer-reviewed research papers presented at the International Conference on Intelligent Computing, Communication and Devices (ICCD 2018), which address three core dimensions of the intelligent sciences—intelligent computing, intelligent communication, and intelligent devices. Intelligent computing includes areas such as intelligent and distributed computing, intelligent grid and cloud computing, Internet of Things, soft computing and engineering applications, data mining and knowledge discovery, semantic and web technology, hybrid systems, agent computing, bioinformatics, and recommendation systems. In turn, intelligent communication is concerned with communication and network technologies, such as mobile broadband and all-optical networks, which are the key to groundbreaking advances in intelligent communication technologies. It includes communication hardware, software and networked intelligence, mobile technologies, machine-to-machine communication networks, speech and natural language processing, routing techniques and network analytics, wireless ad hoc and sensor networks, communications and information security, signal, image and video processing, network management, and traffic engineering. Lastly, intelligent devices refer to any equipment, instruments, or machines that have their own computing capability, and covers areas such as embedded systems, radiofrequency identification (RFID), radiofrequency microelectromechanical systems (RF MEMS), very large-scale integration (VLSI) design and electronic devices, analog and mixed-signal integrated circuit (IC) design and testing, microelectromechanical systems (MEMS) and microsystems, solar cells and photonics, nanodevices, single electron and spintronic devices, space electronics, and intelligent robotics.

The volume presents a collection of peer-reviewed articles from the 9th KES International Conference on Intelligent Decision Technologies (KES-IDT-17), held in Vilamoura, Algarve, Portugal on 21–23 June 2017. The conference addressed critical areas of computer science, as well as promoting knowledge transfer and the generation of new ideas in the field of intelligent decision making, project management and data analysis. The range of topics addressed includes methods of classification, prediction, data analysis, decision support, modeling, social media and many more in such diverse areas as finance, linguistics, management and transportation.

The book includes new research results of scholars from the Second International Conference on Advanced Intelligent Technologies (ICAIT 2021) subtitled Intelligent Technology and Industry organized by IRNet International Academic Communication Center, held during October 15–17, 2021. The book covers research work from active researchers who are working on collaboration of industry and various intelligent technologies such as intelligent technologies applicable/applied to manufacturing and distribution of industrial products, factory automation, business, etc. The book focuses on theory, design, development, testing, and evaluation of all intelligent technologies applicable/applied to various parts of industry and its infrastructure. The topics included are all computational intelligence techniques applicable/applied to industry, intelligent techniques in data science applicable/applied to business and management, intelligent network systems applicable/applied to industrial production, intelligent technologies applicable to smart agriculture, and intelligent information systems for agriculture.

This book gathers selected papers from the KES-IDT 2022 Conference, held in Rhodes, Greece on June 20–22, 2022. The book presents and discusses the latest research results and generates new ideas in the field of intelligent decision-making. The range of topics discussed are classification, prediction, data analysis, big data, data science, decision support, knowledge engineering, and modeling in diverse areas such as finance, cybersecurity, economics, health, management, and transportation. The problems in Industry 4.0 and IoT are also addressed. The book contains several sections devoted to specific topics, such as intelligent data processing and its applications, high-dimensional data analysis and its applications, multi-criteria decision analysis—theory and applications, large-scale systems for intelligent decision-making and knowledge engineering, decision technologies and related topics in big data analysis of social and financial issues, and decision-making theory for economics.

This book gathers a collection of selected works and new research results of scholars and graduate students presented at the 6th International Conference on Artificial Intelligence and Virtual Reality (AIVR 2022) via the Internet, during July 22-24 2022, hosted and organized by Sojo University in conjunction with other three universities and Beijing Huaxia Rongzhi Blockchain Technology Institute. The focus of the book is interdisciplinary in nature and includes research on all aspects of artificial intelligence and virtual reality, from fundamental development to the applied system. The book covers topics such as system techniques, performance, and implementation; content creation and modelling; cognitive aspects, perception, user behaviour; AI technologies; interactions, interactive and responsive environments; AI/VR applications and case studies.

The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2021, held in Nantes, France, in September 2021.* The 378 papers presented were carefully reviewed and selected from 529 submissions. They discuss artificial intelligence techniques, decision aid and new and renewed paradigms for sustainable and resilient production systems at four-wall factory and value chain levels. The papers are organized in the following topical sections: Part I: artificial intelligence based optimization techniques for demand-driven manufacturing; hybrid approaches for production planning and scheduling; intelligent systems for manufacturing planning and control in the industry 4.0; learning and robust decision support systems for agile manufacturing environments; low-code and model-driven engineering for production system; meta-heuristics and optimization techniques for energy-oriented manufacturing systems; metaheuristics for production systems; modern analytics and new AI-based smart techniques for replenishment and production planning under uncertainty; system identification for manufacturing control applications; and the future of lean thinking and practice Part II: digital transformation of SME manufacturers: the crucial role of standard; digital transformations towards supply chain resiliency; engineering of smart-product-service-systems of the future; lean and Six Sigma in services healthcare; new trends and challenges in reconfigurable, flexible or agile production system; production management in food supply chains; and sustainability in production planning and lot-sizing Part III: autonomous robots in delivery logistics; digital transformation approaches in production management; finance-driven supply chain; gastronomic service system design; modern scheduling and applications in industry 4.0; recent advances in sustainable manufacturing; regular session: green production and circularity concepts; regular session: improvement models and methods for green and innovative systems; regular session: supply chain and routing management; regular session: robotics and human aspects; regular session: classification and data management methods; smart supply chain and production in society 5.0 era; and supply chain risk management under coronavirus Part IV: AI for resilience in global supply chain networks in the context of pandemic disruptions; blockchain in the operations and supply chain management; data-based services as key enablers for smart products, manufacturing and assembly; data-driven methods for supply chain optimization; digital twins based on systems engineering and semantic modeling; digital twins in companies first developments and future challenges; human-centered artificial intelligence in smart manufacturing for the operator 4.0; operations management in engineer-to-order manufacturing; product and asset life cycle management for smart and sustainable manufacturing systems; robotics technologies for control, smart manufacturing and logistics; serious games analytics: improving games and learning support; smart and sustainable production and supply chains; smart methods and techniques for sustainable supply chain management; the new digital lean manufacturing paradigm; and the role of emerging technologies in disaster relief operations: lessons from COVID-19 Part V: data-driven platforms and applications in production and logistics: digital twins and AI for sustainability; regular session: new approaches for routing problem solving; regular session: improvement of design and operation of manufacturing systems; regular session: crossdock and transportation issues; regular session: maintenance improvement and lifecycle management; regular session: additive manufacturing and mass customization; regular session: frameworks and conceptual modelling for systems and services efficiency; regular session: optimization of production and transportation systems; regular session: optimization of supply chain agility and reconfigurability; regular session: advanced modelling approaches; regular session: simulation and optimization of systems performances; regular session: AI-based approaches for quality and performance improvement of production systems; and regular session: risk and performance management of supply chains *The conference was held online.

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers. The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists who dedicated himself to understanding the use of alternative logic in the various issues of AI, ranging from its foundations to concrete applications and philosophical reflections.

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.