From: Alejandro Guerra
Subject: logical consequence in Lisp
Date: Mon, 20 Jan 2003 01:53:24 +0000
Message-ID: <newscache$29pz8h$jlk$1@news.tiscali.fr>

Hi,

I was looking for some implementation of a logical consequence function, 
   like the one used in BDI agents, e.g., a function that tests if a 
belief formula (a wff containing variables) is a logical consequence of 
a set of facts (wff without variables). Since many BDI architectures 
have been implemented in Lisp I thought this code should be easy to find 
in internet, but it was not the case. Any help would be really appretiated.

Alejandro Guerra

From: Pascal Bourguignon
Subject: Re: logical consequence in Lisp
Date: Tue, 21 Jan 2003 16:35:44 +0000
Message-ID: <87bs2a795r.fsf@thalassa.informatimago.com>

Alejandro Guerra <···@lipn.univ-paris13.fr> writes:

> Hi,
> 
> I was looking for some implementation of a logical consequence
> function,  like the one used in BDI agents, e.g., a function that
> tests if a belief formula (a wff containing variables) is a logical
> consequence of a set of facts (wff without variables). Since many BDI
> architectures have been implemented in Lisp I thought this code should
> be easy to find in internet, but it was not the case. Any help would
> be really appretiated.
> 
> Alejandro Guerra
> 

Check the CMU AI Repository:
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/intro.html

-- 
__Pascal_Bourguignon__                   http://www.informatimago.com/
----------------------------------------------------------------------
There is a fault in reality. Do not adjust your minds. -- Salman Rushdie