This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization in intelligent systems.
It investigates cognitive reasoning at three levels of abstraction: conceptual, formal, and realizational.