Logic Based System Modelling

Logic-based System Modelling

Microelectronic Design of Fuzzy Logic-Based Systems

Fuzzy logic has virtually exploded over the landscape of emerging technologies, becoming an integral part of myriad applications and a standard tool for engineers. Until recently, most of the attention and applications have centered on fuzzy systems implemented in software. But these systems are limited. Problems that require real-time operation, low area, or low power consumption demand hardware designed to the fuzzy paradigm - and engineers with the background and skills to design it. Microelectronic Design of Fuzzy Logic-Based Systems offers low-cost answers to issues that software cannot resolve. From the theoretical, architectural, and technological foundation to design tools and applications, it serves as your guide to effective hardware realizations of fuzzy logic. Review fuzzy logic theory and the basic issues of fuzzy sets, operators, and inference mechanisms Explore the trade-offs between efficient theoretical behavior and practical hardware realizations Discover the properties of the possible microelectronic realizations of fuzzy systems - conventional processors, fuzzy coprocessors, and fuzzy chips Investigate the design of fuzzy chips that implement the whole fuzzy inference method into silicon Analyze analog, digital, and mixed-signal techniques Reduce your design effort for fuzzy systems with CAD tools - learn the requirements they should meet and survey current environments. Put it all together - see examples and case studies illustrating how all of this is used to solve particular problems related to control and neuro-fuzzy applications

Logical and Computational Aspects of Model-Based Reasoning

Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.