《推理Web服務》是2006年出版的圖書,作者是Franconi,Enrico。
基本介紹
- 作者: Franconi, Enrico
- 出版時間:2006年12月
- 出版社:Springer
- 頁數:268 頁
- ISBN:9783540384090
- 定價:508.5 元
- 副標題:SecondInternational
《推理Web服務》是2006年出版的圖書,作者是Franconi,Enrico。
提出新的多主體約束自動機模型,將服務抽象為主體自動機,刻畫主體互動接口、主體協同機制以及組合系統的操作行為,從而將Web服務組合抽象為多主體系統。在此模型上提出新的多主體認知邏輯,融合時態、命題動態邏輯、數據流邏輯和動態認知邏輯,可對主體認知狀態進行表示和推理。通過對該多主體認知邏輯的基礎理論和關鍵技術...
《基於擴展模糊自動機的組合Web服務驗證方法研究》是依託陝西師範大學,由雷麗暉擔任項目負責人的青年科學基金項目。項目摘要 利用模糊和不精確推理判定組合Web服務是否滿足用戶提出的系統性質是推廣組合Web服務驗證需要解決的一個難題。語義Web和模糊邏輯的結合及其研究成果為解決該問題提供了切實可行的基礎。本項目提出基於...
語義全球資訊網服務 語義全球資訊網服務(semantic Web service)是2018年公布的計算機科學技術名詞。定義 利用語義網技術標註了語義信息的全球資訊網服務。可以通過語義推理實現自動化的服務搜尋、組合和執行。出處 《計算機科學技術名詞 》第三版。
《Web規模RDF圖數據的高效率路徑查詢及推理研究》是依託天津大學,由王鑫擔任項目負責人的青年科學基金項目。項目摘要 作為語義Web的數據基礎,RDF圖數據在連結數據運動推動下規模已達百億條三元組。在Web規模RDF圖上高效率導航式路徑查詢扮演著重要角色。但RDF標準查詢語言SPARQL不支持路徑查詢,造成任意長度導航和本體層...
本書根據Web服務組合的生命周期,展開語義Web服務組合關鍵技術研究,重點在:Web服務和Web服務組合的形式化模型,Web服務自動組合的推理算法,Web服務組合的正確性驗證,Web服務組合的異常處理等四個方面進行了有效的探索與嘗試,使用Petri網形式化技術提出了具體的解決方法,同時開發了一個基於顏色Petri網的Web服務組合原型...
2.5.2 基於邏輯推理的服務候選 2.5.3 仿真服務描述信息的獲取 本章小結 第3章 多元化的仿真服務建模技術 3.1 仿真服務技術體系 3.1.1 基於SOAP的Web服務 3.1.2 格線服務 3.1.3 WSRF 3.1.4 擴展服務 3.2 服務實現技術的套用特徵與選擇 3.2.1 模型的狀態與服務技術的支持 3.2.2 模型實例與服務...
《面向目標的語義Web服務測試》是依託東莞理工學院,由胡天明擔任項目負責人的青年科學基金項目。項目摘要 隨著語義Web服務本體推理和自動發現的技術日臻成熟,如何自動驗證所發現服務的可信度就成為一個亟待解決的問題,其任務就是測試服務是否滿足了用戶的目標需求。由於運行環境的動態性,針對語義Web服務的測試更加困難。...
實驗結果驗證了所提出的自動化服務組合的可行性和有效性。 實時Web服務組合對服務搜尋的準確性和服務組合的快速性提出了更高的要求。本項目提出了基於語義Web的實時服務組合算法,滿足了服務組合的時間約束並減少了服務組合的回響時間。建立了時間本體結構和推理規則,通過邏輯推理對搜尋信息進行預處理。利用該策略對...
Logic負責提供公理和推理規則,而Logic一旦建立,便可以通過邏輯推理對資源、資源之間的關係以及推理結果進行驗證,證明其有效性。通過Proof交換以及數字簽名,建立一定的信任關係,從而證明語義Web輸出的可靠性以及其是否符合用戶的要求。套用 語義Web提供各種依靠語義的自動化服務,如天氣預報服務、航班信息服務、線上航班預定...
最後,以社會網路與複雜網路的理論與方法為指導,構建層次化、多區域的服務社區結構,設計基於規則的服務選擇和推薦衝突解決策略,利用本體和規則相結合的混合推理方法,實現服務的語義互操作。結題摘要 以服務網路(Web Service Network,SN)為核心,基於Linked Open Data(LOD)等多個開放共享本體,研究Web服務計算中的...
BN)這一重要機率圖模型的構建和推理為核心,擴展現有方法、基於數據密集型計算平台與技術,提出了針對數據海量、分散式、動態和不確定性的BN構建框架和算法;2、在所構建模型的基礎上,提出了面向數據密集型計算的BN機率推理方法;3、將模型的構建與機率推理方法用於Web服務數據、社會用戶行為數據、無線感測器網路數據的...
4.1 Web知識表示 4.1.1 本體 4.1.2 資源描述框架 4.1.3 Web本體語言 4.1.4 問題解決標記語言 4.2 Web推理 4.2.1 基於OWL的推理 4.2.2 Web案例推理技術 4.2.3 Web規模推理 4.2.4 Web推理典型套用 4.3 小結 參考文獻 第5章 Web挖掘 5.1 數據挖掘 5.1.1 關聯規則 5.1.2 文本挖掘 ...
1.1.3 語義Web的層次模型 1.2 什麼不是語義Web 1.2.1 語義Web和知識表示 1.2.2 語義Web和E.R模型 1.2.3 語義Web和關係資料庫 1.2.4 語義Web和推理系統 1.2.5 語義Web和概念圖 1.3 語義Web發展簡史 1.4 在語義Web中共享數據 1.4.1 指派URI 1.4.2 調整已有數據 1.4.3 發布數據 1.5 ...
《基於Agent的動態Web服務組合自適應演化機制研究》是依託揚州大學,由李斌擔任項目負責人的面上項目。項目摘要 本項目旨在研究基於Agent的動態Web服務組合自適應演化機制。首先,結合BDI和情境演算理論的優點構造一個面向動態服務組合的智慧型Agent結構,使之既能表示用戶個性化需求的可變服務組合流程,又能進行行動推理和規劃...
5.3.7 模型推理的初始化 67 5.4 實驗評估 68 5.4.1 數據集 68 5.4.2 對比方法 68 5.4.3 不同張量密度下的性能對比 69 5.5 本章小結 71 第6章 基於深度神經網路的動態服務質量預測 72 6.1 引言 72 6.2 STCA模型 72 6.3 參數學習 78 6.4 實驗評估 79 6.4.1 數據集 79 6.4.2 ...
3.3.2基於服務參數相似度的Web服務匹配實例65 3.3.3算法性能分析與測試68 3.4相關工作70 3.5小結72 本章參考文獻72 第4章基於動態描述邏輯的Web服務匹配74 4.1用動態描述邏輯定義Web服務的基本思想74 4.2語義Web服務的邏輯基礎75 4.2.1描述邏輯75 4.2.2動態描述邏輯77 4.2.3動態描述邏輯中的推理79 ...
《WEB搜尋與挖掘的新理論與方法》是依託北京大學,由李曉明擔任負責人的重點項目。項目摘要 瞄準Web 3.0的智慧型搜尋引擎,深入研究Web搜尋與挖掘的新理論和方法:(1)研究Web的性質與演化規律,探索Web信息的基本特徵,提出Web信息蒐集的新模式和方法;(2)研究Web信息的語義表示與推理,探索異構Web信息關聯、集成與...
《Web 3.0與Semantic Web編程》是2010-6出版的圖書。內容介紹 語義Web的問世使網站開發領域變得煥然一新。您可以藉助語義Web的強大功能,來構建可以運用Web及企業中的信息和服務的智慧型軟體。語義Web促進了數據集成、處理和推理的自動化,履行了Web 3.0的承諾。《Web 3.0與Semantic Web編程》指引您運用語Y.Web...
《面向語義Web的Ontology計算與語義推理技術研究》是姚紹文為項目負責人,雲南大學為依託單位的地區科學基金項目。科研成果 項目摘要 根據語義Web的核心理論和技術發展,採用KE的Ontology工程方法,研究基於OIL+DAML的邏輯描述原語擴展,面向語義Web的PSM理論和機制,語義Web資源聚類和Ontology學習算法。PSM方面,研究推理引擎的...
SWRL(Semantic Web Rule Language)是由以語義的方式呈現規則的一種語言,SWRL的規則部分概念是由RuleML所演變而來,再結合OWL本體論形成。SWRL已經是W3C規範中的一員。在RuleML中以head表示推理結果,body表示推理前提的基本形態被保留在SWRL中,所以SWRL可視為規則和本體論的結合。透過兩者的組合可使撰寫規則時,直接...
旗正規則引擎,是由杭州旗正信息技術股份有限公司獨立開發的一款規則引擎。規則引擎由推理引擎發展而來,是一種嵌入在應用程式中的組件,實現了將業務決策從應用程式代碼中分離出來,並使用預定義的語義模組編寫業務決策。接受數據輸入,解釋業務規則,並根據業務規則做出業務決策。產生背景 企業管理者對企業級IT系統的開發...
基於貝葉斯決策的多QoS 目標的Web 服務選擇策略,利用貝葉斯決策理論,在用戶自己的經驗庫中進行學習,進而做出更可能讓用戶滿意的選擇。2.1 貝葉斯理論介紹 貝葉斯理論是一種運用機率手段來進行推理的方法,被廣泛用於機器學習領域。它基於如下的假定,即待考查的量遵循某機率分布,且可根據這些機率及已觀察到的數據進行...
迄今,知識技術的發展已包括語義網、知識本體、元數據、信息檢索方法、貝葉斯分類器、產業化自然語言處理、基本代理技術、虛擬協同和聯合、網際網路推理服務、多語言實時自然語言處理.泛在計算基礎設施、格線計算等。知識技術在發展過程中也面臨了一些挑戰,如領域知識本體和通用知識本體的建造和管理、知識內容的自動化、知識...
用戶曾經選擇的 Web 服務及當時對該服務是否滿意的集合,即“經驗庫” 中隱含著自己的偏好信息。基於貝葉斯決策的多QoS 目標的Web 服務選擇策略,利用貝葉斯決策理論,在用戶自己的經驗庫中進行學習,進而做出更可能讓用戶滿意的選擇。2.1 貝葉斯理論介紹 貝葉斯理論是一種運用機率手段來進行推理的方法,被廣泛用於機器...
在小型化方面,依託模型搜尋、知識蒸餾、模型量化等技術,構建晶片模型結構設計、模型壓縮、推理最佳化一站式服務平台,加速大模型小型化及其在不同場景、不同硬體平台落地套用。在套用方面,作為文心大模型的核心之一,文心·CV大模型VIMER已廣泛套用在自動駕駛、雲智一體、移動生態等核心業務中 ,並在能源、工業、保險、...
2.吳文俊人工智慧科學技術創新獎——大數據挖掘算法與雲服務, 二等獎, 省級, 2015 3.北京市科學技術獎——主體格線智慧型平台, 三等獎, 省級, 2006 媒體報導 1.何清:大數據挖掘領域的開拓者 2.中國人工智慧學會副秘書長何清:智慧型技術正向認知、推理階段推進 主要貢獻 學術貢獻 1.提出了基於超曲面的覆蓋學習算法...
創始人曾西靈(阿西)資深WEB軟體研發工程師,專注於智慧型服務端程式的研發,多年從事網站管理及Web程式研發,具有百萬餘行程式代碼經驗。擅長邏輯推理、數據挖掘、算法研究、數據安全與分析處理,網站定位、網站策劃、網站運營管理。敢於探索、勇於創新、精益求精,具有深厚的知識積累和獨特的見解。網路服務項目 網路編程開發 ...
Amazon IoT Greengrass將本地計算、訊息收發、數據管理、同步和 ML 推理功能引入邊緣設 備 FreeRTOS適用於微控制器的實時操作系 統 Amazon IoT Device DefenderIoT設備的安全管 理 Amazon IoT Events IoT事件檢測和響 應 Amazon IoT Analytics IoT設備分 析 Amazon IoT Sitewise IoT從工業設備中大規模收集、組織和...
然後提出了一種新的基於頻繁RDF圖模式劃分的並行RDF數據處理方法;針對RDF數據的結構化查詢處理,提出了一種基於Prüfer序列化索引的查詢處理方法和一種RDF快取策略;在已有的分散式語義Web推理的基礎上,提出了一種基於MapReduce框架的語義Web推理解釋服務;針對查詢最佳化中普遍存在的組合最佳化問題,研究了使用基於MapReduce的...