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 Emails

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