| 摘要 |
A method for reaching conclusions from stratified knowledge statements (SKSs) comprising: storing a list of SKSs in at least one memory store on a computer, wherein the list of SKSs is composed of cases, generalizations, and analogs, wherein cases are the most valid, and analogs are the least valid of the SKSs; creating a new generalization based on one of the SKSs; redefining a user-validated generalization as a new case; moving the validated new generalization to the logical head of the case list; 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 a user-validated analog as a new case; moving the new case to the logical head of the case list; and expunging the new analog from the list if the new analog contradicts an existing case, or generalization. |
