[發明專利]關系定義一切語義的存在計算模型中的語義識別和推導方法

在審

• 申請號: 201910856230.0
• 申請日: 2019-09-11
• 公開（公告）號: CN110598215A
• 公開（公告）日: 2019-12-20
• 發明（設計）人: 段玉聰;湛樓高
• 申請（專利權）人: 海南大學
• 主分類號: G06F17/27
• 分類號: G06F17/27
• 代理公司: 暫無信息
• 代理人: 暫無信息

本發明提出一種關系定義一切語義的存在計算模型中的語義識別和推導方法，其存在計算模型包括存在級別跟蹤模塊，傳遞存在價值評估模塊，以自上而下的方式擴展存在傳遞價值的推理和以自下而上存在的傳遞價值的公理和模塊，旨在解決概念語義的識別、建模和概念的語義形式化等問題。

技術領域

本發明是一種關系定義一切語義的存在計算模型中的語義識別和推導方法，屬于概念識別和形式化計算的交叉領域。

背景技術

標配化學元素周期，門捷列夫的周期表，根據原子序數，電子構型和根據化學元素排列的重復化學性質呈現表格。在其排列中，周期表成功地顯示了包含具有相似化學行為的元素的行和組的周期性趨勢。表中元素的組織顯示了與不同源自軌道相關的直觀矩形塊。對周期表的分析可以指示化學元素的各種性質之間的潛在關系，并且可以用于預測具有某些性質和行為的當前未發現或不存在的元素。

本發明提出一種關系定義一切語義的存在計算模型中的語義識別和推導方法，旨在提供關系方面所有事物的建構性語義表達的全局統一，本發明已確定包含具有支持潛在平直的可解釋組成概念的基本概念領域。

發明內容

技術問題：概念識別，建模和概念的語義形式化，對于在個體之間共享思想以及在通信期間在離散思想中的積累進步是必要的。概念在概念上得到澄清和語義形式化的程度上很大程度上決定了這些概念能夠在多大程度上發揮積極作用，被其他人理解為正確，并且能夠有效和高效的正確的用作一致性。然而，經過長時間的努力，我們仍然不完全滿意自然語言形式的一些根概念的概念啟示和語義形式化，例如，軟件風格，結構，模式，框架，架構，服務，數據信息，知識，智慧等。

技術方案：本發明提出一種關系定義一切語義的存在計算模型中的語義識別和推導方法，其模型包括存在級別跟蹤模塊，傳遞存在價值評估模塊，以自上而下的方式擴展存在傳遞價值的推理和以自下而上存在的傳遞價值的公理和模塊。

體系結構：

本發明提出一種關系定義一切語義的存在計算模型中的語義識別和推導方法；其特征在于概念語義基于存在計算模型進行識別、建模；沒有足夠的背景語義的狀態在基于傳遞模型中推理并進行細化。其存在計算模型，還包括

（1）存在級別跟蹤模塊，確認概念a的存在，只要存在一個概念b，就可以用足夠的背景語義來確定一類支持概念b的實例的存在或者一類支持概念b的實例集的非空的存在，此確認僅指定存在一類非空事物，這些事物代表具體實例或支持事物。

（2）傳遞存在價值評估模塊，一組有限或無限的實例選擇或直接與確認存在E=1捆綁在一起的特定原子實例；原子實例指的是對其自身存在的最終評價不依賴于其他事物的實例；根據自下而上傳遞存在一致性公理，由于E=1的可傳遞性或直接可追蹤的基礎事物都不能確定支持在它們之上構建其E=1，否則存在E=1的支持將被拒絕，或者E=0的存在價值可以得到支持；其中E=0/1代表的事物的存在值。

（3）自下而上存在的傳遞價值的公理和模塊，自下而上傳遞存在一致性公理為：物品存在的價值將根據自下而上的方式根據相關事項進行評估，自下而上指的是頂部的東西是底部元素的聚合，組成，抽象或覆蓋；在自下而上的方式中，只要事物本身不是具有E=0的存在值的原子事物或事物，事物的存在的價值就一致且可傳遞地依賴于其依賴事物之一的存在，其本身不是直接評估E=0或E=1的存在值的東西。其傳遞價值確定模塊為：

（i） 如果根據E_thingA=0和E_thingB=1對其依賴事物的多個選擇存在不同的存在值，則原則是其上層事物的存在值為E=1；

（ii） 如果所有基礎事物的存在價值在E=1或E=1方面始終相同，則原則是其上層事物的存在價值與其基礎事物的存在價值一致；