Knowledge oriented programming

A signal-bearing medium bearing a Meta Model comprising:

• a Meta Logic Model comprising an Event, an Event handler, and a Relation Function;
• a Meta Knowledge Model comprising a Thing, a Key, a Fact, a Relation, and a Knowledge Definition;
• a Knowledge Definition Model comprising a model for binding the Thing and its subtypes to a computer program;
• a Catalog Model comprising a set of classes that are subclasses of the Relation, and wherein the Catalog Model indexes a set of knowledge definitions that are instances of subclasses of the Knowledge Definition Model;
• and
• a Run-time Model comprising a set of classes that are subclasses of the Thing, whrein the Run-time Model dynamically binds the knowledge definitions to a physical implementation.

An electronic device comprising:

• a processor;
• and
• a storage device comprising:
• a Meta Knowledge Model comprising a specification of how a knowledge-oriented software application represents knowledge,
• a Meta Logic Model comprising a specification of how the knowledge-oriented software application derives new knowledge,
• a Meta Knowledge Model comprising a Thing, a Key, a Fact, a Relation, and a Knowledge Definition, wherein the Thing comprises an abstract base Thing class with a method for retrieving a key of a Thing instance, wherein the key comprises a unique identifier,
• a Knowledge Definition Model comprising a specification of how the knowledge-oriented software application is converted from a human-readable format to executable code,
• a Catalog Model comprising a specification of how the knowledge-oriented software application organizes the knowledge within an electronic device, and
• a Run-time Model comprising instructions that execute on the processor.

A signal-bearing medium comprising a Meta Model for building a knowledge-oriented software application using an object-oriented programming language, wherein the Meta Model comprises:

• a Meta Knowledge Model including:
• a Thing comprising a specification of how the knowledge-oriented software application is represented as objects, wherein the Thing is the super class of the objects;
• a Key comprising a specification of how knowledge-oriented software application things are named, where the thing names are instances of classes that are subclasses of the Key and the things are instances of subclasses of the Thing;
• a Fact comprising a specification of how knowledge oriented software application represent facts, where the facts are instances of classes that are subclasses of the Fact and the Fact is a subclass of the Thing,
• a Relation comprising a specification of how the knowledge-oriented software application represents sets of similar facts, where all relations are instances of classes that are subclasses of the Relation, and the Relation is a subclass of Thing, and
• a Knowledge Definition comprising a specification of how the knowledge-oriented software application represents the logical design of the application and how it relates the logical design to a physical implementation, wherein the Knowledge Definition is a subclass of the Thing.

A signal-bearing medium comprising:

• a Meta Model for computer programs implemented in an object-oriented programming language, the Meta Model comprising:
• a Meta Knowledge Model comprising a Thing, a Key, a Fact, a Relation, and a Knowledge Definition, and
• a Meta Logic Model comprising an Event, an Event Handler, and a Relation Function;
• and
• a Kernel, wherein the Kernel is a super type of the Thing.