定子句語法(definite clause grammar)簡稱DCU.一種邏輯語法.
基本介紹
- 中文名:定子句語法
- 外文名:definite clause grammar
定子句語法(definite clause grammar)簡稱DCU.一種邏輯語法.
定子句語法(definite clause grammar)簡稱DCU.一種邏輯語法.美國學者佩瑞拉(Pereira ,F.)等提出的用一階謂詞中的定子句來描述自然語言.由於定子句表達的語法規則本身就是邏輯程式設計語言P...
外位語法 外位語法(extraposition grammar)是2011年公布的語言學名詞。定義 在定子句語法的基礎上引入“間隔”等規則擴充而成的邏輯語法。出處 《語言學名詞》第一版。
定子句語法 定子句語法(definite clause grammar)簡稱DCU.一種邏輯語法.美國學者佩瑞拉(Pereira ,F.)等提出的用一階謂詞中的定子句來描述自然語言.由於定子句表達的語法規則本身就是邏輯程式設計語言Prolog的可執行程式,因而可以被Prolog系統直接解釋.
第二章形式語義的基本理論及其自動分析的原理,首先介紹模型理論、規則對規則假設、邏輯翻譯理論和類型理論等形式語義研究中的幾個基本理論思想,並指出這些基本理論思想既是本書所提出的語義分析法的基礎,也是在Prolog語言中實現個案語義自動分析的基礎。接下去重點討論基於定子句語法的Prolog語言的一些基本概念。第三章一...
4.2Kaplan的辭彙功能語法 4.3Martin Kay的功能合一語法 4.4Gazdar的廣義短語結構語法 4.5Shieber的PATR 4.6Pollard的中心語驅動的短語結構語法 4.7Pereira和Warren的定子句語法 參考文獻 第5章基於依存和配價的形式模型 5.1配價觀念的起源 5.2Tesnière的依存語法 5.3依存語法在自然語言處理中的套用 5.4配...