Common Lisp Reasoner 3.4

A free project that extends the Common Lisp Object System (CLOS) to incorporate a rule language serializing and deserializing RDF/XML
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:
170 KB
price:
FREE!
license type:
GPL 
developed by:
William Hounslow
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Developer Tools
Common Lisp Reasoner
Download Button

In a hurry? Add it to your Download Basket!

user rating 10

3.2/5
 

0/5

Rate it!
What's New in This Release:
  • Changes:
  • Faster checking for nogoods when adding assumptions during backtracking search
  • More robust deserialization, including support for:
read full changelog

Add your review!

SUBMIT