Modelling behaviour diffusion with dynamic logic
Visualizar/abrir
Data
2023Autor
Orientador
Nível acadêmico
Mestrado
Tipo
Outro título
Modelando difusão de comportamento com lógica dinâmica
Assunto
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 model ...
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. ...
Resumo
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 su ...
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. ...
Instituição
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.
Coleções
-
Ciências Exatas e da Terra (5079)Computação (1747)
Este item está licenciado na Creative Commons License