A Qualitative Reasoning Ingredients Ontology
Qualitative Reasoning Ingredients Ontology
Qualitatief Redeneren Ingredienten Ontologie
Qualitative Modeling Ingredient
Qualitative Modeling Ingredients are either Basic Building Blocks or Aggregates.
Basic Building Block
Basic Building Blocks are single model ingredients.
Aggregate
Aggregates are composed out of multiple Basic Building Blocks.
Structural Ingredient
Structural Ingredients describe the structure of a modeled system.
Identity
An identity indicates that two model ingredients are the same individual.
Assumption
An assumption is an assertion that something is true
Behavioural Building Block
Behavioural ingredients describe the behavioural aspects of a modeled system.
Dependency
Dependencies describe the behavioural relations between behavioural ingredients.
Mathematical
Mathematical dependencies describe the mathematical relations between behavioural ingredients.
Entity
Entities are the structural ingredients a system is composed of.
Agent
Agents are not part of the inherent structure of the system, but can influence the system.
Configuration
Configurations describe the relations between structural ingredients.
Attribute
Attributes describe the properties of entities and agents.
Attribute Value
AttributeValues are the possible values of attributes.
Quantity
Quantities are the changable features of an entity of agent.
Magnitude
The magnitude is the zero-derivative of a quantity. A value can be assigned to it so it can be compared to other quantities.
Derivative
The derivative is the first derivative of a quantity, indicating if the quantity is increasing, decreasing or stable. A value can be assigned to it so it can be compared to other quantities.
Quantity Space
A quantity space is a list of possible values the magnitude or derivative of a quantity can become.
Qualitative Value
A qualitative value is either a point or interval which can become the value of the magnitude or derivative of a quantity.
Point
A point is a qualitative value.
An interval is a qualitative value.
Causal Dependency
Causal dependencies are dependencies indicate which quantities are proportional, and which ones influence each other.
Proportionality
Proportionalities indicate which quantity changes if the other changes.
Positive Proportionality
A positive proportionality indicates that the target quantity increases if the origin quantity increases, and decreases if the origin quantity descreases.
Negative Proportionality
A negative proportionality indicates that the target quantity decreases if the origin quantity increases, and increases if the origin quantity decreases.
Influence
Influences indicate that the target quantity changes if magnitude of the origin quantity is not zero.
Positive Influence
A positive influence indicates that the target quantity increases if the magnitude of the origin quantity is greater than zero, and decreases if it less than zero.
Negative Influence
A negative influence indicates that the target quantity decreases if the magnitude of the origin quantity is greater than zero, and increases if it less than zero.
Correspondence
Correspondences specify that values occur simultaniously.
Value Correspondence
A Value Correspondence specifies that two values occur simultaniously.
Quantity Space Correspondence
Quantity Space Correspondences are used to denote that the values of two quantity spaces correspond to each other.
Full Correspondence
Full Correspondences indicate that both the quantity spaces of the magnitudes as the quantity spaces of the derivatives correspond to eachother.
Inequality
Inequalities are used to indicate the difference or equality between values.
Smaller Than
A smaller than relation indicates that the origin value is smaller than the target value.
Smaller Or Equal To
A smaller or equal to relation indicates that the origin value is smaller or equal to the target value.
Equal To
An equality relation indicates that the origin value is equal to the target value.
Greater Or Equal To
A greater or equal to relation indicates that the origin value is greater or equal to the target value.
Greater Than
A greater than relation indicates that the origin value is greater than the target value.
hasValue
hasValue relations indicate a magnitude or derivative have a certain value.
Operator
Operator is the set of addition and substraction relations. The relation itself can have multiple inequality relations.
Plus
Plus is addition of the origin and target value and can have multiple inequalities.
Minus
Minus is substraction of the origin and target value and can have multiple inequalities.
Model Fragment
A model fragment describe parts of the structure and behaviour of a system and is composed of multiple basic building blocks.
Static Fragment
A static fragment is a model fragment without influences or agents.
Process Fragment
A process fragment is a model fragment which models a process, but does not contain agents.
Agent Fragment
An agent fragment is a model fragment which contains an agent.
Scenario
A scenario describes a situation of the system which becomes the startnode of the stategraph.
Generate all the possible values for this quantity.
An exogenous influence causes the quantity to decrease
An exogenous influence causes the quantity to remain stable
An exogenous influence causes the quantity to increase
An exogenous influence causes the quantity to increase and then decrease
An exogenous influence causes the quantity to decrease and then increase
An exogenous influence causes the quantity to makes sinusoidal
An exogenous influences causes the quantity to change randomly
Apply quantity space constraints on extreme values (inverse this value)
Apply quantity space constraints on zero as extreme value (negated value)
Assume equal quantity spaces have equal points
Generate all values for calculated quantities
Apply epsilon merging of immediate terminations
Apply epsilon derivative continuity constraints
Remove inactive quantities after transition
Allow reasoning assumptions on derivatives
Generate derivative terminations (based on 2nd order derivatives)
Apply 2nd order derivative continuity constraints
Apply continuity on derivative inequalities
Remove terminations to unequal for full corresponding quantities
Constrain interaction between possible worlds (derive landmark relations)
Max inequality reasoning depth (integer)