W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

AW: (PRD) Safeness and the semantics of conditions

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Thu, 28 May 2009 16:26:56 +0200
To: "'Christian De Sainte Marie'" <csma@fr.ibm.com>, "'Gary Hallmark'" <gary.hallmark@gmail.com>
Cc: "'RIF WG'" <public-rif-wg@w3.org>
Message-ID: <025b01c9dfa0$5affba40$10ff2ec0$@paschke@gmx.de>
 

We don't have any recursion in forward-chaining PRD and define condition
satisfaction on the basis of a state of the fact base (a Herbrand
interpretation) which is a set of ground atomic formulas, i.e. negated
formulas are also ground as well as list formulas.

 

-Adrian
Received on Thursday, 28 May 2009 14:27:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT