Proposition¶
Definition¶
<proposition predicate="p" value="a">
The element that represents a proposition, consisting of a predicate on an individual.
| Attribute | Type | Description |
|---|---|---|
| predicate | string | Required. The value must be enumerated in the ontology. |
| value | string | Required. The value must be known to TDM e.g. by being a static individual enumerated in the ontology. |
Parents¶
- <assume_shared>
- <assume_system_belief>
- <forget>
- <forget_shared>
- <has_shared_value>
- <has_private_value>
- <has_shared_or_private_value>
- <if>
- <is_shared_commitment>
- <is_private_belief>
- <is_private_belief_or_shared_commitment>
Children¶
None.
Behaviour¶
The proposition is used in conditional constructs in the domain language, in conditions, for assuming etc.
Examples¶
Proposition for the colour blue:¶
<proposition predicate="color" value="blue"/>
Last update: October 25, 2022