Логическая грамматика — страница 5

  • Просмотров 1702
  • Скачиваний 122
  • Размер файла 14
    Кб

организации возможности квантования. АНАЛИЗ КОЛМЕРОЙЕРА ДЛЯ КОНКРЕТНОГО ЕЯ Общая схема анализа была изначально предложена Колмеройером для французского и английского языков. Позднее Даль адаптировал ее для испанского, Коэлхо - для португальского, а Пик предложил иную семантику для артиклей французского языка. ОБЩАЯ СХЕМА АНАЛИЗА КОЛМЕРОЙЕРА В КАЧЕСТВЕ ГРАММАТИКИ, ПОСТРОЕННОЙ НА ОПРЕДЕЛЕННЫХ ПРЕДЛОЖЕНИЯХ (DCG) DCGs

поддерживают процессы синтаксического анализа и транслирования благодаря взятым ими на вооружение из подмножества ЕЯ, необходимым элементам синтаксиса и семантики. Процесс синтаксического анализа состоит из доказательства, что цепочка слов является законным и правильно построенным предложением (с точки зрения выбранного синтаксиса). Процедура доказательства осуществляется через исследовательскую стратегию (с конца на

начало, сверху вниз, слева направо) и через правило умозаключения (логического вывода), где заключением является qv, уже после отработки системы PROLOG. Трансляция заключается в изображении каждого предложения в виде логической структуры. Эта структура состоит из правильно построенных формул определенной логической системы, которая основывается на объеме понятия логики предикатов(qv). Механизм транслирования выражается как

множество определенных предложений логики через грамматические правила PROLOGа. Он (механизм) может содержать, как вместе, так и по отдельности синтаксические и семантические знания из подмножества рассматриваемого ЕЯ. Механизм синтаксического анализа зависит от системы PROLOG, и он может быть вскрыт включением отслеживающего устройства. Трансляция и синтаксический анализ - независимые друг от друга процессы, их независимость

позволяет легче производить изменения в грамматике. Упрощенная грамматика, обозначаемая через G, рассматривается следующим образом. Она производит синтаксический анализ английских предложений, одновременно порождая соответствующие им логические структуры. Грамматика определяется 2 модулями: 1)   синтаксис + семантика 2)   морфология и имеет дело с предложениями типа: Hodges writes for Penguin. СИНТАКСИС + СЕМАНТИКА sentences(S) ->

noun-phrase(NP, S2, O), verb([subject-X | L], O1), complements(L, O1, O2). complements([ ], O, O) -> [ ]. complements([K-N | L], O1, O3) -> complements(L, O1, O2), case (K), noun-phrase(N, O2, O3). noun-phrase(N, O2, O4) -> article(N, O1, O2, O3), common-noun([subject-N | L], O1), complements(L, O3, O4). noun-phrase(PN, O, O) -> [PN], {proper-noun(PN)}. article[A, O1, O2 and (O1, O2)] -> [a]. case(for) -> [for]. case(direct) -> [ ]. МОРФОЛОГИЯ verb([subject-A, for -P], is-published-by(A,P)) -> [writes]. common-noun([subject-P], publisher(P)) -> [publisher]. proper-noun(hodges). proper-noun(penguin). К примеру, правило: noun-phrase(PN, O, O) -> [PN], {proper-noun(PN)}. представляет собой структуру: