Jess in Action


Book Description

Jess in Action first introduces rule programming concepts and teaches you the Jess language. Armed with this knowledge, you then progress through a series of fully-developed applications chosen to expose you to practical rule-based development. The book shows you how you can add power and intelligence to your Java software.




The Way of Z


Book Description

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.




Programming Expert Systems in OPS5


Book Description

Software -- Programming Techniques.




Intelligent Systems


Book Description

Computational intelligence is a well-established paradigm, where new theories with a sound biological understanding have been evolving. The current experimental systems have many of the characteristics of biological computers (brains in other words) and are beginning to be built to perform a variety of tasks that are difficult or impossible to do with conventional computers. As evident, the ultimate achievement in this field would be to mimic or exceed human cognitive capabilities including reasoning, recognition, creativity, emotions, understanding, learning and so on. This book comprising of 17 chapters offers a step-by-step introduction (in a chronological order) to the various modern computational intelligence tools used in practical problem solving. Staring with different search techniques including informed and uninformed search, heuristic search, minmax, alpha-beta pruning methods, evolutionary algorithms and swarm intelligent techniques; the authors illustrate the design of knowledge-based systems and advanced expert systems, which incorporate uncertainty and fuzziness. Machine learning algorithms including decision trees and artificial neural networks are presented and finally the fundamentals of hybrid intelligent systems are also depicted. Academics, scientists as well as engineers engaged in research, development and application of computational intelligence techniques, machine learning and data mining would find the comprehensive coverage of this book invaluable.




AI for Game Developers


Book Description

From the author of "Physics for Game Developers," comes a new, non-threatening introduction to the complex subject of game programming.




Fuzzy Rule-Based Expert Systems and Genetic Machine Learning


Book Description

This book integrates fuzzy rule-languages with genetic algorithms, genetic programming, and classifier systems with the goal of obtaining fuzzy rule-based expert systems with learning capabilities. The main topics are first introduced by solving small problems, then a prototype implementation of the algorithm is explained, and last but not least the theoretical foundations are given. The second edition takes into account the rapid progress in the application of fuzzy genetic algorithms with a survey of recent developments in the field. The chapter on genetic programming has been revised. An exact uniform initialization algorithm replaces the heuristic presented in the first edition. A new method of abstraction, compound derivations, is introduced.




Object-Oriented Construction Handbook


Book Description

Object-oriented programming (OOP) has been the leading paradigm for developing software applications for at least 20 years. Many different methodologies, approaches, and techniques have been created for OOP, such as UML, Unified Process, design patterns, and eXtreme Programming. Yet, the actual process of building good software, particularly large, interactive, and long-lived software, is still emerging. Software engineers familiar with the current crop of methodologies are left wondering, how does all of this fit together for designing and building software in real projects? This handbook from one of the world's leading software architects and his team of software engineers presents guidelines on how to develop high-quality software in an application-oriented way. It answers questions such as: * How do we analyze an application domain utilizing the knowledge and experience of the users? * What is the proper software architecture for large, distributed interactive systems that can utilize UML and design patterns? * Where and how should we utilize the techniques and methods of the Unified Process and eXtreme Programming? This book brings together the best of research, development, and day-to-day project work. "The strength of the book is that it focuses on the transition from design to implementation in addition to its overall vision about software development." -Bent Bruun Kristensen, University of Southern Denmark, Odense




Rule-Based Reasoning, Programming, and Applications


Book Description

This book constitutes the refereed proceedings of the 5th International Symposium on Rules, RuleML 2011 - Europe, held in Barcelona, Spain, in July 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. It is the first of two RuleML events that take place in 2011. The second RuleML Symposium - RuleML 2011 - America - will be held in Fort Lauderdale, FL, USA, in November 2011. The 18 revised full papers, 8 revised short papers and 3 invited track papers presented together with the abstracts of 2 keynote talks were carefully reviewed and selected from 58 submissions. The papers are organized in the following topical sections: rule-based distributed/multi-agent systems; rules, agents and norms; rule-based event processing and reaction rules; fuzzy rules and uncertainty; rules and the semantic Web; rule learning and extraction; rules and reasoning; and rule-based applications.




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.




Rule-Based Programming


Book Description

Rule-Based Programming is a broad presentation of the rule-based programming method with many example programs showing the strengths of the rule-based approach. The rule-based approach has been used extensively in the development of artificial intelligence systems, such as expert systems and machine learning. This rule-based programming technique has been applied in such diverse fields as medical diagnostic systems, insurance and banking systems, as well as automated design and configuration systems. Rule-based programming is also helpful in bridging the semantic gap between an application and a program, allowing domain specialists to understand programs and participate more closely in their development. Over sixty programs are presented and all programs are available from an ftp site. Many of these programs are presented in several versions allowing the reader to see how realistic programs are elaborated from `back of envelope' models. Metaprogramming is also presented as a technique for bridging the `semantic gap'. Rule-Based Programming will be of interest to programmers, systems analysts and other developers of expert systems as well as to researchers and practitioners in artificial intelligence, computer science professionals and educators.