基于复合约束的声明式代理建模方法
摘要：基于代理的模型（ABM）在研究和工业中无处不在。目前，模拟ABM至少涉及一些命令式（逐步）计算机指令。另一种方法是声明式编程，其中一组要求以高度抽象级别描述。在这里，我们描述了一种完全声明式的自动构建ABM模拟的方法。在该框架中，ABM模拟的逻辑被封装到预定义的组件中。用户指定了描述所需功能的一组要求。此外，每个组件都有一组一致性要求。该框架迭代地寻求满足用户和系统要求的模拟设计。这种方法允许用户省略模拟规范中的大部分细节，简化模拟设计。
作者：David Bruce Borenstein
论文ID：1503.08880
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2015-04-01