arXiv:2502.09232v1 类型: cross 摘要: 如今，正在出现一些复杂的领域，需要适当的正式主义来准确地指定这些领域，以便对其进行推理。其中一个领域是由智能合约构成的，这些智能合约在虚拟物理系统中涌现出来，作为一种机制，用于执行这些系统组件之间的正式协议。智能合约能够在去中心化的系统中通过区块链自执行，并与多个参与者共享业务流程。在许多情况下，法律合同是复杂文档，包含多种例外和多个从属合同。基于法律合同实现智能合约是一个漫长而耗时的过程，需要包括与合同执行相关的所有行动、程序以及行动的效果。在这个领域中存在的一个持续的公开问题是，如何使用某种统一且略显普遍的正式主义，正式地对智能合约进行描述。本论文提出使用情况演算逻辑为基础，为智能合约奠定逻辑基础。情况演算逻辑是一种用于执行行动推理的逻辑方法，提供了足够的逻辑机制来规定和实现动态复杂系统，如合同。情况演算逻辑适用于展示世界如何动态变化。智能合约将使用Golog（用Prolog编写）进行实现，Golog是一种基于情况演算逻辑的编程语言，用于建模复杂和动态的行为。