Verification and Validation of Rule-Based Expert Systems


Book Description

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques or tools be created because of the uniqueness of rule-based expert systems. Verification and Validation of Rule-Based Expert Systems is a valuable reference for electrical engineers, software engineers, artificial intelligence experts, and computer scientists involved with object-oriented development, expert systems, and programming languages.




Universal Access in Human-Computer Interaction. Design for All and EInclusion


Book Description

The four-volume set LNCS 6765-6768 constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences addressing the latest research and development efforts and highlighting the human aspects of design and use of computing systems. The 57 revised papers included in the first volume were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: design for all methods and tools; Web accessibility: approaches, methods and tools; multimodality, adaptation and personlization; and eInclusion policy, good practice, legislation and security issues.







Verification, Validation, and Testing of Engineered Systems


Book Description

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consumes about half of the overall engineering cost. Verification, Validation and Testing of Engineered Systems provides a comprehensive compendium of VVT activities and corresponding VVT methods for implementation throughout the entire lifecycle of an engineered system. In addition, the book strives to alleviate the fundamental testing conundrum, namely: What should be tested? How should one test? When should one test? And, when should one stop testing? In other words, how should one select a VVT strategy and how it be optimized? The book is organized in three parts: The first part provides introductory material about systems and VVT concepts. This part presents a comprehensive explanation of the role of VVT in the process of engineered systems (Chapter-1). The second part describes 40 systems' development VVT activities (Chapter-2) and 27 systems' post-development activities (Chapter-3). Corresponding to these activities, this part also describes 17 non-testing systems' VVT methods (Chapter-4) and 33 testing systems' methods (Chapter-5). The third part of the book describes ways to model systems' quality cost, time and risk (Chapter-6), as well as ways to acquire quality data and optimize the VVT strategy in the face of funding, time and other resource limitations as well as different business objectives (Chapter-7). Finally, this part describes the methodology used to validate the quality model along with a case study describing a system's quality improvements (Chapter-8). Fundamentally, this book is written with two categories of audience in mind. The first category is composed of VVT practitioners, including Systems, Test, Production and Maintenance engineers as well as first and second line managers. The second category is composed of students and faculties of Systems, Electrical, Aerospace, Mechanical and Industrial Engineering schools. This book may be fully covered in two to three graduate level semesters; although parts of the book may be covered in one semester. University instructors will most likely use the book to provide engineering students with knowledge about VVT, as well as to give students an introduction to formal modeling and optimization of VVT strategy.




Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies


Book Description

The purpose of this book is to introduce and explain research at the boundary between two fields that view problem solving from different perspectives. Researchers in operations research and artificial intelligence have traditionally remained separate in their activities. Recently, there has been an explosion of work at the border of the two fields, as members of both communities seek to leverage their activities and resolve problems that remain intractable to pure operations research or artificial intelligence techniques. This book presents representative results from this current flurry of activity and provides insights into promising directions for continued exploration. This book should be of special interest to researchers in artificial intelligence and operations research because it exposes a number of applications and techniques, which have benefited from the integration of problem solving strategies. Even researchers working on different applications or with different techniques can benefit from the descriptions contained here, because they provide insight into effective methods for combining approaches from the two fields. Additionally, researchers in both communities will find a wealth of pointers to challenging new problems and potential opportunities that exist at the interface between operations research and artificial intelligence. In addition to the obvious interest the book should have for members of the operations research and artificial intelligence communities, the papers here are also relevant to members of other research communities and development activities that can benefit from improvements to fundamental problem solving approaches.




Industrial Knowledge Management


Book Description

The book presents state of the art practices and research in the area of Knowledge Capture and Reuse in industry. This book demonstrates some of the successful applications of industrial knowledge management at the micro level. The Micro Knowledge Management (MicroKM) is about capture and reuse of knowledge at the operational, shopfloor and designer level. The readers will benefit from different frameworks, concepts and industrial case studies on knowledge capture and reuse. The book contains a number of invited papers from leading practitioners in the field and a small number of selected papers from active researchers. The book starts by providing the foundation for micro knowledge management through knowledge systematisation, analysing the nature of knowledge and by evaluating verification and validation technology for knowledge based system of frameworks for knowledge capture, reuse and development. A number integration are also provided. Web based framework for knowledge capture and delivery is becoming increasingly popular. Evolutionary computing is also used to automate design knowledge capture. The book demonstrates frameworks and techniques to capture knowledge from people, data and process and reuse the knowledge using an appropriate tool in the business. Therefore, the book bridges the gap between the theory and practice. The 'theory to practice' chapter discusses about virtual communities of practice, Web based approaches, case based reasoning and ontology driven systems for the knowledge management. Just-in-time knowledge delivery and support is becoming a very important tool for real-life applications.




Frontiers of Expert Systems


Book Description

"Beginning with the central topics of logic, uncertainty and rule-based reasoning, each chapter in the book presents a different perspective on how we may solve problems that arise due to limitations in the knowledge of an expert system's reasoner.".




Expert Systems


Book Description

Offering an introduction to the field of expert/knowledge based systems, this text covers current and emerging trends as well as future research areas. It considers both the system shell and programming environment approaches to expert system development.;College or university bookshops may order five or more copies at a special student price. Price is available on request.




Managing Expert Systems


Book Description

Managing Expert Systems explores the trends in expert systems development and implementation. As top authorities in the field of ES, Turban and Liebowitz examine the factors that contribute to the development of a successful expert system.




The Handbook of Applied Expert Systems


Book Description

The Handbook of Applied Expert Systems is a landmark work dedicated solely to this rapidly advancing area of study. Edited by Jay Liebowitz, a professor, author, and consultant known around the world for his work in the field, this authoritative source covers the latest expert system technologies, applications, methodologies, and practices. The book features contributions from more than 40 of the world's foremost expert systems authorities in industry, government, and academia. The Handbook is organized into two major sections. The first section explains expert systems technologies while the second section focuses on applied examples in a wide variety of industries. Key topics covered include fuzzy systems, genetic algorithm development, machine learning, knowledge representation, and much more.