Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Algebraic Framework for Reverse Engineering on Specifications
An Attempt to Express the Semantics of the Adaptive Devices
Temporal Logic Applied in Information Systems
A Heuristic Approach to the Cable Routing Problem in Electrical Panels
Avatars Animation Using Reinforcement Learning in 3D Distributed Dynamic Virtual Environments
Annotated Paraconsistent Logic
Creation of Virtual Environments Through KnowledgeAid Declarative Modeling
Further Results on Multiobjective Evolutionary Search for OneDimensional Density Classifier Cellular Automata and Strategy Analysis of the Rules
Fuzzy Dynamical Model of Epidemic Spreading Taking into Account the Uncertainties in Individual Infectivity
Representations and Solution Techniques to Loss Reduction in Electric Energy Distribution Systems
Intelligent Vehicle Survey and Applications
Paraconsistent Autonomous Mobile Robot Emmy III
Software Development for Underground and Overhead Distribution System Design
Distribution Transformer Technical Losses Estimation with Aggregated Load Curve Analytical Methodology and Artificial Neural Network Approac...
Paraconsistent Logic Applied in Expert System for Support in Electric Transmission Systems ReEstablishment
Other editions - View all
2vAPL agent algebraic analyzed Annotated Paraconsistent Logic application approach architecture Artificial Immune System Artificial Intelligence autonomous vehicles avatar behavior cable cellular automata classical logic classification composed computational conduit configuration connected considered constraint database defined definition Degrees of Belief Disbelief distribution transformer dynamic Electric power elementary adaptive actions epidemic equations evidence degree experiments Expert System Figure function fuzzy GeDA-3D genetic algorithm heuristic IEEE implementation Inconsistent individual infected input intelligent vehicles International IOS Press Itajuba Lambert-Torres lattice learning load method microcontroller mobile robot Modal Logic morphisms multiobjective node objects ontology operation operational semantics optimization ordinary device output Paracomplete Paraconsistent Analysis Paraconsistent Artificial Neural parameters performed possible presented problem proposed proposition Reed-Frost regions representation represented rules São Paulo scenario semantics sensors signals signature solution specification strategy structure techniques temporal database Temporal Logic USCP valid values variable