A rollback conflict solver for integrating agent-based simulations
نویسندگان
چکیده
We present a framework we have developed, OpenSim, for integrating disparate simulation components, particularly agent-based models (ABMs) that are increasingly being used for modelling complex social systems, into a single simulation. In this paper we focus on the integration of existing ABMs that have been independently developed and validated. The key challenge is to make as few modifications as possible, while still faithfully producing what would be obtained if the models and their interactions had been rebuilt as a single system from scratch. Our proposed mechanism for doing this, improves substantially on previous options.
منابع مشابه
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithmic framework for conflict-driven ASP solving that exploits CP solving capacities. A significant technical issue concerns the combination of conflict information from different solver types. We have implemented our app...
متن کاملSystem Mechanisms for Partial Rollback of Mobile Agent Execution
Mobile agent technology has been proposed for various fault-sensitive application areas, including electronic commerce, systems management and active messaging. Recently proposed protocols providing the exactly-once execution of mobile agents allow the usage of mobile agents in these application areas. Based on these protocols, a mechanism for the application-initiated partial rollback of the a...
متن کاملAdaptive optimistic simulation of multi-agent systems
Simulation is an important tool for designers of multi-agent systems allowing them to learn more about the behaviour of a system or to investigate the implications of alternative agent architectures. A key issue for agent simulation is that of scalability, as agents are themselves often complex systems (e.g., with sensing, planning, inference etc. capabilities), requiring considerable computati...
متن کاملFeasibility Study of Integrating Multi Effect Desalination and Gas Turbine Systems for Lavan Island Oil Refinery
In this research, feasibility study of integrating thermal desalination unit with Gas Turbine (GT) has been investigated using retrofit and grass root design techniques for Lavan Island Oil Refinery which is located in Persian Gulf. According to computed parameters on developed code for the power generation unit No.1 using EES (Engineering Equation Solver) software, thermal efficiency of t...
متن کاملIntegrating Conflict Driven Clause Learning to Local Search
This article introduces SATHYS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is launched. For SAT problems it behaves like a tabu list, whereas for UNSAT ones, the CDCL part tries to focus on minimum unsatisfiable sub-form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014