A Dynamic Boolean Knowledge Base

This paper presents an implemented architecture for easy conception and reorganization of a Boolean knowledge base. As new definitions are added through seamless interaction, the base spontaneously brings up intermingled taxonomies of concepts, which are crucial for knowledge navigation. Complex constraints may be programmatically added by grounding first-order rules. This is illustrated with an example from elementary school geometry.