http://clipsrules.sourceforge.net/
CLIPS is a productive development and delivery expert system tool which provides a complete environment for the construction of rule and/or object based expert systems. Created in 1985, CLIPS is now widely used throughout the government, industry, and academia. Its key features are:
- Knowledge Representation: CLIPS provides a cohesive tool for handling a wide variety of knowledge with support for three different programming paradigms: rule-based, object-oriented and procedural. Rule-based programming allows knowledge to be represented as heuristics, or "rules of thumb," which specify a set of actions to be performed for a given situation. Object-oriented programming allows complex systems to be modeled as modular components (which can be easily reused to model other systems or to create new components). The procedural programming capabilities provided by CLIPS are similar to capabilities found in languages such as C, Java, Ada, and LISP.
- Portability: CLIPS is written in C for portability and speed and has been installed on many different operating systems without code changes. Operating systems on which CLIPS has been tested include Windows XP, MacOS X, and Unix. CLIPS can be ported to any system which has an ANSI compliant C or C++ compiler. CLIPS comes with all source code which can be modified or tailored to meet a user's specific needs.
- Integration/Extensibility: CLIPS can be embedded within procedural code, called as a subroutine, and integrated with languages such as C, Java, FORTRAN and ADA. CLIPS can be easily extended by a user through the use of several well-defined protocols.
- Interactive Development: The standard version of CLIPS provides an interactive, text oriented development environment, including debugging aids, on-line help, and an integrated editor. Interfaces providing features such as pulldown menus, integrated editors, and multiple windows have been developed for the MacOS, Windows XP, and X Window environments.
- Verification/Validation: CLIPS includes a number of features to support the verification and validation of expert systems including support for modular design and partitioning of a knowledge base, static and dynamic constraint checking of slot values and function arguments, and semantic analysis of rule patterns to determine if inconsistencies could prevent a rule from firing or generate an error.
- Fully Documented: CLIPS comes with extensive documentation including a Reference Manual and a User's Guide.
- Low Cost: CLIPS is maintained as public domain software.
The Soar Homepage at University of Michigan
http://sitemaker.umich.edu/soar/home
Soar is a general cognitive architecture for developing systems that exhibit intelligent behavior. Researchers all over the world are using Soar.
Soar Information at Soar Technology, Inc
http://www.soartech.com/research.soar.php
"Soar, the most highly developed rule-based model of human problem-solving..."
from Artificial Intelligence
by Patrick Henry Winston
Professor and Former Director, Artificial Intelligence Laboratory, MIT
Past President, American Association of Artificial Intelligence
Soar is a candidate unified theory of cognition embodied in a computational programming architecture, developed by John Laird, Paul Rosenbloom, and Allen Newell starting in 1982 at Carnegie Mellon University. Its development continues through the efforts of scientists worldwide in the areas of artificial intelligence, cognitive science and human-computer interaction.