【正文】 to benefit from the trading. (2) People (Consumers) have to be willing to submit problems. If solutions are readily available, consumers can benefit from the solutions. Problems without a solution may contribute to the development of a solution for them later. (3) The infrastructure has to acmodate providers and consumers of all sizes so that anybody who has a solution for some problem is willing to be a provider, and anybody who has a problem to solve is likely to use the infrastructure. (4) Providers usually like to protect the ‖know how‖ of a solution if possible. (5) A solution does not necessarily have to be a tool。A) system (., [3]) may be considered as another special problem solver that solves the problem: Find answers for the question (based on the documents collected by the system). Both keywordbased search engines and Qamp。 C. V. Ramamoorthy [27] P. . Sheu, SCDL for different problems, technical report, Department of EECS, University of California, Irvine, 2021. [28] P. . Sheu, A. Kitazawa, C. Ishi, K. Kaneko and F. Xie, From SemanticObjects to structured natural language, Int. J. Semantic Computing 1(3) (2021) 359–375. [29] P. . Sheu and A. Kitazawa, From SemanicObjects to semantic software engineering, Int. J. Semantic Computing 1(1) (2021) 11–28. [30] N. J. Nilsson, Artificial Intelligence — A New Synthesis (Man Kaufmann, 1998). （附件 4：外文原文二） International Journal of Semantic Computing Vol. 3, No. 3 (2021) 383–394 169。 公用計算 [15]和云計算 [514] 的最新進展 可能 進一步促進互聯(lián)網(wǎng)從共享 大量內(nèi)容解決問題 的轉(zhuǎn)型 ，大量的軟件許可可 以 轉(zhuǎn)換成軟件服務(wù)。雖然 WSDL 和 OWL S 的只能暴露 簽名（ 即 ，服務(wù)名稱，輸入和輸出）服務(wù)， 但是 不揭示服務(wù) 的性質(zhì) ， SCDL 是一個業(yè)務(wù)流程的語言 ，有足 夠 的能力 公開服務(wù)細節(jié)以及其簽名。其他舉措，如 用于 Web服務(wù)（ BPEL4WS） [20]的 業(yè)務(wù)流程執(zhí)行語言和 OWL S ServiceModel集中在代表工作流程的服務(wù)組合。 另一方面 SNL/ SQDL 提供了一個標(biāo)準和語義接口 用來 解釋用戶的意圖。它也負責(zé)監(jiān)督不同的信息源之間的語義沖突的解決。 除了上述討論的五個層次， 還 包含安全架構(gòu)和管理 機制。服務(wù)集成提供不同的服務(wù)之間的互操作方法。語義服務(wù)已開發(fā)的幾種形式：網(wǎng)絡(luò)搜索，包括自動問答（ Q / A） [2， 3]和信息檢索 。它提供語義集成及語義應(yīng)用的信息資源。我們定義 ―語義計算 ‖作為一個領(lǐng)域，解決了推導(dǎo)和計算內(nèi)容的語義匹配和自然表達用戶的意圖，以幫助檢索，管理，操縱甚至創(chuàng)造內(nèi)容， ―內(nèi)容 ‖可能是任何東西，包括視頻，音頻，文本，流程，服務(wù)，硬件，網(wǎng)絡(luò)，社區(qū)等，它匯集了有關(guān)這些學(xué)科連接與計算人類（往往隱約制定）意圖 的 內(nèi)容。第一部分是接口匹配 匹配 器將 每個注冊的 SQDL描述 的接口 與 SCDL描述 的接口進行匹配 。 服務(wù) 注冊 ：為了被發(fā)現(xiàn)，服務(wù) 需要提前注冊 。假設(shè)，例如， 一個人希望找出被臨床診斷為 阿爾茨海默氏癥 疾病同時患有糖尿病并且具有特定遺傳標(biāo)記 （如 APOE） 的病人的數(shù)量。這些謂詞和操作（統(tǒng)稱方法）可以 在一種獨特的查詢語言中被用來操作或 檢索數(shù)據(jù)。它可以證明， SQDL表示 的 任何查詢 也可以在 ORA 中表達，但是 反 過來卻 是不正確的的。然而 解決 SQDL2 必須將 S1 和 S3 結(jié)合才能解決 。語言是用來描述解決方案能力 的唯一方法 。第二個約束 是 元變量from 可以是 四類對象中的任何一個變量 ，第三和第四 個 制約 是 說，元變量 where 可以 是 兩個屬性之間 或?qū)傩耘c常數(shù)之間的任何關(guān)系 ，只要 屬性 是合法的 并且比較關(guān)系是 理性的 。例如，給定 4個帳戶，客戶，分行和存款，以下的 SCDL表達式指定，它可以采取任何 SQDL查詢，從這些對象的屬性中 選擇任意 關(guān)系的 組合，但 這 些條件不能超過 4。*39。 如果該工具不僅可以檢測任何像衛(wèi)星或星 形結(jié)構(gòu) 的 BLOB結(jié)構(gòu)也可以注釋它們，它 可以打包成一個服務(wù) 如 以下的 SCDL描述 : [S2SCDL] SELECT annotate(c) FROM INPUT setofimage datain, setofstring s = [?satellite’,‘star’] image:datain i, setofblob:()c INPUT string:s t WHERE (c) and (t) 另一個例子 是 ，如果一個人有一個工具可以檢測圖像中不重疊的 BLOB 集群， 它可以打包成一個服務(wù) 如 以下的 SCDL描述 ： [S3SCDL] SELECT i FROM INPUT setofimage datain, image:dataset i, setofblob:()c setofblob:()s WHERE (c) and (s) and not overlap(c,s) 一個服務(wù)并不一 定是一個工具，它 也 可能 是 內(nèi)容。 O1, . . .,Om) = (H1,...,Hj )G(f1A1,...,fdAd) Π(σp(R1 f1（ A1） ,?? ,fd（ Ad）是可能的聚集功能， I1,?? ,Im是 輸入對象 ,R1,?? Rn是一定范圍內(nèi) 的 變量 ， S1， ?? ， Sk可能 是從投入和范圍變量派生 的量 ， H1,?? Hj 組 成 輸出對象 的 變量 ， P（輸入，輸出，其他變量）是一個公式描述的 是輸入 ，輸出和 其他 變量 之間的關(guān)系 。 SCDL 解決方案 對于 一個解決方案（服務(wù)） 來說重要的不是它如何運作而是它能起到 什么 作用。 （ 6） 需要 建立一個機制 來 驗證解決方案，并分享消費者 關(guān)于 解決方案 的 反饋。 那些沒有解決方案的問題可能有助于今后的發(fā)展 。 在支持將問題和解決方法貿(mào)易化中，有幾個因素可能會被視為基礎(chǔ)設(shè)施成功的重要因素 ： （ 1）人（供應(yīng)商）愿意提供解決 問題的 方案。 實際上我們感興趣的是去和將問題與解決方案相匹配。 （ 4） 推理問題，如可以從這一事實 推出 什么？像自動合成，自動推理可能很難。 （ 2） 數(shù)據(jù)庫的搜索問題，如 找出 在超市 中 超過 2 塊錢一斤的蘋果。 我們很容易 發(fā)現(xiàn)并不是每個問題都能用我們津津樂道的這兩個戰(zhàn)略解決 。一個基于關(guān)鍵字的搜索引擎如谷歌可能被視為一個特殊的解決問題的能手，解決了這個問題： 找出 包含用戶所提供關(guān)鍵字的文件。在大多數(shù)情況下的需求觸發(fā) 供給 ，并在某些情況下， 供給 創(chuàng)造需求。它將幾個計算技術(shù)連接并整合成一個完整統(tǒng)一的的主題。World Scientific Publishing Company 問題，解決方案和語義計算 PHILLIP . SHEU?,? and C. V. RAMAMOORTHY?,? ?Institute for Semantic Computing ?University of California, Irvine ?University of California, Berkeley 語義計算無論在廣度和深度上都對語義 Web 進行了 擴展。 商業(yè)世界主要關(guān)于的是需求和 供給 。例如 在 易趣上拍賣取得了偉大的成績 。但是，從解決問題的角度來看，他們 的效率 是遠遠不夠的。已 進行了 一些初步的嘗試（例如 ， Wolfram|Appha, 在這個領(lǐng)域中還需要更多的努力。 自動合成仍然很困難并且是需要完成的一個目標(biāo)。 我們的主要觀點 并不是將所有的問題分類 。如果我們可以 將這個概念延伸，將貨物看做問題，將買家看做解決問題的辦法，互聯(lián)網(wǎng)將會有一個嶄新的時代。如果解決方案一應(yīng)俱全，消費者可以從解決方案中受益。 （ 5）一個解決方案并不一定是一個工具，在許多情況下解決方案 僅 涉及內(nèi)容（如文字，圖像，視頻，過程，硬件，軟件等）和知識。此外，為實現(xiàn)我們的目標(biāo) 有 三個必要的組成部分： （ 1） 問題的說明 （ 2）解決方案的說明 （ 3） 將 問題與解決方案 配套 如果我們喜歡容納數(shù)量龐大的問題和解決辦法， 顯然關(guān)鍵詞不足以用來描述問題和解決的辦法，如 建議的因素 1， 2， 3 和 5。服務(wù)的 SCDL語 法類似于 SQL中， 如 下列通用的形式表示： 選擇輸出（ O1， ?? ， Om），匯總輸出（ f1（ A1）， ?? ， fd（ Ad）） 從輸入（ I1， ?? ， Im），變量（ R1,?? ,Rn），其他變量（ S1， ?? ,Sk） 其中 P（輸入，輸出，其他變量） GROUP BY（ H1,?? ,Hj） 其中 O1,?? ,Om是 輸出對象。相應(yīng)的代數(shù)表達式如下： WS(I1, . . . , Im。Rn S1 ―服務(wù)輸入的 是 圖像數(shù)據(jù)集，輸出 的是 包含一個或多個像衛(wèi)星或星形結(jié)構(gòu) 的 BLOB集群 的 圖像。 它 可以打包成一個服務(wù) 如 以下的 SCDL描述 ： SELECT g = trained(k) FROM INPUT dog k, VAR dog g WHERE * 如上 ， k是 等待受訓(xùn) 的狗， g 是訓(xùn)練后的狗？ 39。 最后， SCDL 可以 被 擴展到 包 括用來描述服務(wù)范圍很廣的 元變量。第一個約束條件，基本上 是 說元變量 select 可以是任何 合法的 屬性 。請注意， SCDL 表達可能是可執(zhí)行文件， 而 在實踐中往往是不切合實際 的 。在 SQDL 中的一個 查詢 如下 ： SELECT objects, object attributes and/or functions FROM object classes [WHERE conditions] 現(xiàn)在 “Show all blob clusters of the images in dataset ‘md232’that are structured like a satellite or a star” 可以在 SQDL描述為： [SQDL1] SELECT i FROM image:‘cmd232’ im, setofblob:()sb string: [?satellite’,‘star’]t WHERE (sb) and (t) 另一個例子是， “Show all blob clusters of the images in dataset ?cmd232? that are structured like a satellite or a star and do not overlap with a given blob structure” 可以在 SQDL描述為： [SQDL2] SELECT i FROM image:‘cmd232’ im, setofblob:()sb setofblob:()sc string: [?satelli