Patent ID: 8117147

Claim:
A method for generating new knowledge from stratified knowledge statements (SKSs), the method comprising: storing a list of SKSs in at least one memory store on a computer, wherein the list of SKSs is composed of a contiguous listing of cases, generalizations, and analogs, respectively hierarchically ordered in non-increasing validity, wherein cases comprise user-defined knowledge and are relatively valid, and analogs are computer-generated and are the most error prone of the SKSs; creating with the computer a new generalization based on one of the SKSs; redefining the new generalization into a new case if a user validates the new generalization; moving the new validated generalization case to the logical head of the list of cases; expunging the new generalization from the list if the new generalization contradicts an existing case; creating with the computer a new analog based on three of the SKSs; redefining the new analog into a case if a user validates the new analog; moving the new validated analog case to the logical head of the case list of SKSs; and expunging the new analog from the list if the new analog contradicts an existing case, or generalization.