Modelling behaviour diffusion with dynamic logic

Detalhes bibliográficos
Ano de defesa: 2023
Autor(a) principal: Amorim, Gabriel de Senne
Orientador(a): Moreira, Alvaro Freitas
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Palavras-chave em Inglês:
Link de acesso: http://hdl.handle.net/10183/265194
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 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.