602
edits
Added examples
No edit summary |
(Added examples) |
||
| Line 6: | Line 6: | ||
==ISM is based on Transitive Logic== | |||
[[Interpretive Structural Modeling|ISM]] is based on the mathematical concept of Transitive Logic. This concept is used to reduce the number of comparisons (and thus time) needed to construct the MAP. Transitive Logic is also used to simplify the topology of the visual model. Transitive Logic states that for any 3 elements (A, B, C) with a given relation (�) when: | |||
A has the relation to B, (written A*B)<br> | |||
And B has the relation to C, (written B*C)<br> | |||
Then A has the relation to C, (written A*C or A*B*C) | |||
<u>For example:</u> | |||
If travel by car is faster than travel by bicycle<br> | |||
And travel by bicycle is faster than travel by walking<br> | |||
Then travel by car is faster than travel by walking | |||
Applying transitive logic also means that for any 3 elements (A, B, D) with a given relation, when: | |||
A has the relation to <br> | |||
And A does not have the relation to D<br> | |||
Then B does not have the relation to D<br> | |||
This means that B cannot have the relation to D or, using transitive logic, A would have to have the relation to D also | |||
<u>For example:</u> | |||
If travel by car is faster than travel by bicycle<br> | |||
And travel by car is not faster than travel by airplane<br> | |||
Then travel by bicycle is not faster than travel by airplane<br> | |||
[[ISM Software]] uses this type of logic to infer some of the relationships based on the answers given by the participants of a [[Structured Democratic Dialogue]]. The number of inferred answers in an ISM session varies with the situation, but it is often in the order of 70%. This represents considerable time-saving. | |||
=== Examples of Transitive Relations === | === Examples of Transitive Relations === | ||