Common Lisp Reasoner is a software system designed to leverage the interplay between its key components to develop practical technology.
The software makes use of CLOS which allows for open-ended extension through the Metaobject Protocol, making it both the implementation language and the kernel of the implemented system. The system is based on sound principles appropriate to the practice of knowledge representation rather than programming, making it easier for developers to create AI applications that are practical and effective.
In reasoning applications, values stored in an instance are accumulated and not replaced. Permitted values are specified in the instance's class and can be other instances, or enumerated ranges of values that may subsequently be narrowed by reasoning activity. Each stored value is encapsulated in an ATMS node, which records the value, its justification (derivation), and the resultant belief states determined by the ATMS in which it holds.
The rule language permits the expression of arbitrarily complex logical sentences. Slot definitions of classes collectively constitute a vocabulary of attributes that can be referred to in rule definitions. Classes and instances provide an efficient means of retrieving rules and the data upon which they operate.
The latest release of Common Lisp Reasoner has been revised to conform to the ANSI Standard, Section 11.1.2.1.2. Package lock violations no longer occur. Automatically-generated reader methods now work in SBCL and should work in more recent releases of Allegro. However, they aren't currently working in clisp.
In conclusion, the Common Lisp Reasoner is a powerful software that simplifies the development of AI-related applications. The three major components work together to provide practicality, and the latest version conforms to the ANSI Standard for better efficiency. It's a great tool for developers looking to create effective AI applications.
Version 1.0.1: N/A