Cognitive Reasoning : A Formal Approach - Tamás Gergely, Oleg M. Anshakov ((Cognitive Technologies))