inference engines

From: Alex Parshikov
Subject: inference engines
Date: Tue, 06 May 2003 16:37:53 +0000
Message-ID: <vbfg5n9r7215fa@corp.supernews.com>

hello.

Can anyone recommend some online tutorials or something that would explain
how to write a simple modus ponens inference engine in LISP?  Code examples
would be great.

Thank you.

Re: inference engines William Halliburton
- Re: inference engines Alex Parshikov
Re: inference engines Thomas A. Russ

From: William Halliburton
Subject: Re: inference engines
Date: Thu, 08 May 2003 18:43:58 +0000
Message-ID: <QhmdnYrzo_PtOCejXTWcpw@speakeasy.net>

I just completed a class on inference engines and truth maintenance systems.

Web page for class is
http://www.cc.gatech.edu/classes/AY2003/cs7613_spring/

Not much explanation on the web page but the code section has lots of
examples.

Alex Parshikov wrote:
> hello.
> 
> Can anyone recommend some online tutorials or something that would explain
> how to write a simple modus ponens inference engine in LISP?  Code examples
> would be great.
> 
> Thank you.
> 
>

From: Alex Parshikov
Subject: Re: inference engines
Date: Fri, 09 May 2003 17:40:49 +0000
Message-ID: <vbnh8kn1tiuja5@corp.supernews.com>

thanks.

From: Thomas A. Russ
Subject: Re: inference engines
Date: Fri, 09 May 2003 19:50:29 +0000
Message-ID: <ymi4r43oq62.fsf@sevak.isi.edu>

"Alex Parshikov" <··········@nowhere.com> writes:

> 
> hello.
> 
> Can anyone recommend some online tutorials or something that would explain
> how to write a simple modus ponens inference engine in LISP?  Code examples
> would be great.
> 
> Thank you.

Take a look at Peter Norvig's book "Paradigms of AI Programming".  It
shows you how to build a number of interesting AI reasoning tools using
Common Lisp.  I think that the code is available on-line.  Try looking
at http://www.norvig.com/

-- 
Thomas A. Russ,  USC/Information Sciences Institute          ···@isi.edu