語義推理(semantic inference)指的是依據詞項之間的語義關係而進行的推理。例如,從“李四是上海人”可推出”有人是上海人”和“李四是中國人”等。這種推理不同於命題邏輯或渭詞邏輯中的形式推理,這種推理所依據的乃是詞項“李四”與“人”、“上海人”與“中國人”之間具體的語義關係。語義推理主要有三類:(1)同義關係推理;(2)下義關係推理;(3)反義關係推理。
語義推理(semantic inference)指的是依據詞項之間的語義關係而進行的推理。例如,從“李四是上海人”可推出”有人是上海人”和“李四是中國人”等。這種推理不同於命題邏輯或渭詞邏輯中的形式推理,這種推理所依據的乃是詞項“李四”與“人”、“上海人”與“中國人”之間具體的語義關係。語義推理主要有三類:(1)同義關係推理;(2)下義關係推理;(3)反義關係推理。
語義推理(semantic inference)指的是依據詞項之間的語義關係而進行的推理。例如,從“李四是上海人”可推出”有人是上海人”和“李四是中國人”等。這種推理不同於...
語言所蘊含的意義就是語義(semantic)。簡單的說,符號是語言的載體。符號本身沒有任何意義,只有被賦予含義的符號才能夠被使用,這時候語言就轉化為了信息,而語言的...
顧名思義,所謂語義搜尋,是指搜尋引擎的工作不再拘泥於用戶所輸入請求語句的字面本身,而是透過現象看本質,準確地捕捉到用戶所輸入語句後面的真正意圖,並以此來進行...
Kripke 語義(也叫做關係語義或框架語義,並經常混淆於可能世界語義)是模態邏輯系統的形式語義,於 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它後來為另一...
在邏輯的語義中,真值語義是對 Tarski主義語義的一種替代選擇。它主要由 Ruth Barcan Marcus、H. Leblanc、M. Dunn 和 N. Belnap 所擁戴。它也叫做(量詞的)...
語義網路(semantic network)是一種以網路格式表達人類知識構造的形式。是人工智慧程式運用的表示方式之一。由奎林(J. R. Quillian)於1968年提出。開始是作為人類...
三段論推理是演繹推理中的一種簡單推理判斷。他包括:一個包含大項和中項的命題(大前提)、一個包含小項和中項的命題(小前提)以及一個包含小項和大項的命題(...
語義分析是編譯過程的一個邏輯階段, 語義分析的任務是對結構上正確的源程式進行上下文有關性質的審查,進行類型審查。語義分析是審查源程式有無語義錯誤,為代碼生成...
時間推理包括兩種相關的推理:時間語義推理和時間同階推理。時間語義推理時間語義推理使用參數命題的一組時間語義屬性(如,向下繼承,可連線等)進行推理。推理的輸入可為...
語義網,是計算機業和網際網路業對網路下一階段發展所作出的術語化定義,其基本含義即基於網路建立任何微小數據的連線,這種連線不僅僅局限於網頁。這樣一來,任何微小的...
語義搜尋引擎是語義網時代的搜尋引擎,是語義技術最直接的套用,它從詞語所表達的語義層次上來認識和處理用戶的檢索請求。...
邏輯語義學,是一門新興的學科,為分析哲學的一大支派。邏輯觀的進步是邏輯語義學發展的內在動力。古典邏輯觀向現代數理邏輯觀的轉化促成了塔斯基邏輯語義學的產生,但...
《面向知識表示與推理的自然語言邏輯》以知識表示與推理為套用牽引,以非經典邏輯(包括哲學邏輯和語言邏輯)為理論驅動,針對自然語言的內涵性、模糊性、互動性、形態性...
《不確定性推理技術》是廣西師範大學出版社出版的圖書,作者是張師超,嚴小衛等。...... 知識的語義、不確定性推理中的一些問題討論、幾個經典的推理模型、帶語義信息...
以模糊集合論為基礎描述工具,對以一般集合論為基礎描述工具的數理邏輯進行擴展,從而建立了模糊推理理論。是不確定推理的一種。在人工智慧技術開發中有重大意義。...
範例推理CBR是由目標範例的提示而得到歷史記憶中的源範例,並由源範例來指導目標範例求解的一種策略。它是一種重要的機器學習方法。它是指借用舊的事例或經驗來解決...
不確定性可以理解為在缺少足夠信息的情況下做出判斷,是智慧型問題的本質特徵;推理是人類的思維過程,它是從已知事實出發,通過運用相關的知識逐步推出某個結論的過程。...
《同聲傳譯中的推理與預期》首先從心理語言學的角度對同聲傳譯的研究進行了解析,並得出了結論:同聲傳譯是一種獨特的極限認知條件下的人類語言活動,受制於短期的...
推理控制( Inferential Control)是過程控制的一個重要方法,是由美國Brosilow和Tong等人於 1978 年提出來的,是一種新的單變數推理控制器的設計方法,用該方法設計出來...
語義網是對未來網路的一個構想,現在與Web 3.0這一概念結合在一起,作為3.0網路時代的特徵之一。簡單地說,語義網是一種智慧型網路,它不但能夠理解詞語和概念,而且還...