Since the publication of the first edition of this book, advances in algorithms, logic and software tools have transformed the field of data fusion. The latest edition covers these areas as well as smart agents, human computer interaction, cognitive aides to analysis and data system fusion control. Besides aiding you in selecting the appropriate algorithm for implementing a data fusion system, this book guides you through the process of determining the trade-offs among competing data fusion algorithms, selecting commercial off-the-shelf (COTS) tools, and understanding when data fusion improves systems processing. Completely new chapters in this second edition explain data fusion system control, DARPA's recently developed TRIP model, and the latest applications of data fusion in data warehousing and medical equipment, as well as defence systems.

Natural Language is not only the most important means of communication between human beings, it is also used over historical periods for the pres- vation of cultural achievements and their transmission from one generation to the other. During the last few decades, the ?ood of digitalized information has been growing tremendously. This tendency will continue with the globali- tion of information societies and with the growing importance of national and international computer networks. This is one reason why the theoretical und- standing and the automated treatment of communication processes based on natural language have such a decisive social and economic impact. In this c- text, the semantic representation of knowledge originally formulated in natural language plays a central part, because it connects all components of natural language processing systems, be they the automatic understanding of natural language (analysis), the rational reasoning over knowledge bases, or the g- eration of natural language expressions from formal representations. This book presents a method for the semantic representation of natural l- guage expressions (texts, sentences, phrases, etc. ) which can be used as a u- versal knowledge representation paradigm in the human sciences, like lingu- tics, cognitive psychology, or philosophy of language, as well as in com- tational linguistics and in arti?cial intelligence. It is also an attempt to close the gap between these disciplines, which to a large extent are still working separately.

Through Silicon Via (TSV) is a key technology for realizing three-dimensional integrated circuits (3D ICs) for future high-performance and low-power systems with small form factors. This book covers both qualitative and quantitative approaches to give insights of modeling TSV in a various viewpoints such as signal integrity, power integrity and thermal integrity. Most of the analysis in this book includes simulations, numerical modelings and measurements for verification. The author and co-authors in each chapter have studied deep intoTSV for many years and the accumulated technical know-hows and tips for related subjects are comprehensively covered."

Faithful communication is a necessary precondition for large-scale quantum information processing and networking, irrespective of the physical platform. Thus, the problems of quantum-state transfer and quantum-network engineering have attracted enormous interest over the last years, and constitute one of the most active areas of research in quantum information processing. The present volume introduces the reader to fundamental concepts and various aspects of this exciting research area, including links to other related areas and problems. The implementation of state-transfer schemes and the engineering of quantum networks are discussed in the framework of various quantum optical and condensed matter systems, emphasizing the interdisciplinary character of the research area. Each chapter is a review of theoretical or experimental achievements on a particular topic, written by leading scientists in the field. The volume aims at both newcomers as well as experienced researchers.

I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher and a sounding board for new ideas, Mike was extremely helpful in pointing out Haws, and suggesting new directions to explore. I would also like to thank Harold Brown for introducing me to the application of artificial intelligence to reasoning about designs, and his many valuable comments as a reader of this thesis. Significant contribu tions by the other members of my reading committee, Mark Horowitz, and Allen Peterson have greatly improved the content and organization of this thesis by forcing me to communicate my ideas more clearly. I am extremely grateful to the other members of the Logic Group at the Heuristic Programming Project for being a sounding board for my ideas, and providing useful comments. In particular, I would like to thank Matt Ginsberg, Vineet Singh, Devika Subramanian, Richard Trietel, Dave Smith, Jock Mackinlay, and Glenn Kramer for their pointed criticisms. This research was supported by Schlumberger Palo Alto Research (previously Fairchild Laboratory for Artificial Intelligence). I am grateful to Peter Hart, the former head of the AI lab, and his successor Marty Tenenbaum for providing an excellent environment for performing this research."

