2cnd PRD LC

csma: latest PRD draft added
notion of compound action, introduces notion of simple action
(atomic or compound)
... retract can retract single fact, or whole object
... added form to retract all values for an object on a given
slot (also atomic)
... compound is fixed sequence of atomic actions, single
instance of this is modify, retract all values of slot in frame
then assert new value
... consequent editorial changes - replacing atomic action by
simple action, changing examples etc

csma: avoid changing semantics by
assuming rules normalized to remove disjunctive conditions by
mapping to set of rules with same action part
... also normalize by replacing compound actions by their
atomic actions
... last change, introduce notion of intermediate state of the
transition system
... cycle states are the state after an action block has been
executed, transitional state is state after each atomic action
has been performed

<Harold> RE: Definition
(Production rule system state).

<Harold> "... is either a
system cycle states or a system transitional states. "?

csma: changed concept resolution
to apply in each transitional state, previously only applied to
what is now called the cycle states

<AdrianP> before we had it as
a "true" modify, where the implicit retract does not fire
negated rules

csma: yes, previously an atomic
action now equivalent to a sequence, relevant due to the
transitional states affecting refraction
... the absence of an atomic modify is a problem for some
systems such as jRules, will have to change implementation
substantially

Harold: many people would
distinguish simple v. compound, nomenclature is potentially
confusing

csma: would prefer better wording
but this choice meant least changes to text
... simple actions are simple in terms of syntax, though can
represent an implicit sequence, whereas an action block is an
explicit sequence

<sandro> PROPOSED: Publish
the new draft of PRD as a Last Call WD, after csma changes
simple actions to actions, corrects a few typos, and pending
Adrian's positive review by 6am ET Thursday.

<Harold> +1 (NRC)

<Gary> +1 Oracle

+1

<mdean> +1

<sandro> PROPOSED: Publish
the new draft of PRD as a Last Call WD, after csma changes
simple actions to actions, corrects a few typos, and pending
Adrian's positive review by 6am ET Thursday. (Others are also
free to object by that time, as well.)

<LeoraMorgenstern> +1
(self)

<sandro> last call period to
be minimum, 21 days.,

<sandro> +1

<csma> +1 (IBM)

<ChrisW> +1

<AdrianP> +1 (self)

<mdean> +1

test Case modify/noloop

RESOLUTION: Publish
the new draft of PRD as a Last Call WD, after csma changes
simple actions to actions, corrects a few typos, and pending
Adrian's positive review by 6am ET Thursday. (Others are also
free to object by that time, as well.)

Chris: simply remove test
case?

csma: yes, will also add new test
cases in parallel with last call, being discussed in PRD task
force