[CM] CM and Knowledge Representation

[Paul D Reiners]

Coincidentally, I'm working on forward and backward chaining myself right 
now.

Anyway, "ANSI Common Lisp" by Paul Graham has a chapter on inference and 
it includes code for backward chaining.  You can download the code from 
here:

        http://lib.store.yahoo.net/lib/paulgraham/acl2.lisp

General information about the book is here:

        http://www.paulgraham.com/acl.html

Anyway, if you download acl2.lisp, search for this comment:

; *** inf ***

That's where the inferencing code starts.

"Paradigms of Artificial Intelligence Programming" by Peter Norvig, as 
mentioned, is also excellent.

Paul


==========================================================
hackday|v5 [apr 25, 2008!]: remember, everybody hacks on apr. 25th 
http://w4.ibm.com/hackday/
==========================================================



Heinrich Taube <taube at uiuc.edu> 
Sent by: cmdist-admin at ccrma.Stanford.EDU
03/05/2008 01:13 PM

To
"Mr.SpOOn" <mr.spoon21 at gmail.com>
cc
commonmusic-Mailing-List music <cmdist at ccrma.Stanford.EDU>
Subject
Re: [CM] CM and Knowledge Representation






> Do you know a tutorial/link/whatever to learn how to do backward
> chaining in Lisp?
> The problem is that the teacher, during the course, covered a lot of
> arguments, from Lisp, to Prolog, to description logics, to the
> semantic web, so I know very few things about a lot of things. That's
> not useful.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://cm-mail.stanford.edu/pipermail/cmdist/attachments/20080305/553913e9/attachment.html>