ISSUE-65: What halting test should PRD cover?

FINAL

What halting test should PRD cover?

State:

CLOSED

Product:

PRD

Raised by:

Christian de Sainte Marie

Opened on:

2008-06-20

Description:

Due to the action part in the rules, and the Retract in particular, the semantics of production rule systems that PRD covers does not guarantee that the execution of an arbitrary ruleset halts by starvation (that is, by the absence of further rule instances to fire). OMG PRR does not specify any halting test, only mentioning in the description of the semantics that the cycle "is repeated until some state is met".
- Should starvation be the only halting test covered by PRD (in which case the question of halting is pushed to ISSUE-63: PICK) or should other halting test be covered as well?
- If not only starvation: what halting test should be covered? What combination?
- How should the intended halting test be notified to a RIF consumer?

Related Actions Items:

No related actions

Related emails:

1. [Admin] RIF telecon minutes, 10 Feb 2009 (from cleo@us.ibm.com on 2009-02-10)
2. [Admin] Agenda for RIF telecon February 10 (from csma@ilog.fr on 2009-02-09)
3. RE: [PRD] PRD TF telecon --> issues 63/65/62/66 comments (from pvincent@tibco.com on 2009-02-03)
4. [PRD] PRD TF telecon Tuesday 3 February (from csma@ilog.fr on 2009-02-02)
5. AW: ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ] (from adrian.paschke@biotec.tu-dresden.de on 2008-06-24)
6. Re: ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ] (from gary.hallmark@oracle.com on 2008-06-23)
7. RE: ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ] (from pvincent@tibco.com on 2008-06-20)
8. ISSUE-65 (FINAL): What halting test should PRD cover? [PRD ] (from sysbot+tracker@w3.org on 2008-06-20)

Related notes:

Display change log