forget_shared¶
Removes shared commitments for a predicate or a particular proposition. Facts in private beliefs remain unchanged.
<forget_shared predicate="colour"/>
<forget_shared>
<proposition predicate="means_of_transport" value="train"/>
</forget_shared>
Attributes and children¶
| Attribute | Meaning |
|---|---|
predicate | Optional predicate whose shared propositions should be forgotten. |
With predicate and no child, all shared propositions for that predicate are forgotten. Alternatively, provide one proposition child to forget a particular value. Use one form at a time.
Placement and examples¶
Can appear in a plan, postplan, or conditional branch. To clear all shared colour values while retaining any private beliefs about colour:
For a single value, use the child form above. Use forget to remove a fact from both private beliefs and shared commitments.