[btilly]

Obviously "automatically extract the principles in an understandable format" is a long term and probably unachievable goal.

However there is hope that cluster analysis on data about the internal reasoning process can successfully identify groups of positions that "seem to share a common principle". Success in that is a first step towards lots of interesting things.