W3C home > Mailing lists > Public > public-rif-comments@w3.org > March 2011

? on "Eval" function in operational semantics of PRS (RIF-PRD)

From: Ankesh <ankesh@gmail.com>
Date: Fri, 18 Mar 2011 16:59:49 -0400
Message-ID: <AANLkTik8YbC1NXrkxi7E3Z7s=k+4HftxdP58iON3YYN+@mail.gmail.com>
To: public-rif-comments@w3.org
Hi,

I can not follow the definition of the Eval function in section [1]:

Given a rule set RS ⊆ R, the associated conflict resolution strategy, LS,
and halting test, H, and an initial state of the fact base, w ∈ W, the input
function to a RIF-PRD production rule
system<http://www.w3.org/TR/rif-prd/#def-prs> is
defined as:
*Eval(RS, LS, H, w) →PRS s ∈ S*, such that facts(s) = w and previous(s) =
NIL.
Although, *Eval(RS, LS, H, w) →*PRS s'* gives some sense of what Eval(RS,
LS, H, w) is, I am confused by : *Eval(RS, LS, H, w) →PRS s ∈ S*. Can you
please explain?
[1]
http://www.w3.org/TR/rif-prd/#Operational_semantics_of_a_production_rule_system
thanks,ankesh
Received on Monday, 21 March 2011 08:30:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 21 March 2011 08:31:56 GMT