Patent ID: 9031890
Filing Date: 2015-05-12
Classification: G06N

Abstract:
1. A computer system comprising: a bijective set memory for storing data representing bidirectional relationships, wherein the bijective set memory comprises: a parallel information processor comprising means for reading input to the computer system and means for performing set operations on the input to produce output representing results of the set operations; an induction module, under control of the parallel information processor, comprising means for using induction to learn relationships between the elements and the classes and for storing data representing the learned relationships in the bijective set memory; a deduction module, under control of the parallel information processor, for receiving data representing input perceptions and for using deduction to retrieve, from the bijective set memory, data representing conceptions having relationships to the input perceptions; a reduction module, under control of the parallel information processor, for receiving data representing input conceptions and for using reduction to retrieve, from the bijective set memory, data representing perceptions having relationships to the input conceptions; means for receiving data representing an input 3-SAT formula; wherein the parallel information processor further comprises means for determining whether the input 3-SAT formula is satisfiable, comprising: