open world assumption (a.k.a. <em>open world reasoning</em>)

The open world assumption means that we cannot assume something doesn't exist until it is explicitly stated that it does not exist. In other words, because something hasn't been stated to be true, it cannot be assumed to be false - it is assumed that 'the knowledge just hasn't been added to the knowledge base'.