Modelling behaviour diffusion with dynamic logic

Abstract

This work is about agents and their adoption of behaviors in a given network. The work has focused on defining models and policies related to the "diffusion of information" not through agent reasoning but through a force exerted by the network. The model reasoning process checks whether each agent has received enough influence to surpass a threshold related to a given subject or behavior, deciding whether the agent enters into social conformity with its network of connections. We consider models with multiple behaviors and different criteria for behavior adoption but with neighbors having the same level of social influence. We also define models and diffusion operations with directed influence with neighborhood connections with differ ent weights on behavior adoption. We propose a minimal propositional dynamic logic language for all these variations and provide reduction axioms for each logic. We also present naive algorithms for each model update operation.

Este trabalho é sobre agentes e sua adoção de comportamentos em uma rede. O trabalho tem como foco a definição de modelos e políticas relacionadas à "difusão de informações" não por meio do raciocínio do agente, mas por meio de uma força exercida pela rede. O processo de difusão verifica, para cada agente, se ele recebeu influência suficiente para ultrapassar um limiar, relacionado a um determinado assunto ou comportamento, decidindo então, se o agente entra ou não em conformidade social com sua rede de conexões. Consideramos modelos com múltiplos comportamentos e diferentes critérios de adoção de comportamento, mas com vizinhos com o mesmo nível de influência social. Também são apresentados modelos com a influência pode ser em uma direção apenas e onde cada conexão pode ter um peso diferente na adoção de comportamentos. Para to das essas variações propomos uma lógica dinâmica proposicional mínima e, para cada lógica, fornecemos axiomas de redução. Também apresentamos algoritmos naïve para cada operação de atualização de modelos.