机构名称：
¥ 1.0
摘要。受供应链中最近出现的问题的启发，我们提出了一种声明式建模代理之间契约的方法，该方法最终将支持对供应链弹性和改进方法的推理。具体而言，我们提出了一种高级语言，用于指定和推理代理行为域上的契约。我们假设代理的行为可以通过行为理论正式表达，并将契约视为约束的集合。每个约束都指定了代理在截止日期前实现特定结果的责任。每个代理还具有约束与代理关注点（即代理关注的问题）之间的映射，这些映射根据美国国家标准与技术研究所提出的 CPS 框架进行建模。我们讨论了如何通过答案集编程来回答和计算与履行契约或代理关注点相关的常见问题。
代理之间的供应链合同形式化和推理⋆
主要关键词
相关文件推荐
