MANCaLog: A Logic for Multi-Attribute Network Cascades (Technical Report)

01/02/2013
by   Paulo Shakarian, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/29/2022

Reasoning about Complex Networks: A Logic Programming Approach

Reasoning about complex networks has in recent years become an important...
research
05/27/2023

MADiff: Offline Multi-agent Learning with Diffusion Models

Diffusion model (DM), as a powerful generative model, recently achieved ...
research
10/01/2017

Activating the "Breakfast Club": Modeling Influence Spread in Natural-World Social Networks

While reigning models of diffusion have privileged the structure of a gi...
research
09/01/2011

(Re)configuration based on model generation

Reconfiguration is an important activity for companies selling configura...
research
03/09/2020

Vector logic and counterfactuals

In this work we investigate the representation of counterfactual conditi...
research
01/07/2013

A Logic Programming Approach to Integration Network Inference

The discovery, representation and reconstruction of (technical) integrat...
research
01/30/2020

Theoretical Model and Practical Considerations for Data Lineage Reconstruction

We live in a world driven by data. The amount of it outgrows anyone's ab...

Please sign up or login with your details

Forgot password? Click here to reset