McCullough Knowledge Explorer

McCullough Knowledge Explorer is a user-friendlyRI ("Real Intelligence") language which combines the best features of English, UNIX shell, Unicon and CycL.

MKR propositions have a terse English-like format which helps a human user focus on essential characteristics and avoid floating abstractions. MKR is a very-high-level knowledge representation language with a rigorous epistemological foundation including context, genus-differentia definitions, ECP hierarchies (knits) and a unique characterization of the changes associated with actions.

Learning the MKR language is facilitated by a syntax checker and a menu interface. The syntax checker provides a fast interactive check of input knowledge. The syntax error messages are highly-focused, for fast "debugging" of input knowledge.

The menu interface prompts the user for all necessary information, and automatically generates the correct input syntax.

Knowledge Explorer (ke) is an intelligent knowledge assistant. ke helps the user to record, change and search knowledge, and provides extensive error checking to ensure the internal consistency of the knowledge. ke possesses self-knowledge -- just ask it (using the MKR language) what commands it can execute for you.