Patent ID: 7599902

Claim:
A computerized system for analogical reasoning, comprising a data processor having a neural network that is configured to perform symbolic substitution by finding a correspondence between a target analog and a source analog to infer a solution to the target analog based on the source analog; wherein each of the source analog and the target analog includes a plurality of nodes in the form of: object/predicate units (OP units), where OP units are nodes that represent object nodes and predicate nodes independently of how they are bound together; proposition units (Prop units), where Prop units are nodes that correspond to complete propositional statements to form a relational structure, sub-proposition units (SP units), where SP units are nodes that represent sub-proposition units that are conjunctive representations of role-filler bindings, binding predicate nodes to object nodes; and semantic units, where semantic units are nodes in a semantic domain that relate to a corresponding predicate node and object node, forming predicate semantic nodes and object semantic nodes respectively, where semantic units represent the meaningfulness of predicate and object nodes and the degree of similarity between multiple predicate nodes or multiple object nodes, and where the source analog and the target analog share the same semantic domain with at least some shared semantic units.