Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

История формальной семантики от Барбары Парти

Текст лекции Барбары Парти "Формальная семантика как порождение лингвистики и философии" -- http://polit.ru/article/2012/05/18/Partee/ (видео и аудио -- http://polit.ru/article/2012/03/28/anons_partee/).

Формальная семантика, формальная прагматика. Мне почему-то кажется, что сейчас в области обработки естественного языка происходит самое интересное. И когда эта довольно мутная и эзотерическая теория вылезет на свет божий в форме публично доступных конкретных компьютерных приложений (обеспечив интерфейс между самыми разными формальными компьютерными моделями и эээ... неформальными белковыми носителями разума), никому уже мало не покажется.

Я продолжаю утверждать, что в мозгу есть два разных когнитивных механизма: статистический (контент-анализ, ассоциации и аналогии, марковские цепи и т.д.) и формально-логический (с HOL). Оба важны.
Subscribe

  • lytdybr

    Из интеллект-стека в ОдО остались исследования, этика, риторика, методология, экономика, системное мышление, труд (трудовой кругозор) и выпавшая…

  • lytdybr

    Сегодня в ОдО нашёлся содержательный баг: в интеллект-стеке пропущена эстетика. А её нужно туда воткнуть в явном виде, иначе трудно будет цеплять…

  • Системный менеджмент и стратегирование 2021, 22й поток -- стартуем в конце недели

    Мой очередной (двадцать второй, опять с новинками) поток тренинга "Системный менеджмент и стратегирование 2021" начнётся 19 сентября 2021 --…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 1 comment