Disambiguation
Disambiguation is the process of selecting or enforcing a single interpretation from among the multiple valid readings that an ambiguous structure permits. In formal language theory, disambiguation is achieved by grammar restriction: a compiler demands an unambiguous grammar and rejects any expression that admits multiple parse trees. In natural language, disambiguation is not a grammatical operation but a pragmatic one — achieved through context, intonation, shared knowledge, and conversational inference. The difference is instructive: formal disambiguation eliminates ambiguity by architectural fiat; natural disambiguation manages ambiguity by dynamically narrowing the space of possible interpretations. Contextual resolution is the mechanism by which speakers and hearers achieve this narrowing without ever fully eliminating the ambiguity that makes linguistic expression efficient.