語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列程式操作來確定的,這些程式操作是人類認知系統中基本的心理操作。
基本介紹
- 中文名:語義程式模型
- 外文名:semantic procedural model
語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列程式操作來確定的,這些程式操作是人類認知系統中基本的心理操作。
語義程式模型(semantic procedural model)亦稱“程式語義學”。是指語義結構理論。在語義特徵分析理論基礎上.結合計算機編程原理而形成,認為一個詞的意義是通過一系列程式操作來確定的,這些程式操作是人類...
《具有模糊性程式語義模型的研究》是依託華東師範大學,由陳儀香擔任項目負責人的面上項目。項目摘要 計算機語言的語義研究是計算機科學技術研究的大方向之一,她主要包含了操作語義、指稱語義、公理語義以及謂詞演算系統等類型的語義模型,其...
語義層次模型是由柯林斯和奎利恩(Collins & Quillian, 1969)提出來的,是語義記憶研究領域中最著名的理論。這個模型的基本思想是,語義記憶是由概念之間的相互聯繫形成的一個巨大網路,而這個網路是有一定層次結構的,知識的提取就是這個...
語言的形式語義是用數學模型去表達該語言描述的可能的計算來給出的。形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義形式化的學科。語義 模型...
完全完備性: 語義模型的所有態射應當是程式的指稱。在指稱語義中長期存在的重點是完全抽象存在於歸納類型中,特別是自然數的類型,作為接受用做遞歸的一種方法的類型。這個問題的傳統解釋是作為系統PCF語言的語義。在 1990年代成功的用博弈...
Hoare 和Milner在20世紀70年代後期,分別提出並發程式的CCS和CSP 模型,他們把輸入輸出以及並行執行作為基本語法成分引入程式設計語言,並使用結構操作語義方法定義模型中基本語法成分的操作語義,開創了用代數方法研究並發程式中通信和並行行為...
《漢語語義知識獲取與語義計算模型研究》是依託華中師範大學,由何婷婷擔任項目負責人的重大研究計畫。項目摘要 研究適於句子與篇章的漢語語義計算模型,包括語義知識形式化表示方法、文本的語義表征模型、語義計算方法。研究內容和特色包括:①...
語義原型模型是指語義結構理論。羅施和肖本等人提出。認為使用類名詞時,人們頭腦中總伴有一個代表這類事物的範例典型即原型,並用這個原型來鑑別其他同類成員。原型與同類成員處在一定的結構關係之中,原型在中心,其他成員則視其與原型的...
另外,公理語義學還研究和尋求適用於描述程式語義、便於語義推導的邏輯語言。例如,用時態邏輯定義的語言的公理語義又稱為時態語義。典型的公理語義方法是Hoare公理系統。代表人物有R.W.Floyd和C.A.R Hoare;如果掌握了形式語義學裡面的...
三維模型生成一直是計算機圖形學領域的難點問題之一。本項目立足於人造物體三維模型所具有的豐富語義信息,圍繞模型生成問題的兩個重要方面,即面向低成本設備的三維模型快速獲取與重建,以及面向創造式建模的智慧型啟發與建議生成,研究基於語義...
語義表示程式的含義,亦即表示按照各種方法所表示的各個記號的特定含義,但不涉及使用者。歷史 有許多用於特殊用途的語言,只在特殊情況下使用。例如,PHP專門用來顯示網頁;Perl更適合文本處理;C語言被廣泛用於作業系統和編譯器(所謂的系統...
計算機系統中還要有保存程式的區域,和保存加工過程中必要信息的工作區。就此可提出一種解釋執行算術表達式求值的抽象機器的模型。這個機器的存儲區分成三部分:棧區(用作工作區),環境區(保存數據向量等),控制區(保存程式),整個存儲區...
一般初學者都是通過學習一種程式語言來學習使用計算機的。因此程式語言又是普及計算機知識的工具,人類走進計算機世界的鑰匙 簡介 在了解電腦程式語言時應該注意它的三個方面,即語法(syntax)、語義(semantics)、語用(pragmatics)。語法表示...
本項目通過研究深度語義表示模型,提取重要信息的摘要系統以及關鍵信息引導的文本生成來滿足用戶對精準信息的需求。本項目研究主題增強的語義表示,深入挖掘突出類別性和關聯性特徵的統一聯合語義表示框架和信息抽取技術。此外,該研究引入知識...
潛語義標引模型是由S.Derewester和S.T.Dumais提出,其將標引詞之間、文獻之間的相關關係以及標引詞與文獻之間的語義關聯都考慮在內,將文獻向量和提問向量映射到與語義概念相關聯的較低維度的空間中,從而把文獻的標引詞向量空間轉化為...
《客觀知識體系中的語義傳遞模型研究》是依託大連理工大學,由裘江南擔任項目負責人的面上項目。項目摘要 針對客觀知識體系中概念之間相關關係的判斷方法缺乏系統研究的問題,通過對其語義傳遞模型的研究來解決客觀知識體系中兩種或兩種以上相鄰...
中國數學家、語言學家周海中教授曾在經典論文《機器翻譯五十年》中指出:要提高機譯的質量,首先要解決的是語言本身問題而不是程式設計問題;單靠若干程式來做機譯系統,肯定是無法提高機譯質量的;另外在人類尚未明了大腦是如何進行語言...