Common Lisp Reasoner 3.3.2

Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language
The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language and support a variety of practical AI-related search and reasoning tasks, including scheduling, planning, diagnosis and predictive reasoning.

The Common Lisp Reasoner project aims to create a practical technology that exploits the synergy between its three major components to make AI-related applications, such as diagnosis and scheduling, easier to develop.

These components are:
■ A portable extension of the Common Lisp Object System (CLOS)
■ The Assumption-Based Truth-Maintenance System (ATMS) of de Kleer
■ A rule language comprising non-directional constraints as well as unidirectional rules

last updated on:
May 15th, 2014, 20:40 GMT
file size:
168 KB
price:
FREE!
developed by:
William Hounslow
license type:
GPL 
operating system(s):
Mac OS X
binary format:
Universal Binary
category:
Home \ Developer Tools

FREE!

In a hurry? Add it to your Download Basket!

user rating 10

UNRATED
3.2/5
 

0/5

What's New in This Release:
  • Performance improvements to ATMS and class consumer (i.e., rule) invokation
  • Class consumer parallelism extended to embrace multiple ATMS nodes (when initiated via nschedule)
  • Temporary nodes are deleted and their justifications reused
  • Integration with Closer to MOP (see above)
read full changelog

Add your review!

SUBMIT