Summary of research in logical theory of adaptive systems