TR022: A Theory of the Knowledge Environment for Construction Automation