You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
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 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 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.
Contains papers on relevant technological applications of logical methods and some of their extensions and gives an idea of some applications of logical methods to numerous problems, including relevant concepts and results, in particular those related to paraconsistent logic.
The ability to create intelligent machines has intrigued humans since ancient times, and today with the advent of the computer and 50 years of research into AI programming techniques, the dream of smart machines is becoming a reality. The concept of human-computer interfaces has been undergoing changes over the years. In carrying out the most important tasks is the lack of formalized application methods, mathematical models and advanced computer support. The evolution of biological systems to adapt to their environment has fascinated and challenged scientists to increase their level of understanding of the functional characteristics of such systems. This book has 19 chapters and explain that the expert systems are products of the artificial intelligence, branch of computer science that seeks to develop intelligent programs for human, materials and automation.
The first – and long-awaited – major biography of Brazilian president Luiz Inácio Lula da Silva Lula is among the greatest political figures in Brazilian history. The only president in the country with a working-class background, combined with a party that was profoundly original in its roots, he exercised charismatic power and influence in a more lasting way than any other public figure in the republican period. Since 2011, Fernando Morais, one of Brazil's leading writers, has gained direct, frank and frequent access to Lula. To these dozens of hours of testimonies, he has added a reporter's flair and captivating prose to compose a biography that paints a picture in all its grandeur and complexity. In a narrative that makes use of flashforwards and flashbacks to maintain an electrifying pace, Morais goes from Lula's childhood to the annulment of his convictions, in 2021, passing through the new unionism, the ABC strikes, the foundation of the PT and the first election campaign.
A Família Sousa do Sertão Paraibano, 1ª Edição.
O livro retrata a história da conquista dos sertões e suas principais famílias. Trata-se da continuidade do trabalho realizado através das obras "A Família Sousa do Sertão Paraibano" e "A Família Sá do Nordeste Brasileiro".