Patent ID: 8401988

Claim:
A method for maintaining groupings and relationships of propositions associated with a knowledge base, comprising: a) providing multiple microtheories arranged in a justification structure based on context relationships to form a knowledge base, each microtheory comprising multiple propositions presumed to have a common characteristic; b) providing a microtheory label for each microtheory, each microtheory label identifying the corresponding microtheory as well as each microtheory from which the corresponding microtheory inherits propositions in conjunction with the justification structure; c) providing a proposition label for each proposition associated with the knowledge base, each proposition label identifying each microtheory in which the corresponding proposition is represented; d) comparing the proposition label for a specific proposition associated with the knowledge base with the microtheory labels in response to a transaction request for the specific proposition; and e) determining which microtheories have a non-empty intersection with the specific proposition based on the comparing.