迈向基于区块链的机器人经济学：自主智能体行为验证
软件工程
2018-05-10 v1 分布式、并行与集群计算
多智能体系统
机器人学
摘要
去中心化交易市场方法，即自主智能体和人均可消费和提供服从而扩展自身达成目标的机会，作为第四次工业革命的一部分看起来极具前景。该方法的关键组件是一个区块链平台，允许智能体之间通过责任智能合约进行交互。服务提供商的可靠性通常由声誉模型决定。然而，该方案仅能在服务提供商未能正确执行先前任何责任时，警示未来客户对其信任程度。另一方面，区块链共识协议可额外包含验证程序，以检测不正确的责任执行，从而暂停向可疑服务提供商的支付交易。本文提出在去中心化交易市场中针对基于智能体的服务提供商的责任执行验证方法，使用基于有限状态自动机数学模型和时序逻辑相关属性的模型检测方法。为演示该概念，我们在 Duckietown 应用中实现了该方法，移动自主移动机器人以达成任务目标，并在完成场景后进行行为验证。
引用
@article{arxiv.1805.03241,
title = {Towards blockchain-based robonomics: autonomous agents behavior validation},
author = {Konstantin Danilov and Ruslan Rezin and Alexander Kolotov and Ilya Afanasyev},
journal= {arXiv preprint arXiv:1805.03241},
year = {2018}
}