基于声明式Agent建模的复合约束方法
A composite constraints approach to declarative agent-based modeling
摘要：
基于Agent的模型（ABM）在研究和工业中无处不在。目前，模拟反弹道导弹至少涉及一些必要的（一步一步的）计算机指令。另一种方法是声明式编程，其中一组需求在高抽象级别上描述。在这里，我们描述了一个完全声明性的方法来自动构建ABM的模拟。在这个框架中，ABM模拟的逻辑被封装到预定义的组件中。用户指定一组描述所需功能的需求。此外，每个组件都有一组一致性要求。该框架迭代地寻求一个仿真设计，同时满足用户和系统的要求。这种方法允许用户从仿真规范中省略大部分细节，从而简化仿真设计。
英文摘要：
Agent-based models (ABMs) are ubiquitous in research and industry. Currently, simulating ABMs involves at least some imperative (step-by-step) computer instructions. An alternative approach is declarative programming, in which a set of requirements is described at a high level of abstraction. Here we describe a fully declarative approach to the automated construction of simulations for ABMs. In this framework, logic for ABM simulations is encapsulated into predefined components. The user specifies a set of requirements describing the desired functionality. Additionally, each component has a set of consistency requirements. The framework iteratively seeks a simulation design that satisfies both user and system requirements. This approach allows the user to omit most details from the simulation specification, simplifying simulation design.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
