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 message: [ Message body ]
Next message: Christian De Sainte Marie: "Re: AW: (PRD) Safeness and the semantics of conditions"
Previous message: Christian De Sainte Marie: "Re: [PRD] proof that model theory of conditions != matching substitution semantics"
In reply to: Christian De Sainte Marie: "(PRD) Safeness and the semantics of conditions (Was: Re: [PRD] proof that model theory of conditions != matching substitution semantics)"
Next in thread: Christian De Sainte Marie: "Re: AW: (PRD) Safeness and the semantics of conditions"
Reply: Christian De Sainte Marie: "Re: AW: (PRD) Safeness and the semantics of conditions"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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