Global networks, which are the primary pillars of the modern manufacturing industry and supply chains, can only cope with the new challenges, requirements and demands when supported by new computing and Internet-based technologies. Cloud Manufacturing: Distributed Computing Technologies for Global and Sustainable Manufacturing introduces a new paradigm for scalable service-oriented sustainable and globally distributed manufacturing systems. The eleven chapters in this book provide an updated overview of the latest technological development and applications in relevant research areas. Following an introduction to the essential features of Cloud Computing, chapters cover a range of methods and applications such as the factors that actually affect adoption of the Cloud Computing technology in manufacturing companies and new geometrical simplification method to stream 3-Dimensional design and manufacturing data via the Internet. This is further supported case studies and real life data for Waste Electrical and Electronic Equipment (WEEE) remanufacturing. This compilation of up to date research and literature can be used as a textbook or reference for mechanical, manufacturing, and computer engineering graduate students and researchers for efficient utilization, deployment and development of distributed and Cloud manufacturing systems, services and applications.

With this book, Onn Shehory and Arnon Sturm, together with further contributors, introduce the reader to various facets of agent-oriented software engineering (AOSE). They provide a selected collection of state-of-the-art findings, which combines research from information systems, artificial intelligence, distributed systems and software engineering and covers essential development aspects of agent-based systems.

The book chapters are organized into five parts. The first part introduces the AOSE domain in general, including introduction to agents and the peculiarities of software engineering for developing MAS. The second part describes general aspects of AOSE, like architectural models, design patterns and communication. Next, part three discusses AOSE methodologies and associated research directions and elaborates on Prometheus, O-MaSE and INGENIAS. Part four then addresses agent-oriented programming languages. Finally, the fifth part presents studies related to the implementation of agents and multi-agent systems.

The book not only provides a comprehensive review of design approaches for specifying agent-based systems, but also covers implementation aspects such as communication, standards and tools and environments for developing agent-based systems. It is thus of interest to researchers, practitioners and students who are interested in exploring the agent paradigm for developing software systems.

Combinatorial optimization is the process of finding the best, or optimal, so lution for problems with a discrete set of feasible solutions. Applications arise in numerous settings involving operations management and logistics, such as routing, scheduling, packing, inventory and production management, lo cation, logic, and assignment of resources. The economic impact of combi natorial optimization is profound, affecting sectors as diverse as transporta tion (airlines, trucking, rail, and shipping), forestry, manufacturing, logistics, aerospace, energy (electrical power, petroleum, and natural gas), telecommu nications, biotechnology, financial services, and agriculture. While much progress has been made in finding exact (provably optimal) so lutions to some combinatorial optimization problems, using techniques such as dynamic programming, cutting planes, and branch and cut methods, many hard combinatorial problems are still not solved exactly and require good heuristic methods. Moreover, reaching "optimal solutions" is in many cases meaningless, as in practice we are often dealing with models that are rough simplifications of reality. The aim of heuristic methods for combinatorial op timization is to quickly produce good-quality solutions, without necessarily providing any guarantee of solution quality. Metaheuristics are high level procedures that coordinate simple heuristics, such as local search, to find solu tions that are of better quality than those found by the simple heuristics alone: Modem metaheuristics include simulated annealing, genetic algorithms, tabu search, GRASP, scatter search, ant colony optimization, variable neighborhood search, and their hybrids."

Data Mining is the process of posing queries and extracting useful information, patterns and trends previously unknown from large quantities of data [Thu, 00]. It is the process where intelligent tools are applied in order to extract data patterns [JM, 01]. This encompasses a number of different technical approaches, such as cluster analysis, learning classification and association rules, and finding dependencies. Agents are defined as software entities that perform some set of tasks on behalf of users with some degree of autonomy. This research work deals about developing a automated data mining system which encompasses the familiar data mining algorithms using intelligent agents in object oriented databases and proposing a framework. Because the data mining system uses the intelligent agents, a new user will be able to interact with the data mining system without much data mining technical knowledge. This system will automatically select the appropriate data mining technique and select the necessary field needed from the database at the appropriate time without expecting the users to specify the specific technique and the parameters. Also a new framework is proposed for incorporating intelligent agents with automated data mining. One of the major goals in developing this system is to give the control to the computer for learning automatically by using intelligent agents.

Intelligent systems enhance the capacities made available by the internet and other computer-based technologies. This book is devoted to various aspects of the management of intelligent systems. Particular attention is paid to situations in which the available information and data may be imprecise, uncertain, incomplete or of linguistic nature. Various methods developed to manage such information are discussed in the context of several domains of application. Topics included in the book include preference modelling and decision making, learning, clustering and data mining, information retrieval. The paradigm of computing with words is also addressed.

