鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

區塊鏈項目
比特幣項目 以太坊項目 交易所項目 加密貨幣項目 DeFi 項目

區塊鏈項目聚合來自 Block123 區塊鏈導航提供的區塊鏈信息大全,包括區塊鏈基礎設施、區塊鏈公鏈、DeFi 項目、區塊鏈挖礦算力、區塊鏈應用 DApps、區塊鏈創業項目、區塊鏈投資、區塊鏈理財、區塊鏈交易所、區塊鏈錢包、區塊鏈工具、區塊鏈金融科技等。

Robonomics

Robonomics

隨着AI技術的發展,自主智能體在速度、精確度方面有了很大的提升,變得更加智能和高效,展現出在各種具體任務上的令人印象深刻的性能,併成功地互相協作,實現了自己的獨立目標。 俄羅斯 Innopolis 大學機器人研究所的 Konstantin Danilov、Ruslan Rezin、Alexander Kolotov、Ilya Afanasyev 教授提出了分佈式交易市場的概念,可將其稱之爲 Robonomics「機器人經濟學」。在這種市場中,自主智能體可以據共識協議消費和生產服務,即自主的智能體和人員都可以消費和生產服務,以擴大自己實現目標的機會,作爲第四次工業革命的一部分。 該方法的關鍵組成部分是區塊鏈平臺,使得智能體之間通過責任智能合約進行交互。服務提供者的可靠性通常取決於聲譽模型。然而,這種解決方案只會警醒未來的客戶對服務提供商的信任程度,以防它無法正確執行任何以前的責任。另一方面,區塊鏈共識協議還可以包含一個驗證程序,用於檢測不正確的責任執行情況,以便暫停向有問題的服務提供者的支付交易。 由於區塊鏈技術的出現,特別是解決了雙重支出攻擊問題 double-spending attack problem 比特幣的實現,分散式的多智能體系統概念開始變得可行,只要智能體不依賴於單點故障,並且它們的操作對於監控而言是透明的。 基於區塊鏈的平臺的另一個例子是,以 IoT 物聯網爲導向的自主智能體 IOTA 的分散式網絡。儘管我們所討論的項目變得通用了,但它們都集中在特定類型的自主智能體上,這嚴重限制了可用的服務。 AIRA 項目首先引入了分散式交易市場的概念,自主智能體和人員可以消費和提供服務。這個概念被定義爲 Robonomics「機器人經濟學”」,建議拒絕集中式機器人控制的原則,以在機器人和人類之間提供分散式通信,使用基於區塊鏈的智能合約作爲這些通信的基礎。由於責任依賴於現實世界的流程,所以不能保證智能體始終能夠正確地執行它們。 現有的 Roboomics 基礎設施,重要組成部分是現實生活中實際應用案例的分析。AIRA 責任驗證模型假定機器人不會故意僞造 objective execution intentionally 目標執行日誌。這意味着,服務提供者可以選擇接受報酬,儘管其尚未提供相應服務。有可能解決這一問題的方案是引入記錄器,可以將智能體在特定時間內,於特定地點出現的事實,記錄在區塊鏈中。在日誌檢驗過程中可以考慮這些信息。我們應該建立完整的過程描述以及經濟模型:有人應該爲這些數據支付費用。 AIRA 提出了一種針對自主智能體 autonomous agents 分散交易市場模型的概念,並將其命名爲 Robonomics。針對基於智能體的特殊系統,還引入了一種基於模型檢驗的正式軟件驗證技術的新方法,以解決責任執行的驗證問題,這有助於中止對發生故障的服務提供者的支付行爲,並可與聲譽模型一起集成於區塊鏈共識協議中。驗證過程試圖證明服務提供者在執行操作後所提交的結果與其事先提交的行爲模型相對應。然而,要將屬性作爲輸入傳遞給模型檢驗器 Model Checker,就必須將其轉換爲時態邏輯公式 Temporal Logic formula。此外,複雜系統模型的構建也是一項複雜的任務,該模型適合於模型檢驗器的執行。
Robonomics
Robonomics Network
返回頁面頂部