Направление исследований по формальной семантической интерпретации естественных языков впервые возникло в рамках философии и формальной логики и особенно тесно связано с работой Альфреда Тарского [1490] по семантике формальных языков. Бар-Хиллел впервые проанализировал проблемы прагматики и высказал предположение, что они могут быть решены с помощью формальной логики. В частности, он ввел в лингвистику предложенный Ч. С. Пирсом [1198] термин "индексальный" (indexical), т.е. обладающий смыслом только в непосредственном контексте своего применения [68]. Очерк Ричарда Монтегю English as a formal language (Английский как формальный язык) [1071] представляет собой своего рода манифест сторонников логического анализа языка, но более доступными для восприятия являются [408] и [924]. Полный сборник трудов Монтегю вышел под редакцией Томасона [1505]. В искусственном интеллекте традиции Монтегю продолжили Макаллестер и Гивен [1007], которые разработали много новых формальных методов.

Идея использования промежуточной, или квазилогической формы, для решения таких проблем, как определение области действия кванторов, впервые выдвинута Вудсом [1614] и в настоящее время применяется во многих современных системах [22], [714].

Первой системой NLP, предназначенной для решения реальной задачи, по-видимому, стала система формирования ответов на вопросы Baseball [590], которая выдавала ответы на вопросы, касающиеся базы данных со статистическими сведениями о бейсболе. Вскоре после этого была разработана система Вудса Lunar [1612], которая отвечала на вопросы об образцах лунного фунта, доставленного на Землю в рамках программы Аполлон. Роджер Шенк со своими студентами создал ряд программ [425], [1358], [1359], [1590], предназначенных для решения задачи понимания языка. Но при разработке этих программ основное внимание было сосредоточено не на языке как таковом, а, скорее, на представлении знаний и формировании рассуждений. К числу рассматриваемых проблем относилось представление стереотипных ситуаций [314], описание организации человеческой памяти [829], [1287], а также понимание планов и целей [1591].

Задачи производства текстов на естественном языке рассматривались с самых первых дней развития работ по машинному переводу, начиная с 1950-го года, но не были сформулированы в связи с потребностями выработки текста на одном языке (а не двух, как при переводе) до 1970-х годов. Характерными исследованиями в этом направлении являются работы, описанные в [571] и [1413]. Одной из первых полномасштабных систем производства текста явилась система Penman [80], основанная на системной грамматике [775]. В 1990-х годах появились две важные общедоступные системы выработки текста, KPML [79] и FUF [433]. К числу наиболее важных книг по производству текста относятся [690], [1029], [1183] и [1275].