To handle concurrent events, such programs must be rebuilt and not just provided with more facts. This section is organized as a collection of disconnected remarks some of which have a direct technical character, while others concern the general structure of knowledge of the world. Some of them simply give sophisticated justifications for some things that programmers are inclined to do anyway, so some people may regard them as superfluous. Building a view of the world into the structure of a program does not in itself give the program the ability to state the view explicitly. Indeed, for a human to make his presuppositions explicit is often beyond his individual capabilities, and the sciences of psychology and philosophy still have unsolved problems in doing so.
Common sense requires scientific formulation.
Both AI and philosophy require it, and philosophy might even be regarded as an attempt to make common sense into a science. Both need precise formalizations, but the fundamental structure of the world has not yet been discovered, so imprecise and even inconsistent formulations need to be used. If the imprecision merely concerned the values to be given to numerical constants, there wouldn't be great difficulty, but there is a need to use theories which are grossly wrong in general within domains where they are valid. The sense in which this theory is an approximation to a more sophisticated theory hasn't been examined. We need an AI formalism that can use such statements but can go beyond them to the next level of approximation when possible and necessary.