The theory of several knowing machines