《語言形式化原理》是2016年上海大學出版社出版的圖書,作者是王邁。
基本介紹
- 中文名:語言形式化原理
- 作者:王邁
- 出版社:上海大學出版社
- ISBN:9787567119185
《語言形式化原理》是2016年上海大學出版社出版的圖書,作者是王邁。
《語言形式化原理》是2016年上海大學出版社出版的圖書,作者是王邁。內容簡介 《語言形式化原理》(上海外國語大學2013年度校級重大科研項目“漢語國際教育和中國文化傳播的對策研究”的階段性研究成果,項目編號KX16105...
現行的形式語法系統是Chomsky於1959年為了描述自然語言而提出的一種理論模型 如何嚴格的定義形式化的語言 形式文法:一個形式文法G由四個部分組成,可記作G={VN, VT, S , P },其中:VN:稱為文法G的非終結符號字母表,VN不出現在G...
這種半形式化的語言具有以下三個重要特徵:( 1 ) 無窮性 由於數學研究的對象是“數”與“量”這些無窮概念。而與之相應的任何一種數學語言都是一種無窮語言。因此,它們具有更強的表達能力。就拿最簡單的算術語言來說,它研究的...
模糊性是自然語言的特徵之一。語義模糊性是人工智慧、認知科學、計算語言學等諸多學科交叉融合的“軸心”。模糊語義的理論研究和形式化描述是一項值得深入探討的關鍵科學問題。 本項目著眼於自然語言的模糊語義形式化表達、定量分析與套用研究...
自然語言處理,即實現人機間自然語言通信,或實現自然語言理解和自然語言生成是十分困難的。造成困難的根本原因是自然語言文本和對話的各個層次上廣泛存在的各種各樣的歧義性或多義性(ambiguity)。自然語言的形式(字元串)與其意義之間是一...
可表達性原理是言語行為理論巾的重要原理。它可以概述為:“任何可以意謂的東西都可以說出來。”其形式化的表述是:對於任一意思X和任一說話者S,在任何時候,如果S要意謂(意圖傳達、願意以一段話語來進行交流,等等)X,那么就可能...
在音位與音位區別特徵理論方面取得突破,還注意將功能注意原理套用於解釋句法和文章結構上。二、哥本哈根語符學派:也叫丹麥學派。這一學派主要研究語言的符號性質,以及從符號的角度確定語言在人文科學中的地位,從形式和實體方面來分析語言...
《軟體工程形式化方法與語言》選取並介紹了三種代表性的形式化方法,它們分別是以集合論和一階謂詞演算為基礎的Z語言,以時態邏輯為基礎的XYZ,還有以直覺數學學派為基礎的類型理論。《軟體工程形式化方法與語言》既可以作為計算機專業的...
《基於規約語言的領域軟體形式化程度度量方法研究》是依託吉林大學,由包鐵擔任項目負責人的面上項目。項目摘要 形式化方法是軟體可靠性分析和高可靠軟體構建的最有力工具,形式化方法的套用程度能夠反映出軟體的質量情況,目前仍然缺乏對...
基於認知的自然語言自動形式化研究 《基於認知的自然語言自動形式化研究》是2023年中國社會科學出版社出版的圖書。
語言信息輸出就是把加工過的信息輸出給收話人。語言信息處理的各個環節要做到相互配合、協調一致,才能保證高效率。為了讓機器識別語言,自動處理語言信息,就要讓語言形式化,包括語法形式化和語義形式化。結構語法和轉換生成語法的形式分析...
通常把描述需求的形式語言稱為形式化需求描述語言。該語言的優點是能排除自然語言中的二義性,從而減少需求規格說明中的錯誤。由於這種語言的語法和語義被嚴格定義,故能對形式化需求描述進行語法和語義分析,以證明需求規格說明的正確性等...
第二章形式語義的基本理論及其自動分析的原理 2.1形式語義研究的基本理論思想 2.1.1模型理論 2.1.2規則對規則假設 2.1.3邏輯翻譯理論 2.1.4類型理論 2.2Prolog語言環境下的自動分析原理 2.2.1基於定子句語法的Prolog語言的基本...
《針對安全關鍵系統的多語言編程形式化驗證》是依託清華大學,由董淵擔任項目負責人的面上項目。項目摘要 航空等領域中對安全關鍵軟體的形式化驗證有著迫切的需求,尤其關注存儲安全性和正確性等特性。現實中的安全關鍵軟體通常都採用多種...
(一)語言自動機建造的信息-符號學原理 皮奧特羅夫斯基等將語言自動機理解為人類言語思維活動的實際運作模型,它是計算手段和程式手段的綜合體。其主要構件有:(1)功率相當強大的專業化計算機或通用計算機;(2)涵蓋大容量詞庫和必要語法...
由於認識到:非形式自然語言給需求定義帶來的種種不足,人們以軟體方法學為基礎,開始研究需求定義語言的形式化問題。提出諸如基於自頂向下途徑的SA,基於自底向上途徑的問題陳述語言PSL,以及基於面向對象思想的需求定義語者RML等,這類...
前者指的是對各 種語言信息進行處理, 後者指對語言本身進行信息化的處理。 這幾個概念的具體闡述請看下文“幾個常見術語的辨析”。語言信息處理源自20 世紀 50 年代 和 60 年代的機器翻譯,其基本原理是結合其他邊緣學科的知識, 解...
形式主義,指的是一種只看事物的表象而不加分析其本質的思想方法和工作作風。它違背了內容決定形式、形式為內容服務,內容與形式相統一的科學原理。形式主義的實質是主觀主義、功利主義;其根源是政績觀錯位、責任心缺失,用轟轟烈烈的...
在選擇語言級別時,成本也往往是一個有決定意義的因素。譬如說當要把一個單一的程式裝入成千上萬個單元時,可以採用能在廉價的OPU中運行的小規模彙編語言程式來降低硬體的開銷。使編程開銷的提高可由於硬體開銷的下降得以補償。實時語言的...
轉換生成語法的原理是,通過上下文無關語法生成句子的深層結構,然後套用轉換規則再將深層結構轉換為表層結構。在喬姆斯基的語法中基本上完全拋開了語義、語用和語境(廣義)方面的知識,只局限在一個形式化的機制上,因此很難完整確切地描述...
對象約束語言(OCL)是一種語境有關語言,用於編寫導航表達式、布爾表達式和其他查詢語句。它可用於構建約束表達式、監護條件、動作、前置條件和後置條件、斷言以及其他UML表達式。技術簡介 對象約束語言是一種形式化語言,它主要用於表示UML中...
方式,是名詞,意思是指“說話做事所採取的方法和形式”。我們常說的“表達方式”主要是指文章的寫作方法,以及這種方法所表現出來的語言形式特點。但是,生活中,“表達”的範圍很廣,例如繪畫、音樂的表達方式和文章的表達方式就不同,...
這理論用在人工智慧上,則指出有些道理可能是我們能夠判別,但機器單純用一階公理化系統斷卻無法得知的道理。不過機器可以用非一階公理化系統,例如實驗、經驗。推論 不完備性的結論影響了數學哲學以及形式化主義(使用形式符號描述原理)...
在理論計算機科學中,這是連線λ演算和類型論的毗鄰領域的一個重要的底層原理。它被經常以下列形式陳述為“證明是程式”。一個可選擇的形式化為“命題為類型”。其次,更加正式的,它指定了在兩個數學領域之間的同構,就是以一種特定...
這樣,Peano的公理4就可以用形式化的語言敘述為,(\forall x_1)(\forall x_2)((f_1(x_1)=f_1(x_2))-->(x_1=x_2))同樣Peano的其他公理以及加法、乘法公理也都可以明確表述出來。當然還需要給出語法規則和變形規則。
而證明則是以形式化語言表達的有限長度的序列。這種定義使得形式化證明不具有任何邏輯上的模糊之處。研究證明的形式化和公理化的理論稱為證明論。儘管理論上來說,每個非形式化的證明都可以轉為形式化證明,但實際中很少需要用到。對形式...
在這樣的情況下,語言對人類還有什麼意義呢?與此相應,人類自然語言要同時滿足這三個功能,就必須是具有相當程度的不確定性。這也就人類自然語言的“說不準原理”,即在任何一種語境中,語詞所指稱的對象都只是相對確定的。人類自然語言...