closed world assumption

A formal logic assumption that can be informally described as “assuming that we know everything about something”; closed world assumptions can be very helpful when expressing validation constraints that make sense to humans; see also: open world assumption.

Comments are closed.