Uncertainty Treatment Using Paraconsistent Logic


Book Description

This book aggregates much of this research, from 1999 up to the present. Organized to facilitate an understanding of the theory and the development of the applied methods, Uncertainty Treatment Using Praconsistent Logic presents the material in a sequential fashion and is divided into three parts.




Anomaly detection using the correlational paraconsistent machine with digital signatures of network segment


Book Description

This study presents the correlational paraconsistent machine (CPM), a tool for anomaly detection that incorporates unsupervised models for traffic characterization and principles of paraconsistency, to inspect irregularities at the network traffic flow level.




Advances in Applied Logics


Book Description

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.




Towards Paraconsistent Engineering


Book Description

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.




Intelligent Decision Technologies 2017


Book Description

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.




Paraconsistent Intelligent-Based Systems


Book Description

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.




Mobile Robots


Book Description

This book consists of 18 chapters divided in four sections: Robots for Educational Purposes, Health-Care and Medical Robots, Hardware - State of the Art, and Localization and Navigation. In the first section, there are four chapters covering autonomous mobile robot Emmy III, KCLBOT - mobile nonholonomic robot, and general overview of educational mobile robots. In the second section, the following themes are covered: walking support robots, control system for wheelchairs, leg-wheel mechanism as a mobile platform, micro mobile robot for abdominal use, and the influence of the robot size in the psychological treatment. In the third section, there are chapters about I2C bus system, vertical displacement service robots, quadruped robots - kinematics and dynamics model and Epi.q (hybrid) robots. Finally, in the last section, the following topics are covered: skid-steered vehicles, robotic exploration (new place recognition), omnidirectional mobile robots, ball-wheel mobile robots, and planetary wheeled mobile robots.




Visual Affect Recognition


Book Description

It is generally known that human faces, as well as body motions and gestures, provide a wealth of information about a person, such as age, race, sex and emotional state. This monograph primarily studies the perception of facial expression of emotion, and secondarily of motion and gestures, with the purpose of developing a fully automated visual affect recognition system for use in modes of human/computer interaction. The book begins with a survey of the literature on emotion perception, followed by a decription of empirical studies conducted with human participants and the construction of a face image database . On the basis of this work, a visual affect recognition system was developed, consisting of two modules: a face detection subsystem and a facia expression recognition subsystem. Details of this system are demonstrated and analyzed, and extensive performance evaluations and test results are provided. Finally, current research avenues leading to visual affect recognition via analysis of body motin and gestures are also discussed."




Innovation in Medicine and Healthcare 2014


Book Description

Advances are constantly being made in the fields of medicine and healthcare, and keeping abreast of them is not always easy. This book presents the proceedings of the second KES International Conference on Innovation in Medicine and Healthcare (InMed 14), held in San Sebastian, Spain, in July 2014. The conference was attended by researchers and engineers, managers, students and practitioners from a broad spectrum of medically related fields, and this multidisciplinary group discussed the ways in which technological and methodological innovation, knowledge exchange and enterprise can be applied to issues relating to medicine, surgery, healthcare and the issues of an ageing population. A central theme of the conference was smart medical and healthcare systems, which explored how modern intelligent systems can contribute to the solution of problems faced by healthcare and medical practitioners today and addressed the application of the systems. The 43 papers included here provided a useful and interesting reference for anyone requiring an overview of current innovations in healthcare.