計算語義學（computational semantics）是2011年公布的語言學名詞。
基本介紹
- 中文名：計算語義學
- 外文名：computational semantics
- 所屬學科：語言學
- 公布時間：2011年
定義,出處,
定義
計算語言學的一個分支。運用數學方法（主要是謂詞邏輯、內涵邏輯等數理邏輯方法）構建語義模型，把語義分析作為一個計算過程來研究。
出處
《語言學名詞》第一版。
計算語義學
相關詞條
- 計算語義學
計算語義學（computational semantics）是2011年公布的語言學名詞。定義計算語言學的一個分支。運用數學方法（主要是謂詞邏輯、內涵邏輯等數理邏輯方法）構建語義模型，把語義分析作為一個計算過程來研究。出...
- 語義學
語義部分是對合格句子的解釋，這樣的解釋通常是：在一個模型中進行的對真值條件推導。邏輯學的語義學著眼點在於邏輯系統的語義解釋，是一個理想化的模型系統，不直接涉及自然語言。但是在形式語義學中，很多的語義學概念是從邏輯學的語義學中引申來的。計算機科學 計算理論中的語義學，其本質和邏輯學的語義學是一樣...
- 計算語言學導論
第一節語義理論簡介（91）一、詞的指稱作為意義（91）二、心理圖象，大腦圖象或思想作為意義（92）三、說話者的意圖作為意義（92）..四、過程語義（93）五、辭彙分解學派（93）六、條件真理模型（94）七、情景語義學（94）八、語義網路（95）九、模態邏輯（95）第二節計算語義學的一些代表工作（96）一、概念...
- 構建基於情境的辭彙語義學的計算平台
《構建基於情境的辭彙語義學的計算平台》是依託清華大學，由周強擔任項目負責人的面上項目。項目摘要 本項目將探索情境網路的結構與組織方式，通過大規模語料庫的標註實踐，研究利用情境定義概念的可行方法，提鍊形成可計算的概念詞典，並開發高效的漢語部分分析器，建立完善的基於情境的辭彙語義學的計算平台。它的研究成果...
- 計算機學科
⒎分布對象計算；⒏並行及分散式處理；⒐語義理論及套用（自然語言、程式語言） ；⒑推理技術；⒒並行理論；⒓類型理論及套用；⒔計算語義學；⒕CAD/CAM技術的理論研究、CAD/CAM系統的軟體開發平台研製；⒖工程與科學計算方面，對數值模擬進行的多學科的套用研究；⒗計算機圖形學與CAD；⒘群件與網路技術研究；⒙嵌入式...
- 基於認知與計算的事件語義學研究
《基於認知與計算的事件語義學研究》是2013年科學出版社出版的圖書，作者是劉茂福。內容簡介 探討事件語義學的研究意義、研究對象與研究方法；從角度，分析與事件語義結構、事件語義關係和事件語義模式；研究事件語義自動標註方法，嘗試基於事件語義模式的事件語義結構與語義關係的輔助及自動標註工具；在事件語義形式化的...
- 語義學:從數學基礎到語義語用學
3.4 心理學 54 3.5 規則 56 3.6 規律 60 3.7 標準理論 64 3.8 必需條件 68 3.9 連續的向量空間模型 72 3.10 擴展閱讀 77 第4章 圖形和機器 79 4.1 抽象有限計算 79 4.2 形式語法 85 4.3 最小的機器 93 4.4 圖形和機器操作 94 4.5 詞素 97 4.6 內部語法 102 4.7 ...
- 句式語義的形式分析與計算
《句式語義的形式分析與計算》是2007年北京語言文化出版社出版的圖書，作者是吳平。作者簡介 吳平，北京語言大學教授，文學博士。曾受國家留學基金委資助先後在英國約克大學和美國加州州立大學長灘校區作訪問學者。研究領域是理論語言學和計算語言學。現階段主要從事基於形式化分析和句法和語義的接口問題研究。內容提要 的...
- 計算系統的形式語義
第二部分包括第二到第五章，概述了形式語義中的操作語義、指稱語義、公理語義和代數語義四大經典流派。第三部分包括第六到第九章，概述了形式語義學的現代套用，分別介紹分散式系統、移動計算和移動通信系統、非規範進程代數和微觀生命系統，以及量子程式設計語言的形式語義。全書內容豐富，結構嚴謹，集形式語義學理論及其...
- 計算機科學(學科門類)
對於形式化方法的最佳形容是各種理論計算機科學基礎種類的套用，特別是計算機邏輯演算，形式語言，自動機理論和形式語義學，此外還有類型系統、代數數據類型，以及軟體和硬體規範和驗證中的一些問題。並行計算分散式系統 主條目：並行性和分散式計算 並行性（concurrency）是系統的一種性質，這類系統可以同時執行多個可能互相...
- 程式設計語言語義
程式設計語言，也稱程式語言（programming language），是用來定義電腦程式的形式語言。它是一種被標準化的交流技巧，用來向計算機發出指令。程式設計語言語義為了指明給出程式設計語言的程式含義，研究語言與其所指對象間的關係。程式設計語言語義屬於形式語義學，在計算理論中，形式語義學是關注計算的模式和程式設計語言的...
- 邏輯、機率與地圖分析:漢語語法學中的計算研究
本書是教育部人文社會科學研究規劃基金項目“現代漢語句法與語義計算研究”（批准號：13YJA740005）的最終成果，也是《漢語的小句與句子》和《漢語的指稱與命題》的姊妹篇。全書圍繞著兩條主線進行安排：一是漢語語句的邏輯意義分析，尤其是在形式語義體系中增加認知與語用分析，從而適應於複雜的語言現象，如改造“可能...
- 計算理論基礎:可計算性、複雜性和語言(英)
《計算理論基礎可計算性複雜性和語言(英文版·第2版)》是理論計算機科學領域的名作，是計算機科學核心主題的導論性教材。全書分為可計算性、文法與自動機、邏輯學、複雜性及語義學5個部分，分別講述了可計算性理論、形式語言、邏輯學與自動演繹、可計算複雜性(包括NP完全問題)和程式語言的語義等主題，並展示了它們...
- 計算理論基礎:可計算性、複雜性和語言
《計算理論基礎：可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。內容簡介 《計算理論基礎可計算性複雜性和語言(英文版·第2版)》是理論計算機科學領域的名作，是計算機科學核心主題的導論性教材。全書分為可計算性、文法與自動機、邏輯學、複雜性及語義學5個部分，分別講述了可計算性理論、形式語言、...
- semantics
algebraic semantics[數] 代數語義學 ; [數] 代數語義 ; 代數語意學 ; 翻譯 Product Semantics 產品語意學 ; 產品語義學 ; 產品形態語意 ; 產品語意 Frame Semantics 框架語義學 ; 框架語義 ; 框架理論 ; 框架語義理論 Computational Semantics 計算語意學 ; [語] 計算語義學 Structural Semantics[語] 結構...
- 自然語言處理綜論(第二版)
第四部分“語義和語用的計算機處理”，介紹語義的各種表示方法、計算語義學、辭彙語義學、計算辭彙語義學，並介紹同指、連貫等計算機話語分析問題。第五部分“套用”，講述信息抽取、問答系統、自動文摘、對話和會話智慧型代理、機器翻譯等自然語言處理的套用技術。本書寫作風格深入淺出，實例豐富，引人入勝。本書可作為...
- 俄羅斯語言學
在聖彼得堡學術中心，值得引起注意的另一研究集體是聖彼得堡大學數理語言學教研室，其領軍人物是格爾德(А.С.Герд)。多年來，該研究集體成員在套用語言學的諸多分支學科領域取得了豐碩成果，在本書有關章節將分別加以介紹。聖彼得堡大學有著數學背景的學者圖佐夫(В.А.Тузов)，對計算語義學和機器語義...
- 通用上層模型
Wordnet是由美國普林斯頓大學認知科學實驗室的George A Miller教授負責開發研製的。它的設計思路來源於心理語言學和人類辭彙記憶的計算理論。迄今為止，Wordnet被認為是計算語義學、文本分析等相關領域研究者可獲取的最為重要的資源。Framenet Framenet是美國國家科學基金支持的項目，由美國加州大學伯克利分校的國際計算機科學...