Intelligent systems enhance the capacities made available by the internet and other computer-based technologies. This book deals with the theory behind the solutions to difficult problems in the construction of intelligent systems. Particular attention is paid to situations in which the available information and data may be imprecise, uncertain, incomplete or of linguistic nature. Various methodologies for these cases are discussed, among which are probabilistic, possibilistic, fuzzy, logical, evidential and network-based frameworks. One purpose of the book is to consider how these methods can be used cooperatively. Topics included in the book include fundamental issues in uncertainty, the rapidly emerging discipline of information aggregation, neural networks, bayesian networks and other network methods, as well as logic-based systems.

3. Textbook for a course in expert systems, if an emphasis is placed on Chapters 1 to 3 and on a selection of material from Chapters 4 to 7. There is also the option of using an additional commercially available sheU for a programming project. In assigning a programming project, the instructor may use any part of a great variety of books covering many subjects, such as car repair. Instructions for mostofthe "weekend mechanic" books are close stylisticaUy to expert system rules. Contents Chapter 1 gives an introduction to the subject matter; it briefly presents basic concepts, history, and some perspectives ofexpert systems. Then itpresents the architecture of an expert system and explains the stages of building an expert system. The concept of uncertainty in expert systems and the necessity of deal ing with the phenomenon are then presented. The chapter ends with the descrip tion of taxonomy ofexpert systems. Chapter 2 focuses on knowledge representation. Four basic ways to repre sent knowledge in expert systems are presented: first-order logic, production sys tems, semantic nets, and frames. Chapter 3 contains material about knowledge acquisition. Among machine learning techniques, a methodofrule learning from examples is explained in de tail. Then problems ofrule-base verification are discussed. In particular, both consistency and completeness oftherule base are presented."

Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.

Intelligent technologies are the essential factors of innovation, and enable the industry to overcome technological limitations and explore the new frontiers. Therefore it is necessary for scientists and practitioners to cooperate and inspire each other, and use the latest research results in creating new designs and products. The idea of this book came out with the industrial workshop organized at the ISMIS conference in Warsaw, 2011. The book covers several applications of emerging, intelligent technologies in various branches of the industry. The contributions describe modern intelligent tools, algorithms and architectures, which have the potential to solve real problems, experienced by practitioners in various industry sectors. We hope this volume will show new directions for cooperation between science and industry and will facilitate efficient transfer of knowledge in the area of intelligent information systems.

Bettina Büchel explores the relationship between information technology and organizations from a range of perspectives, with special focus on the managerial implications stemming from this relationship. She draws on organizational theory, management science and computer science, and case studies from companies in Europe and Asia.

The International Workshop on "Human Interaction with Machines" is the sixth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on "Artificial Intelligence" and was continued with the International Workshop on "Advanced Software Technology" in 1994. Both workshops have been hosted by Shanghai Jiaotong University. In 1998 the third wo- shop took place in Berlin. This International Workshop on "Communi- tion Based Systems" was essentially based on results from the Graduiertenkolleg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth Int- national Workshop on "Robotics and its Applications" was held in Sha- hai in 2000. The fifth International Workshop on "The Internet Challenge: Technology and Applications" was hosted by TU Berlin in 2002."

The goal of this book is to crystallize the emerging mobile computing technologies and trends by focusing on the most promising solutions in services computing. The book will provide clear proof that mobile technologies are playing an increasingly important and critical role in supporting toy computing. The goal of this book is to bring together academics and practitioners to describe the use and synergy between the above-mentioned technologies. This book is intended for researchers and students working in computer science and engineering, as well as toy industry technology providers, having particular interests in mobile services.

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. Computer-Aided Reasoning: ACL2 Case Studies is meant for two audiences: those looking for innovative ways to design, build, and maintain hardware and software systems faster and more reliably, and those wishing to learn how to do this. The former audience includes project managers and students in survey-oriented courses. The latter audience includes students and professionals pursuing rigorous approaches to hardware and software engineering or formal methods. Computer-Aided Reasoning: ACL2 Case Studies can be used in graduate and upper-division undergraduate courses on Software Engineering, Formal Methods, Hardware Design, Theory of Computation, Artificial Intelligence, and Automated Reasoning. The book is divided into two parts. Part I begins with a discussion of the effort involved in using ACL2. It also contains a brief introduction to the ACL2 logic and its mechanization, which is intended to give the reader sufficient background to read the case studies. A more thorough, textbook introduction to ACL2 may be found in the companion book, Computer-Aided Reasoning: An Approach. The heart of the book isPart II, where the case studies are presented. The case studies contain exercises whose solutions are on the Web. In addition, the complete ACL2 scripts necessary to formalize the models and prove all the properties discussed are on the Web. For example, when we say that one of the case studies formalizes a floating-point multiplier and proves it correct, we mean that not only can you read an English description of the model and how it was proved correct, but you can obtain the entire formal content of the project and replay the proofs, if you wish, with your copy of ACL2. ACL2 may be obtained from its home page, http: //www.cs.utexas.edu/users/moore/acl2. The results reported in each case study, as ACL2 input scripts, as well as exercise solutions for both books, are available from this page.

