The automation question was hunting me for years. On one hand, there are IA based formal strategies that could be written as logic statements, however, their abilities to adapt are limited to requisite variety (complexity, or sheer number of predicates) of the model that they represent. On other...