The Formal Definition of Intelligence - A. V. Sosnitskij (Artificial intelligence, 2014)