ISSUE-66: Operational semantics of actions as covered by PRD?

Semantics of actions

Operational semantics of actions as covered by PRD?

State:

CLOSED

Product:

PRD

Raised by:

Christian de Sainte Marie

Opened on:

2008-06-20

Description:

- 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...

Related Actions Items:

No related actions

Related emails:

1. [PRD] PRD TF telecon Tuesday 10 February (from csma@ilog.fr on 2009-02-09)
2. RE: [PRD] PRD TF telecon --> issues 63/65/62/66 comments (from pvincent@tibco.com on 2009-02-03)
3. [PRD] PRD TF telecon Tuesday 3 February (from csma@ilog.fr on 2009-02-02)
4. Re: [Admin] Agenda for F2F11 (from Adrian.Paschke@gmx.de on 2008-09-20)
5. Draft meeting minutes: 9 Sep 2008 (from der@hplb.hpl.hp.com on 2008-09-09)
6. Re: lmost all RE: production rule object creation actions and frame axioms (from gary.hallmark@oracle.com on 2008-09-08)
7. [Admin] Agenda for RIF telecon Sept 9 (from csma@ilog.fr on 2008-09-08)
8. Re: AW: ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ] (from csma@ilog.fr on 2008-06-27)
9. AW: ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ] (from adrian.paschke@biotec.tu-dresden.de on 2008-06-24)
10. Re: ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ] (from gary.hallmark@ORACLE.COM on 2008-06-23)
11. RE: ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ] (from pvincent@tibco.com on 2008-06-20)
12. ISSUE-66 (Semantics of actions): Operational semantics of actions as covered by PRD? [PRD ] (from sysbot+tracker@w3.org on 2008-06-20)

Related notes:

Display change log