"At high levels of required precision, expressing formal requirements in natural language can become more costly than expressing them directly in a formal language."
Wagner and colleagues develop an information-theoretic account of task specificity and derive a threshold beyond which formal specification is more economical than expressing the same requirements in natural language. Their position paper supports the role of precise symbolic languages as complements to natural-language interfaces rather than obsolete intermediaries.
View Source