This book presents the reader with a complete and comprehensive picture of what is happening today in banks and other financial institutions in terms of expert systems implementation. In addition it helps in refining the reader's thoughts on how to build an environment for the successful implementation of expert systems in banking - and how to sell this concept to management including risks and opportunities.

Cooperative working environments and their development are becoming increasingly important and ever more frequent in different industrial sectors and this book provides a scientific approach for managing Team Engineering. Meta-cognitive knowledge and networks are identified as the key resources enabling engineering teams to work effectively and to reduce engineering time and this book illustrates how computer support can aid cooperative work within the context of practical methodologies and examples. The fields covered in the book include: State-of-the-art research in cooperative learning tools; Practical examples and methodologies illustrating the implementation of cooperative networks; and An interdisciplinary approach to team engineering. This valuable new book is sponsored by the International Federation for Information Processing (IFIP) and will be essential reading for researchers, engineers, technical managers involved in the development of advanced applications for engineering and manufacturing, and software design and engineering.

This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality. The book consists of three parts that logically build upon each other. Part I "Product Engineering of Complex Cyber-Physical Systems" discusses the structure and behavior of engineering organizations producing complex cyber-physical systems, providing insights into processes and engineering activities, and highlighting the requirements and border conditions for secure and high-quality engineering. Part II "Engineering Quality Improvement" addresses quality improvements with a focus on engineering data generation, exchange, aggregation, and use within an engineering organization, and the need for proper data modeling and engineering-result validation. Lastly, Part III "Engineering Security Improvement" considers security aspects concerning C-CPS engineering, including engineering organizations' security assessments and engineering data management, security concepts and technologies that may be leveraged to mitigate the manipulation of engineering data, as well as design and run-time aspects of secure complex cyber-physical systems. The book is intended for several target groups: it enables computer scientists to identify research issues related to the development of new methods, architectures, and technologies for improving quality and security in multi-disciplinary engineering, pushing forward the current state of the art. It also allows researchers involved in the engineering of C-CPS to gain a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in their future research and development activities. Lastly, it offers practicing engineers and managers with engineering backgrounds insights into the benefits and limitations of applicable methods, architectures, and technologies for selected use cases.

Innovation, agility, and coordination are paramount in the support of value in the global knowledge economy. Therefore, the long-term success of a company is increasingly dependent on its underlying resilience and agility. ""Knowledge Reuse and Agile Processes"" addresses flexibility of both business and information systems through component technology at the nexus of three seemingly unrelated disciplines: service-oriented architecture, knowledge management, and business process management. Providing practitioners and academicians with timely, compelling research on agile, adaptive processes and information systems, this premier reference source will enhance the collection of every reference library.

Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh 1975]a). The aim of this theory is to formalize the "approximate reasoning" we use in everyday life, the object of investigation being the human aptitude to manage vague properties (as, for example, "beautiful," "small," "plausible," "believable," etc. ) that by their own nature can be satisfied to a degree different from 0 (false) and I (true). It is worth noting that the traditional deductive framework in many-valued logic is different from the one adopted in this book for fuzzy logic: in the former logics one always uses a "crisp" deduction apparatus, producing crisp sets of formulas, the formulas that are considered logically valid. By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses). Approximate reasoning has generated a very interesting literature in recent years. However, in spite of several basic results, in our opinion, we are still far from a satisfactory setting of this very hard and mysterious subject. The aim of this book is to furnish some theoretical devices and to sketch a general framework for fuzzy logic. This is also in accordance with the non Fregean attitude of the book."