From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA02878; Thu, 25 Jul 2002 20:26:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA02745 for ; Thu, 25 Jul 2002 20:26:36 +0200 (MET DST) Received: from host07.ipowerweb.com (host07.ipowerweb.com [12.129.206.107]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6PIQZT04383 for ; Thu, 25 Jul 2002 20:26:35 +0200 (MET DST) Received: from ca-redbch-cuda1-c2b-29.stmnca.adelphia.net ([68.68.192.29] helo=homebox) by host07.ipowerweb.com with asmtp (Exim 3.35 #1) id 17XnIv-0001RB-00; Thu, 25 Jul 2002 11:25:38 -0700 From: "Francois Rouaix" To: "'Oleg'" , Cc: Subject: RE: [Caml-list] Rule based language Date: Thu, 25 Jul 2002 11:29:17 -0700 Organization: rouaix.org Message-ID: <000701c23409$33ea7a70$ca01a8c0@homebox> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2616 In-Reply-To: <200207251816.OAA07085@dewberry.cc.columbia.edu> X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 Importance: Normal X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host07.ipowerweb.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [0 0] / [0 0] X-AntiAbuse: Sender Address Domain - rouaix.org Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Could you guys take your challenge discussions of the Caml list ? At this point it doesn't really have to do with Caml. Maybe when you're done competing and comparing... Thanks, Fran=E7ois Rouaix (310) 316 9529 http://www.rouaix.org/fmr/=20 > -----Original Message----- > From: owner-caml-list@pauillac.inria.fr=20 > [mailto:owner-caml-list@pauillac.inria.fr] On Behalf Of Oleg > Sent: Thursday, July 25, 2002 11:16 AM > To: sajuma@utu.fi > Cc: caml-list@inria.fr > Subject: Re: [Caml-list] Rule based language >=20 >=20 > On Thursday 25 July 2002 09:30 am, sajuma@utu.fi wrote: > > ruleset: 1 is a =3D> b; > > dataset: a; > > goals: g is a and b; > > ------------------------------ > > > > The meaning of Rule 1 is that if "a" is in the dataset, then > > it is removed from the dataset, and "b" is added to the > > dataset. > > > > The meaning of goal "g" is that both "a" and "b" are > > in the dataset after some sequence of rule activations. > > In this case, additive and multiplicate readings are > > different, because it is possible to reach both "a" and "b", > > but they cannot coexists. >=20 > I'm glad we straightened this out. In my program=20 >=20 > "a", "b", etc. are logical variables > "and" is logical AND (aka "multiplication") > "=3D>" is logical inference >=20 > Cheers, > Oleg > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives:=20 > http://caml.inria.fr > Bug reports:=20 > http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >=20 >=20 >=20 ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners