Social-Behavioral Modeling for Complex Systems

31 Multi‐formalism Modeling of Complex Social‐Behavioral Systems

Marco Gribaudo¹, Mauro Iacono² and Alexander H. Levis³

¹ Department of Computer Science, Polytechnic University of Milan, Milan, Italy

² Department of Mathematics and Physics, Università degli Studi della Campania “Luigi Vanvitelli”, Caserta, Italy

³ Department of Electrical and Computer Engineering, George Mason University, Fairfax, VA, 22030, USA

Prologue

The value of multi‐formalism simulation can be illustrated by considering an example from a past study on methods for assisting military commands in crisis planning. The study developed an illustrative scenario that could be explored with simulation (Levis and Carley 2011). Although many aspects of the scenario were fictitious (decisions, results), the scenario was based on events that occurred in 2002 and used the actual names of countries, regions, and officials at the time. The scenario was as follows:

• The animosity between India and Pakistan has its roots in history and religion and is epitomized by the long‐running conflict over the state of Jammu and Kashmir. China administers an area called Aksai Chin at the northeastern corner of Jammu and Kashmir, although India contests Chinese control.
• A sequence of terrorist incidents has occurred in Srinagar, the capital of the Indian‐administered state of J&K, and along the line of control (LOC) separating the Northern Areas controlled by Pakistan and Jammu and Kashmir controlled by India. There ...