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。此外，复杂系统模型的构建也是一项复杂的任务，该模型适合于模型检验器的执行。
