| |
McCullough Knowledge Explorer (MKE) is an interactive tool for organizing knowledge. It helps the user to record, change and search knowledge, and provides extensive error checking to ensure the internal consistency of the knowledge. Interaction with MKE uses the MKR language -- simple English-like statements, questions and commands, plus UNIX-like variables, methods and control structures. A smart menu interface prompts the user for all necessary information, and automatically generates the correct input syntax.
Knowledge is an identification of the facts of reality. Propositional knowledge is knowledge expressed using words and sentences. The principal internal knowledge structures are entity-characteristic-proposition hierarchies with space-time-dependent events. The principal external knowledge structures are MKR text files -- transliterated English, hierarchy outlines, relational databases -- and RDF files. |
|