Orion 2009

How do we represent knowledge so it is not directed to a purpose, and thus can be used for any purpose. We should ensure that no inference is lost. A simple example: A + B = C We could have two of them, and then connect them so IF A + B = C THEN D + E = F with Modus Tollens available if needed To be able to do that, what must the structure look like?

Active Structure A + B = C

Logic and Numbers IF A + B = C THEN D + E = F

Operators with Specific Functions We can wrap the operations of an Activity in a box, but a box without initial direction. We can have the logical connection as input, so we assert the activity must occur, or we can leave the logical connection undefined, so it can be an input or an output.

Semantic Modelling

Applying a Brake

Mapping from One Relation to Another

Bioinformatics Stuff Automatically built from text

Enron s Automatically built from text

Actions and States

Groups

Generating a New Object Automatically built from text

Geometrical Knowledge - Circle

Using Knowledge for Something Practical Turning Circle “contains” the turn relation of the vehicle

Linking Knowledge A door has components, one of which is a door mechanism. Mechanisms are actuated by actuators, one type of which is a solenoid. So, “door solenoids”.

Document and Text

Searching Sets propagate through the structure – the structure is active Automatically built from text