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 <[EMAIL PROTECTED]>
Sent by: [EMAIL PROTECTED]
03/05/2008 01:13 PM
To
"Mr.SpOOn" <[EMAIL PROTECTED]>
cc
commonmusic-Mailing-List music <[email protected]>
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.
