[CM] CM and Knowledge Representation
Paul D Reiners
reiners at us.ibm.com
Wed, 5 Mar 2008 15:26:59 -0600
This is a multipart message in MIME format.
--=_alternative 0075FB1686257403_=
Content-Type: text/plain; charset="US-ASCII"
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@uiuc.edu>
Sent by: cmdist-admin@ccrma.Stanford.EDU
03/05/2008 01:13 PM
To
"Mr.SpOOn" <mr.spoon21@gmail.com>
cc
commonmusic-Mailing-List music <cmdist@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.
--=_alternative 0075FB1686257403_=
Content-Type: text/html; charset="US-ASCII"
<br><font size=2 face="sans-serif">Coincidentally, I'm working on forward
and backward chaining myself right now.</font>
<br>
<br><font size=2 face="sans-serif">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:</font>
<br>
<br><font size=2 face="sans-serif"> http://lib.store.yahoo.net/lib/paulgraham/acl2.lisp</font>
<br>
<br><font size=2 face="sans-serif">General information about the book is
here:</font>
<br>
<br><font size=2 face="sans-serif"> http://www.paulgraham.com/acl.html</font>
<br>
<br><font size=2 face="sans-serif">Anyway, if you download acl2.lisp, search
for this comment:</font>
<br>
<br><font size=2 color=#008000 face="Courier New"><i>; *** inf ***</i></font>
<br>
<br><font size=2 face="sans-serif">That's where the inferencing code starts.</font>
<br>
<br><font size=2 face="sans-serif">"Paradigms of Artificial Intelligence
Programming" by Peter Norvig, as mentioned, is also excellent.</font>
<br>
<br><font size=2 face="sans-serif">Paul</font>
<br>
<br>
<br><font size=2 face="sans-serif">==========================================================<br>
hackday|v5 [apr 25, 2008!]: remember, everybody hacks on apr. 25th <br>
http://w4.ibm.com/hackday/<br>
==========================================================</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Heinrich Taube <taube@uiuc.edu></b>
</font>
<br><font size=1 face="sans-serif">Sent by: cmdist-admin@ccrma.Stanford.EDU</font>
<p><font size=1 face="sans-serif">03/05/2008 01:13 PM</font>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">"Mr.SpOOn" <mr.spoon21@gmail.com></font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td><font size=1 face="sans-serif">commonmusic-Mailing-List music <cmdist@ccrma.Stanford.EDU></font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">Re: [CM] CM and Knowledge Representation</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>> Do you know a tutorial/link/whatever to learn
how to do backward<br>
> chaining in Lisp?<br>
> The problem is that the teacher, during the course, covered a lot
of<br>
> arguments, from Lisp, to Prolog, to description logics, to the<br>
> semantic web, so I know very few things about a lot of things. That's<br>
> not useful.<br>
<br>
<br>
</font></tt>
<br>
--=_alternative 0075FB1686257403_=--