Toward a Formal Model of Cognitive Synergy
universal artificial intelligence : sequential decisions based on algorithmic probability .