DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bae, Jangwon | ko |
dc.contributor.author | Lee, Geunho | ko |
dc.contributor.author | Moon, Il-Chul | ko |
dc.date.accessioned | 2013-08-16T04:52:38Z | - |
dc.date.available | 2013-08-16T04:52:38Z | - |
dc.date.created | 2013-03-25 | - |
dc.date.created | 2013-03-25 | - |
dc.date.created | 2013-03-25 | - |
dc.date.created | 2013-03-25 | - |
dc.date.created | 2013-03-25 | - |
dc.date.issued | 2012-12-12 | - |
dc.identifier.citation | 2012 Winter Simulation Conference, WSC 2012 | - |
dc.identifier.uri | http://hdl.handle.net/10203/175310 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | WSC 2012 | - |
dc.title | Formal Specification Supporting Incremental and Flexible Agent-Based Modeling | - |
dc.type | Conference | - |
dc.identifier.wosid | 000319225502044 | - |
dc.identifier.scopusid | 2-s2.0-84874692341 | - |
dc.type.rims | CONF | - |
dc.citation.publicationname | 2012 Winter Simulation Conference, WSC 2012 | - |
dc.identifier.conferencecountry | GE | - |
dc.identifier.conferencelocation | Berlin | - |
dc.contributor.localauthor | Moon, Il-Chul | - |
dc.contributor.nonIdAuthor | Bae, Jangwon | - |
dc.contributor.nonIdAuthor | Lee, Geunho | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.