A truth value converter in which a memory stores, for every consequent, a weighted coefficient, which represents a function of a consequent of an implication by a singleton, a first arithmetic processor for taking the products of input truth values that are to act upon consequents and weighted coefficients...http://www.google.co.uk/patents/US5073863?utm_source=gb-gplus-sharePatent US5073863 - Truth value converter
