资源公平交换的政策
计算机科学中的逻辑
2026-02-02 v2
摘要
人们越来越多地利用数字平台按某些政策交换资源（即用户提供的资源与所需资源的关系）。本文提出一种正式模型，聚焦于如何定义和执行这些政策，以确保恶意用户无法损害诚实用户。为此，我们引入声明性政策语言MuAC，并赋予其形式语义。为确定资源交换是否公平（即是否遵守MuAC中的政策），我们引入非标准逻辑MuACL，将非线性、线性和合同三个方面结合，证明其可判定。值得注意的是，MuACL的合同蕴涵算子不可在线性逻辑中表达。我们定义MuAC到MuACL的语义保持编译，从而建立资源交换公平性可归约为在MuACL中寻找证明的问题。最后，我们展示了该方法可用于区块链上交换非同质化代币。
引用
@article{arxiv.2410.21214,
title = {Policies for Fair Exchanges of Resources},
author = {Lorenzo Ceragioli and Pierpaolo Degano and Letterio Galletta and Luca Viganò},
journal= {arXiv preprint arXiv:2410.21214},
year = {2026}
}