Over the years, many people have attempted to define intelligence, so there are many definitions of intelligence, but most of them are not formalized. For a big collection of definitions, see the paper A Collection of Definitions of Intelligence (2007) by Shane Legg and Marcus Hutter.
In an atte...