I Googled "event calculus using Jess" and two of the first five links
are to articles/book chapters by some Russian scientists, explicitly
mentioning their implementation of an event calculus in Jess, so there
do seem to be some resources available.
On Oct 7, 2008, at 3:52 AM, David Pautler wrote:
> Mike Stacey
> Fri, 12 May 2006 18:35:42 -0700
> Hi,
>
> I'm about to implement the Event Calculus in Jess. I need to express
> the predicates and axioms of this formal logic. Any hints before I
> start so that I don't waste too much time exploring dead-ends
would be
> greatly appreciated.
The question above was asked more than two years ago...does anyone
know of an encoding of event calculus using Jess?
(I have contacted Mike separately.)
---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences, Sandia National Laboratories
PO Box 969, MS 9012, Livermore, CA 94550
http://www.jessrules.com
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
