Conditions¶

Definitions¶

    <has_shared_value predicate="p"/>
    <has_private_value predicate="p"/>
    <has_shared_or_private_value predicate="p"/>
    <is_shared_commitment predicate="p" value="x"/>
    <is_private_belief predicate="p" value="x"/>
    <is_private_belief_or_shared_commitment predicate="p" value="x"/>
    <has_more_items predicate="p"/>
    <has_more_items iterator="i"/>

Conditions that evaluate to true depending on what the current beliefs of the system are.

Parents¶

• <downdate_condition>
• <if>

Children¶

• None

Behaviour¶

The has_*_value conditions evaluate to true if there is a proposition in either shared commitments or in private beliefs or in any of them, depending on the actual condition.

The is_* conditions evaluate to true if the proposition specified in the attributes is to be found in in either shared commitments or in private beliefs or in any of them, depending on the actual condition.

The has_more_items condition checks if an enumeration <query> or an <iterator>has more items.

Examples¶

is_shared_commitment:¶

This condition will evaluate to true if it is known by the user and the system that the flight is late.

<is_shared_commitment predicate="flight_departure" value="late"/>

is_private_belief:¶

This condition will evaluate to true if it is known only by the system that the flight is late.

<is_private_belief predicate="flight_departure" value="late"/>

is_private_belief_or_shared_commitment:¶

This condition will evaluate to true if it is known, possibly only by the system, whether the flight is late or not.

<is_private_belief_or_shared_commitment predicate="flight_departure" value="late"/>

has_shared_value:¶

This condition will evaluate to true if it is known by the user and the system whether the flight is late or not.

<has_shared_value predicate="flight_departure"/>

has_private_value:¶

This condition will evaluate to true if it is known by the system but not by the user whether the flight is late or not.

<has_private_value predicate="flight_departure"/>

has_shared_or_private_value:¶

This condition will evaluate to true if it is known, possibly only by the system, whether the flight is late or not.

<has_shared_or_private_value predicate="flight_departure"/>

has_more_items, query:¶

This condition will evaluate to true if an enumeration query has not yet reached its last element.

<has_more_items predicate="possible_destination_city"/>

has_more_items, iterator:¶

This condition will evaluate to true if an iterator has not yet reached its last element.

<has_more_items iterator="nice_destinations_in_mongolia"/>