# KEHOME/homepage/MKRtheory.html
# Nov/3/2005

MKR Theory

Principles of Knowledge

Axiomatic concepts (Rand and McCullough)
ECP axiom hierarchy
LSO axioms of awareness vs. MKR axiomatic propositions
Reducing axiomatic concepts to reality
Context Errors (FLAIRS 2006 Real World Context)
What is Context? (MIT 1997)
Tabula Rasa
Knowledge Explorer and its attributes and actions
Organizing Knowledge
What is Belief?

The MKR language

MKR design philosophy
The MKR Language (FLAIRS 2006 NL/KR)
associative arrays in MKR: name[char]
knits & chits
MKR grammar
MKR tokens
MKR keywords
MKR simple examples
Summary of key ideas
Nine definitions of "is"

MKR and other languages

English & UNIX shell & Variables
Epistemology & Situations & Formal Concepts
OWL & basic MKR
MKR is an "extension" of OWL Full
OWL Nothing
Ontology View Definition Nothing Space Time
CycL & MKR
Description Logic & MKR
Natural Semantic Metalanguage
Validation of Knowledge
NSM & MKR
Semantic Primes in MKR
NSM HAPPEN

Exploring hierarchies & lattices

Exploring the "..." concept
Exploring a concept-hierarchy
Simplify lattice algoritm