bout that knowledge and the creation of abstract formalizations about inference control which are reasoned-upon, tested, and verified or debunked. 11.4.3.1 Systematic Experimentation The Piagetan formal phase is a particularly subtle one from the perspective of uncertain in- ference. In a sense, AGI inference engines already have