Вообще говоря, логический и лингвистический семантический анализ ЕЯ имеют один и тот же, хотя и многоаспектный, объект, и цели их не противоречат друг другу, а скорее, дополняют одна другую, Это положение хорошо согласуется с представлениями, лежащими в основе анализа предложения в системах искусственного интеллекта, — в РаМ' ках процедурного описания семантики план содержания высказывания рассматривается как последовательность операций над его структурой, при декларативной интерпретации — как результат преобразований его структуры, фиксирующийся в модели мира [Виноград 1976, Попов 1982]. И в первом, и во втором случае значение предложения оказывается существенно ближе лингвистическому пониманию и не связывается с истинностью. Однако процедуры верификаций и, в частности, определение соответствия поступающей новой информации данным из модели мира (проще говоря, оценка истинности-ложности сообщения) составляют существенную часть современных интеллектуальных систем [Ре1бй 19/ > ЗСеейтап, 1о1шзоп-Ьа1г<3 1980],
     Многие языковеды, осознав, что полное описание значения нево ' можно без учета сильной семантики, теперь ставят своей целью создан
Глава 3. Семантические метаязыки
269