語義規則（semantic rules）是2003年發布的自然辯證法名詞，出自《自然辯證法名詞》第一版。
基本介紹
- 中文名：語義規則
- 外文名：semantic rules
- 所屬學科：自然辯證法
- 公布時間：2003年
公布時間,出處,
公布時間
2003年經全國科學技術名詞審定委員會審定發布。
出處
《自然辯證法名詞》第一版。
語義規則
相關詞條
- 語義規則
語義規則（semantic rules）是2003年發布的自然辯證法名詞，出自《自然辯證法名詞》第一版。公布時間2003年經全國科學技術名詞審定委員會審定發布。1出處《自然辯證法名詞》第一版。...
- 解釋語義學
解釋語義學是語義學的一種。與“生成語義學”相對。生成語言學的語義理論、關於表征層面之問聯繫方式的分析理論。這種理論，以句法為基礎，首先生成句法表達式，然後轉變為語義表達式：在該理論中，語義規則將句法深層結構與語義部分相聯繫，...
- 泛在語義位置轉換規則
國家標準《泛在語義位置轉換規則》（GB/T 40770-2021）規定了泛在語義位置數據模型、轉換規則與轉換方法。該標準適用於從泛在環境中獲取的語義位置之間的轉換。制定過程 制定背景 大數據時代，數據資源化是數據挖掘和有效信息提取的基礎步驟...
- 語義學
句法部分是這些符號的組合規則，規定什麼樣的符號序列可以是這個系統的句子，語義部分是對合格句子的解釋，這樣的解釋通常是：在一個模型中進行的對真值條件推導。邏輯學的語義學著眼點在於邏輯系統的語義解釋，是一個理想化的模型系統，不...
- 指稱語義學
一個指稱語義由兩部分組成 :（1）域 , 有些像類型。它們標識出與一個語言相關的語法和語義對象。對前綴表達式語言而言 , 語義對象就是值和環境 ; 語法對象則是表達式、變數、常量以及運算符等。（2）語義規則 , 從結構成分的語義...
- 非交叉語義並行計算模型及其語義組合規則
《非交叉語義並行計算模型及其語義組合規則》是依託北京大學，由袁崇義擔任負責人的面上項目。項目摘要 交叉語義假設是並行計算模型共同的語義基礎，其合理性卻沒有得到論證。人們追求並行程式系統的組合語義描述，迄今也沒有滿意的結果。上述...
- 語義(函式)
對於計算機科學來說，語義一般是指用戶對於那些用來描述現實世界的計算機表示（即符號）的解釋，也就是用戶用來聯繫計算機表示和現實世界的途徑。語義是對數據符號的解釋，而語法則是對於這些符號之間的組織規則和結構關係的定義。對於信息集成...
- 語法規則
一、組合規則，指語言單位一個接著一個組合起來的規則，它是現實的，存在於話語中。包括語素組合成詞的規則和詞組合成句子的規則，前者叫構詞法，它與詞的變化規則合在一起叫做詞法，後者叫做句法。二、聚合規則，指語法單位的分類和...
- 語義類型
t表示真值，是語句的外延。名稱的內涵是個體概念，即從可能世界到實體的函項，用內涵類型（s，e）表示：語句的內涵是命題，即從可能世界到真值的函項。用內涵類型（s，t）表示。根據相應的構成規則，可以構造導出的語義類型。
- 程式設計語言語義
操作語義一般指結構化操作語義(SOS)，又稱“小步語義” ，其顯著特徵是：在程式運行過程中，程式短語不斷地被替換成所計算的值。這種狀態轉換可用相應的公理和推導規則來描述。SOS 已被廣泛用於程式分析和形式化驗證等領域 。與 SOS ...
- 語義關係說
語義關係說是電報句組句規則理論。R．w．布朗等人提出。認為兒童是根據電報句中詞之間的語義關係來安排詞序，以一定的詞序來表達一定的語義關係。如說英語和說漢語的兒童，在施事和受事關係中，都是施事在受事之前；在所有者和所有物...
- 漢語複句句法語義關係判定研究
第三節 三句式標記充盈態複句的句法語義判定規則 71 一、三句式有標複句標記充盈態模式 71 二、三句式充盈態有標複句的句法語義關係判定 73 第四節 三句式複句“果-因”配置的層構關聯分析 79 一、三句式複句“果-因”配置的句法...
- 語義語法
語義語法（semantic grammar）是2011年公布的語言學名詞。定義 一種語言分析方法。按照具體領域中各個實體之間的關係設計語法規則，規則中包含句法成分和與句法成分相關的語義成分，規則的形式與上下文無關文法一致，用於該領域內語句的句法、...
- 關係語義
Jaakko Hintikka 在他的論文中介入了是 Kripke 語義的簡單變體的認識邏輯，等同於通過最大化一致集合的方式構造求值的塑造。他沒能為認識邏輯給出推理規則，所以沒能給出完備性證明；Richard Montague 有了包含在 Kripke 工作中的很多關鍵...
- 語義法學
普魯伯特強制，律師需要有“詞的意識”，規範和規則從其本身來說是含糊的，而且法院中的普通法訴訟程式的核心並不是規則，而是修辭學。他從法律的語義學認識出發，把正義定義為尋找某種能夠在多種相互衝突的前提中幫助作出選擇的語言指南...
- 卡茨—波斯托假設
卡茨—波斯托假設，亦稱“K—P假說”“意義保持假設”。1964年由轉換生成語法學派卡茨（Jerrold Katz，1932—2002）、波斯托（Paul Martin Postal，1936— ）提出。針對早期轉換生成語法理論只有嚴格的句法規則，而沒有語義解釋規則，從而...
- SWRL
SWRL（Semantic Web Rule Language）是由以語義的方式呈現規則的一種語言，SWRL的規則部分概念是由RuleML所演變而來，再結合OWL本體論形成。SWRL已經是W3C規範中的一員。在RuleML中以head表示推理結果，body表示推理前提的基本形態被保留在...
- 語法(語言的行文法則)
語法是從眾多的語法單位里抽象出其中共同的組合方式、類型及如何表達語義的規則。“語法從詞和句的個別和具體的東西中抽象出來，把作為詞的變化和用詞造句的基礎一般的東西拿來，並且以此構成語法規則、語法規律。”例如漢語裡有“看看、...
- 形式語言學
形式語言學是國際語言學研究的主流學派，主要是建立一套形式化的原則和規則系統，試圖從語言結構內部尋找對語言現象的解釋。相關簡介 形式語言學理論把句法獨立出來甚至作為核心自治系統，再分成詞法、句法、語義、語用等不同的部分。形式...
- 生成語法
例如我們都知道句子中哪個詞應該讀得最重,某個句子是什麼意思等等，因此完整的生成語法應該包括音系規則和語義規則，分別描寫人們頭腦中潛在的音系知識和語義知識。 喬姆斯基於1957年後做了幾年研究，到了1965年便建立起一個完整的生成...
- 短語(語言單位)
短語是由句法、語義和語用三個層面上能夠搭配的語言單位組合起來的沒有句調的語言單位，又叫詞組。它是大於詞而又不成句的語法單位。簡單的短語可以充當複雜短語的句法成分，短語加上句調可以成為句子。由語法上能夠搭配的詞組合起來的沒...
- 辭彙學
現代辭彙學傾向於用分解的辦法給詞下定義,即“詞”是形態的、句法的、語義的具體特徵的結合。承認詞的三個因素，各用不同的符號代表，可以較為簡便地說出詞的派生和詞類轉換等現象並寫出支配規則。詞義分析 概念意義 現代辭彙學採取基本...
- 自然語言
1. 基於句法—語義規則的理性主義方法受到質疑，隨著語料庫建設和語料庫語言學的崛起，大規模真實文本的處理成為自然語言處理的主要戰略目標；2. 自然語言處理中越來越多地使用機器自動學習的方法來獲取語言知識；3. 自然語言處理中越來越...
- EDIFACT
80 年代以後，WP.4 一直致力於有關 EDI 的基本標準的研究和制定工作，包括數據元素、編碼和語義規則的標準。這期間，推出了一系列標準，如《EDIFACT 語法規則》、《EDIFACT 語法實施指南》、《EDIFACT 標準報文》、《EDIFACT 標準段目錄...
- 功能合一語法
功能合一語法(functional unification grammar)簡稱FUU一種形式語法.是美國計算語言學家凱依(Kay, M.)提出的用於自然語言處理的形式語法.在這種語法中，詞條定義、句法規則、語義規則以及句子的結構功能關係全部都由複雜特徵集來表示，並採用...
- 形式語言
這類語言不是人為設計（雖然有人試圖強加一些規則）而是自然進化的。形式語言（Formal Language）是為了特定套用而人為設計的語言。例如數學家用的數字和運算符號、化學家用的分子式等。程式語言也是一種形式語言，是專門設計用來表達計算過程...
- 語篇分析
句末中心和句末重心的原則是兩條十分有用的原則，但它們並不是一成不變的規則，在有些結構中句子的語義中心並非在句末，如：It was John that wanted to take homethe typewriter.2、實義切分法（actual division of the sentence...
