Advances in Technological Applications of Logical and Intelligent Systems

Selected Papers from the Sixth Congress on Logic Applied to Technology

Share
Advances in Technological Applications of Logical and Intelligent Systems
Editors
Lambert-Torres, G., Abe, J.M., Da Silva Filho, J.I., Martins, H.G.
Pub. date
December 2008
Pages
296
Binding
hardcover
Volume
186 of Frontiers in Artificial Intelligence and Applications
ISBN print
978-1-58603-936-3
ISBN online
978-1-60750-380-4
Subject
Artificial Intelligence, Computer & Communication Sciences
€115 / US$167 Excl. VAT
Order Advances in Technological Applications of Logical and Intelligent Systems ISBN @ €115.00
Order Ebook

In the twentieth century, logic finally found a number of important applications and various new areas of research originated then, especially after the development of computing and the progress of the correlated domains of knowledge (artificial intelligence, robotics, automata, logical programming, hyper-computation, etc.). This happened not only in the field of classical logics, but also in the general field of non-classical logics. This reveals an interesting trait of the history of logic: despite its theoretical character, it constitutes, at present, an extraordinarily important tool in all domains of knowledge, in the same way as philosophy, mathematics, natural science, the humanities and technology. Moreover, certain new logics were inspired by the needs of specific areas of knowledge, and various new techniques and methods have been created, in part influenced and guided by logical views. Advances in Technological Applications of Logical and Intelligent Systems contains papers on relevant technological applications of logical methods and some of their extensions and gives a clear idea of some current applications of logical (and similar) methods to numerous problems, including relevant new concepts and results, in particular those related to paraconsistent logic. This book is of interest to a wide audience: pure logicians, applied logicians, mathematicians, philosophers and engineers.