相關詞條
-
語義分析方法
語義分析方法是通過分析語言的要素、句法語境來揭示詞和語句意義的研究方法在法律領域中，語言的功能不僅是一般性地交流思想。立法、執法和司法機構正是通過語言的...
-
語義動態分析方法探索
(一)語義描寫 一 一
圖書信息 內容簡介 目錄 -
語義格線：模型方法與套用
人工智慧瑟專家系統的研究開發。目前主要研究領域包括語義格線與知識服務、中醫藥知識系統與挖掘、普適嵌入計算及實時系統等。內容簡介《語義格線:模型方法與套用》在對這一國際前沿領域進行分析和綜述的基礎上，圍繞語義格線的表達...
圖書信息 作者簡介 內容簡介 目錄 -
語義網
語義網是對未來網路的一個構想，現在與Web 3.0這一概念結合在一起，作為3.0網路時代的特徵之一。簡單地說，語義網是一種智慧型網路，它不但能夠理解詞語和...
概念 基本特徵 區別 實現 現狀 -
語義網信息組織技術與方法
《語義網信息組織技術與方法》通過對語義網信息組織原理與機制的剖析，分別從理論、技術及套用層面研究和探討語義網信息組織。
內容簡介 作者簡介 目錄 -
語義代碼
語義代碼是一種後組式情報檢索語言。語義代碼是一種嚴密的邏輯語言體系，每個辭彙單元的語義結構都用明確的形式表示。
語義代碼 正文 配圖 相關連線 -
語義學術
語義學術是由美國西雅圖非營利性機構——艾倫人工智慧研究所（AI2）創建的基於人工智慧的搜尋引擎，該搜尋引擎於2015年11月首次亮相。
簡介 版本更新 用戶評價 -
語義指向分析
《語義指向分析》是一篇分析文章，作者：陸儉明。
指向分析 引言 產生背景 結束語 參考文獻 -
指稱語義
指稱語義，計算機術語，在計算機科學中，指稱語義是通過構造表達其語義的(叫做指稱(denotation)或意義的)數學對象來形式化計算機系統的語義的一種方法。
概況 遞歸程式的語義 指稱語義的發展 完全抽象 語義與實現 -
關係語義
Kripke 語義（也叫做關係語義或框架語義，並經常混淆於可能世界語義）是模態邏輯系統的形式語義，於 1950 年代晚期和 1960 年代早期由 Sau...
模態邏輯語義 基本定義 對應性完備性 規範模型 有限模型性質
