ISSUE-62: Which actions should PRD cover and with what semantics
actions in PRD
Which actions should PRD cover and with what semantics
- State:
- CLOSED
- Product:
- PRD
- Raised by:
- Christian de Sainte Marie
- Opened on:
- 2008-06-20
- Description:
- - The basic actions in a production rule systems are ASSERT, RETRACT, MODIFY;
- Most implemented PR languages have also the possibility to execute some sort of externally specified code;
- In the non-normative PRR-OCL section, OMG PRR specifies five actions: assert, retract, update, assign and invoke.
What are action constructs should we specify in PRD? - Related Actions Items:
- No related actions
- Related emails:
- [PRD] PRD TF telecon Tuesday 10 February (from csma@ilog.fr on 2009-02-09)
- RE: [PRD] PRD TF telecon --> issues 63/65/62/66 comments (from pvincent@tibco.com on 2009-02-03)
- [PRD] PRD TF telecon Tuesday 3 February (from csma@ilog.fr on 2009-02-02)
- RE: [PRD] Action 659 (on hak) completed (from hak@ilog.com on 2008-12-10)
- Re: [PRD] Action 659 (on hak) completed (from csma@ilog.fr on 2008-12-09)
- Re: [Admin] Agenda for F2F11 (from Adrian.Paschke@gmx.de on 2008-09-20)
- AW: ISSUE-62 (actions in PRD): Which actions should PRD cover [PRD ] (from adrian.paschke@biotec.tu-dresden.de on 2008-06-24)
- Re: ISSUE-62 (actions in PRD): Which actions should PRD cover [PRD ] (from gary.hallmark@oracle.com on 2008-06-23)
- [Admin] Agenda for RIF telecon June 24 (from csma@ilog.fr on 2008-06-23)
- RE: ISSUE-62 (actions in PRD): Which actions should PRD cover [PRD ] (from pvincent@tibco.com on 2008-06-20)
- ISSUE-62 (actions in PRD): Which actions should PRD cover [PRD ] (from sysbot+tracker@w3.org on 2008-06-20)
Related notes:
Copied from ISSUE-66 [http://www.w3.org/2005/rules/wg/track/issues/66] when merging issues 62 qnd 66:
- What should is the intended semantics of the actions covered by PRD?
- What when the intended action is the creation or the deletion of an individual (object): is that part of the semantics of Assert/Retract? How?
- If (when) PRD covers some kind of Modify action, how should the intended semantics differ from Retract+Assert?
- Any kind of Execute action is, by definition, opaque: how should its semantics be specified, esp. wrt possible side effects on the state of facts wrt which the semantics of a PR system is specified in PRD?
- etc...
At F2F13 in MIT, the WG resolved to add an execute construct to PRD and finalized the list of actions.
See http://www.w3.org/2005/rules/wg/meeting/2009-04-16#resolution_4
Display change log
