Дюбко, Г. Ф.Долотов, А. И.2016-06-152016-06-152007Дюбко, Г. Ф. Формализация семантики естественного языка с применением лямбда-исчисления / Г. Ф. Дюбко, Д. В. Преснякова // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2007. – Вып. 2 (67). – С. 41-46.http://openarchive.nure.ua/handle/document/937В статье предлагается подход к формализации толкового словаря естественного языка. Толковый словарь назван λ-словарём. В λ-словаре словарные статьи имеют зону λ-выражения. λ-выражение используется для соотнесения употребляемого слова к смысловому значению. Текстовая зона толкового словаря в λ-словаре представляется семантической функцией. Рассмотрены примеры использования λ-словаря для анализа простых предложений.ruестественный языктолковый словарьлямбда-словарьсемантическая функциялямбда-исчислениелямбда-выражениеArticle