MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)
Download
Author
Shakarian, Paulo
Simari, Gerardo I.
Schroeder, Robert
Date
2013Metadata
Show full item recordAbstract
The modeling of cascade processes in multi-agent systems in the form of complex networks has in recent years become an important topic of study due to its many applications: the adoption of commercial products, spread of disease, the diffusion of an idea, etc. In this paper, we begin by identifying a desiderata of seven properties that a framework for modeling such processes should satisfy: the ability to represent attributes of both nodes and edges, an explicit representation of time, the ability to represent non-Markovian temporal relationships, representation of uncertain information, the ability to represent competing cascades, allowance of non-monotonic diffusion, and computational tractability. We then present the MANCaLog language, a formalism based on logic programming that satisfies all these desiderata, and focus on algorithms for finding minimal models (from which the outcome of cascades can be obtained) as well as how this formalism can be applied in real world scenarios. We are not aware of any other formalism in the literature that meets all of the above requirements.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Modeling the Human Decision Making Process in Maritime Interdiction Using Conceptual Blending Theory
Tan, Kian-Moh Terence; Hiles, John E. (Monterey, California: Naval Postgraduate School., 2008);This paper describes a model of the human decision-making process in maritime interdiction tactical operation using conceptual blending theory (CBT) and software blending mechanism. CBT explains how humans think using ... -
A GPSS-FORTRAN case study
Petronis, Charles Joseph (Monterey, California; Naval Postgraduate School, 1970-04);The objective of this study was to compare two commonly used computer simulation languages: GPSS and FORTRAN. The comparison was made by simulating an identical system in both languages. The comparison criteria used to ... -
An investigation of communications architecture impact on combat effectiveness using the Naval simulation system
Hakewessell, Peter C. (Monterey California. Naval Postgraduate School, 2008-03);This research study evaluates the ability of the Naval Simulation System (NSS) to model how changes in communication architecture for a given scenario contribute to combat effectiveness. The scenario used for this study ...