Forget Shared¶

Definition¶

<forge_shared predicate="some_predicate"/>

or

<forget_shared>
    <proposition predicate="some_predicate" value="some_indvidual"/>
</forget_shared>

The plan item that makes the system forget shared commitments that consist of either a particular proposition or all propositions of a certain predicate. This means no changes to the system's beliefs i.e. all propositions in private beliefs remain.

Parents¶

• <plan>
• <postplan>
• <then>
• <else>

Children¶

• <proposition>

Behaviour¶

If a predicate is given as an attribute of the element and the element has no children, all propositions of that predicate will be forgotten from shared commitments. If the element has a propositional child, that proposition will be forgotten.

Examples¶

Forget all propositions of the predicate colour¶

<forget_shared predicate="colour"/>

Examples¶

Forget the proposition that has the predicate means_of_transport and the value train¶

<forget_shared>
    <proposition predicate="means_of_transport" value="train"/>
</forget_shared>>