Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Growing artificial societies: social science from the bottom up
Growing artificial societies: social science from the bottom up
Using adaptive agents in Java to simulate U.S. Air Force pilot retention
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
Dynamic Programming and Stochastic Control
Dynamic Programming and Stochastic Control
Agent Based Design and Simulation of Supply Chain Systems
WET-ICE '97 Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Self-organizing social and spatial networks under what-if scenarios
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Towards a deliberative agent system based on DEVS formalism for application in agriculture
Proceedings of the 2010 Summer Computer Simulation Conference
Agent-based discrete-event hybrid space modeling approach for transportation evacuation simulation
Proceedings of the Winter Simulation Conference
Impact of population relocation to city commerce: micro-level estimation with agent-based model
Proceedings of the Agent-Directed Simulation Symposium
| Hi-index | 0.00 |
Agent-based models have been used for diverse domains such as military, sociology, and urban planning. There is a growing concern about the incrementality and the flexibility of the agent-based models in further sophisticated and large-scale utilization. To resolve this concern, we suggest that specifying agent-based models formally will resolve the problems of incrementality and flexibility of the agent-based models through an organized composition of model components. To organize the composition of agent-based models, we survey formalisms that are applicable to agent-based models, including formalisms from the discrete event models, i.e., DEVS, MDEVS, and Cell-DEVS, as well as formalisms used in the communities of agent-based models, i.e., BDI, MDP, and Game Theory. Then, we compare, contrast, and propose an overarching formal specification for agent-based models that embody the key nature of agents. As an example, we show how to incrementally merge and flexibly manage traditional agent-based models through proposed formal specifications.