2013/01/02 by Paulo Shakarian, Shakarian, Paulo, Gerardo I. Simari +3 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #Complex Network Analysis Techniques #Data Management and Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multiagent Systems (cs.MA) #Physics and Society (physics.soc-ph) #Semantic Web and Ontologies #Social and Information Networks (cs.SI)
paper · pdf · doi:10.48550/arxiv.1301.0302
openalex publication_date 2013/01/02 · openalex created_date 2022/10/04 · openalex updated_date 2026/07/28
The modeling of cascade processes in multi-agent systems in the form of\ncomplex networks has in recent years become an important topic of study due to\nits many applications: the adoption of commercial products, spread of disease,\nthe diffusion of an idea, etc. In this paper, we begin by identifying a\ndesiderata of seven properties that a framework for modeling such processes\nshould satisfy: the ability to represent attributes of both nodes and edges, an\nexplicit representation of time, the ability to represent non-Markovian\ntemporal relationships, representation of uncertain information, the ability to\nrepresent competing cascades, allowance of non-monotonic diffusion, and\ncomputational tractability. We then present the MANCaLog language, a formalism\nbased on logic programming that satisfies all these desiderata, and focus on\nalgorithms for finding minimal models (from which the outcome of cascades can\nbe obtained) as well as how this formalism can be applied in real world\nscenarios. We are not aware of any other formalism in the literature that meets\nall of the above requirements.\n