Modelet
Types¶
modelet $tType¶
Models a phenomenon as the thought in the triangle of meaning. All modelets describe an instance of a concept, have an origin, and are modeled in a specific formalism.
- Concept: the phenomenon of the modelet, an instance of a class in the world model.
- Origin: the agent's perspective on the phenomenon
- Formalism: the representation of the phenomenon
Source: engines-and-modelets.tff¶
modelet_set $tType¶
Some particular set of modelets which the has reasoner assembled. Used to collect the inputs to an engine.
Example
- {m1, m2, m3}
- {m2}
- {}
Source: engines-and-modelets.tff¶
Relations¶
modelet_models_concept (modelet>phenomenon)¶
The phenomenon symbolizing the phenomenon of a modelet.
TODO
rename from 'concept' to something else.
Source: engines-and-modelets.tff¶
formalism_of_modelet (modelet>formalism)¶
The formalism used by a modelet to describe the phenomenon.
Source: engines-and-modelets.tff¶
modelet_creation_date (modelet>$real)¶
The date a modelet was created.
TODO
The date is represented as a $real but we don't make any assumptions about
what that number represents. Unix time? time since last restart? seconds?
This may be solved by integration with spacetime_point.
Source: engines-and-modelets.tff¶
modelet_has_location (modelet>spacetime_point)¶
The time and spatial location a modelet refers to.
Modelets may have a specific temporal scope or make an observation
at a specific spacetime_point.
Source: engines-and-modelets.tff¶
modelet_has_extent (modelet>extent)¶
The time and spatial extent a modelet refers to. Modelets may have an area/volume/duration of reference.
Source: engines-and-modelets.tff¶
modelet_has_representation_class (modelet>representation_class)¶
The representation_class a modelet's relation to its parents has after being created by an engine.
TODO
This looks like it will turn out to be HOL.
Source: engines-and-modelets.tff¶
modelet_has_creator (modelet>engine)¶
The engine that created the modelet.
Source: engines-and-modelets.tff¶
is_in_modelet_set ((modelet*modelet_set) >$o)¶
Check if a modelet is a member of a modelet_set.