語義，程式語言，指程式的語義。
基本介紹
- 中文名：語義
- 定義：指程式的語義
- 性質：程式語言
語義，程式語言，指程式的語義。
語言所蘊含的意義就是語義(semantic)。簡單的說，符號是語言的載體。符號本身沒有任何意義，只有被賦予含義的符號才能夠被使用，這時候語言就轉化為了信息，而語言的含義就是語義。語義可以簡單地看作是數據所對應的現實世界中...
語義 語義，程式語言，指程式的語義。
圖像語義，就是圖像內容的含義。圖像語義可以通過語言來表達，包括自然語言和符號語言（數學語言）。但圖像語義的表達並不限於自然語言，其外延對應於人類視覺系統對於圖像的所有理解方式。例如，對於一幅小狗的圖像，其圖像語義可以包括自然...
是一個涉及到語言學、邏輯學、計算機科學、自然語言處理、認知科學、心理學等諸多領域的一個術語 雖然各個學科之間對語義學的研究有一定的共同性，但是具體的研究方法和內容大相逕庭。語義學的研究對象是自然語言的意義，這裡的自然語言可以...
語義學是指數理邏輯符號學分支之一。關於符號或語言符號（語詞、句子等表達式）與其所指對象關係的學科。美國莫里斯在提出語形學、語義學和語用學的區分時，認為語義學是對指符號與它可以運用於其上的對象之間的關係的研究。卡爾納普贊同...
語義是通過一定的語音或者是語音的次序來傳達的。比如說在英語裡，（DEAD BODY OF A PERSON）用來表達單詞corpse（屍體），在這種情況下，我們說這個概念或語義被編進了辭彙。語言包括兩個子系統：一個是語音系統，一個是語義系統。語音...
Kripke 語義（也叫做關係語義或框架語義，並經常混淆於可能世界語義）是模態邏輯系統的形式語義，於 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它後來為另一個非經典邏輯，最重要的直覺邏輯所接受。Kripke 語義的發現是非經典...
語義網的概念是由全球資訊網聯盟的蒂姆·伯納斯-李(Tim Berners-Lee)在1998年提出的一個概念,實際上是基於很多現有技術的,也依賴於後來和text-and-markup與知識表現的綜合。其淵源甚至可以追溯到20世紀60年代末期的Collins、Quillian、Loftus等...
語義分析法（method of semantic differential）又稱語義分化法、語義差異法、雙極形容詞分析法，由美國心理學家奧斯古德（Charles E.Osgood）和其同事所創立的。語義分析法是運用語義區分量表來研究事物的意義的一種方法。含義簡介 通過人...
語義信息是信息的表現形式之一，指能夠消除事物不確定性的有一定意義的信息。對信息接受者來說，信息可表現為語法信息、語義信息和語用信息三個層次。語義信息可以藉助自然語言去領會和解釋。只有人類社會的信息才包含語義信息。凡科學信息...
語義分析是編譯過程的一個邏輯階段， 語義分析的任務是對結構上正確的源程式進行上下文有關性質的審查，進行類型審查。語義分析是審查源程式有無語義錯誤，為代碼生成階段收集類型信息。比如語義分析的一個工作是進行類型審查，審查每個算符...
語義詞典（semantic dictionary）是2011年公布的語言學名詞。定義 收錄辭彙語義信息的語言知識庫。除了描述辭彙意義以外，通常還描述詞語之間的各種意義關係，包括聚合關係和組合關係，也常用網狀結構或樹形結構表示詞語的概念之間的各種關係。
語義關係類型指的是語義關係根據不同的分類條件劃分的類型。對語義關係進行分類可以幫助我們理解語義關係的含義及特性，以便發揮語義關係在信息組織中的作用。許多學者都嘗試過以某種特定的劃分標準來列舉語義關係的綜合列表。構建列表的方法...
語義描述，分析和描寫語義的方法和過程。語義描述往往賦予語義一種邏輯形式。有些語義學家主張僅對語言的理性意義進行描述，英國學者利奇（Geoffrey N. Leech，1936— ）認為理想的語義描述應包括以有限的規則和結構來為某一語言預測關於...
語義類型(semantic type)指的是按語義關係劃分的語言表達式的類。語義類型和語法範疇是有一一對應的關係。而且出於對語言表達式的意義可作外延的意義和內涵的意義兩種分析，故語義類型也可分為語義的外延類型和語義的內涵類型。簡稱外延類型...
語義場是語義學中的一個新概念，傳統語義學中不包括語義場的理論。關於傳統語義學有人認為：“語言學家歷來對詞義感興趣，可是傳統的語文學家的興趣主要在於考證個別意義的演變①”。其研究方法屬於歷時語義學(Diachronic semantics)的範疇...
語義網路（semantic network）是一種以網路格式表達人類知識構造的形式。是人工智慧程式運用的表示方式之一。由奎林(J. R. Quillian)於1968年提出。開始是作為人類聯想記憶的一個明顯公理模型提出，隨後在AI中用於自然語言理解，表示命題信息...
語義層次模型是由柯林斯和奎利恩(Collins & Quillian, 1969)提出來的，是語義記憶研究領域中最著名的理論。這個模型的基本思想是，語義記憶是由概念之間的相互聯繫形成的一個巨大網路，而這個網路是有一定層次結構的，知識的提取就是這個...
語義法，通過多義詞語義的分解而構成新詞的方法。語義法，是指通過多義詞語義的分解而構成新詞的方法。一個多義詞的本義和轉義之間的語義联系完全喪失，就分解為兩個獨立的同音詞。漢語中通過語義法形成了同音詞有：“刻”（時刻的刻）...
語義網，是計算機業和網際網路業對網路下一階段發展所作出的術語化定義，其基本含義即基於網路建立任何微小數據的連線，這種連線不僅僅局限於網頁。這樣一來，任何微小的數據都可以與其他信息進行“溝通”。語義網，它的核心是：通過給全球資訊網...
語義分析方法是通過分析語言的要素、句法語境來揭示詞和語句意義的研究方法。在法律領域中，語言的功能不僅是一般性的交流思想。立法、執法和司法機構正是通過語言的操作來劃定權利與義務的界限，從而宣告和推行國家意志。分析哲學力圖藉助...
語義原型模型是指語義結構理論。羅施和肖本等人提出。認為使用類名詞時，人們頭腦中總伴有一個代表這類事物的範例典型即原型，並用這個原型來鑑別其他同類成員。原型與同類成員處在一定的結構關係之中，原型在中心，其他成員則視其與原型的...
語法和語義是定義一個程式設計語言所涉及的兩個重要側面：語法涉及程式文法結構，研究程式設計語言所允許的成分結構形式；而語義則涉及文法上正確的程式的含義，研究語言與其所指對象間的關係。程式設計語言語義是為了指明給出程式設計語言的...
解釋語義學是語義學的一種。與“生成語義學”相對。生成語言學的語義理論、關於表征層面之問聯繫方式的分析理論。這種理論，以句法為基礎，首先生成句法表達式，然後轉變為語義表達式：在該理論中，語義規則將句法深層結構與語義部分相聯繫，...
語義解釋 Lp的語句首先僅僅是一些符合和符號串 Lp的語句首先僅僅是一些符合和符號串，並沒有任何意義。我們只有賦予它們一些解釋之後，他們才有意義。這樣的解釋叫做語義解釋。