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 UAA02649; Thu, 25 Jul 2002 20:16:06 +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 UAA02954 for ; Thu, 25 Jul 2002 20:16:04 +0200 (MET DST) Received: from dewberry.cc.columbia.edu (dewberry.cc.columbia.edu [128.59.59.68]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6PIG3T04217 for ; Thu, 25 Jul 2002 20:16:03 +0200 (MET DST) Received: from there (tw304h3.cpmc.columbia.edu [156.111.84.180]) by dewberry.cc.columbia.edu (8.9.3/8.9.3) with SMTP id OAA07085; Thu, 25 Jul 2002 14:16:00 -0400 (EDT) Message-Id: <200207251816.OAA07085@dewberry.cc.columbia.edu> Content-Type: text/plain; charset="iso-8859-1" From: Oleg To: sajuma@utu.fi Subject: Re: [Caml-list] Rule based language Date: Thu, 25 Jul 2002 14:16:22 -0400 X-Mailer: KMail [version 1.3.2] Cc: caml-list@inria.fr References: <1027549877.3d3f2ab5bff5c@webmail.utu.fi> <200207250626.CAA03249@dewberry.cc.columbia.edu> <1027603825.3d3ffd7192c8d@webmail.utu.fi> In-Reply-To: <1027603825.3d3ffd7192c8d@webmail.utu.fi> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thursday 25 July 2002 09:30 am, sajuma@utu.fi wrote: > ruleset: 1 is a => 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. I'm glad we straightened this out. In my program "a", "b", etc. are logical variables "and" is logical AND (aka "multiplication") "=>" is logical inference Cheers, Oleg ------------------- 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