Rumor Diffusion in an Interests-Based Dynamic Social Network

Box 2

Formalizations of the ignorant role’s rules.

(1) ∀a (𝑎↓_𝑡  ignorant)→𝑎⋅𝑖𝑔𝑛𝑜𝑟𝑎𝑛𝑡∶=  ture  ∧  𝑎⋅𝑠𝑝𝑟𝑒𝑎𝑑𝑒𝑟∶=  false  ∧  𝑎⋅𝑠𝑡𝑖𝑓𝑙𝑒𝑟∶=  false

(2) ∀a (𝑎↓_𝑡  spreader)→𝑎⋅𝑖𝑔𝑛𝑜𝑟𝑎𝑛𝑡∶=  false  ∧  𝑎⋅𝑠𝑝𝑟𝑒𝑎𝑑𝑒𝑟∶=  true  ∧  𝑎⋅𝑠𝑡𝑖𝑓𝑙𝑒𝑟∶=  false

(3) ∀a (𝑎↓_𝑡  stifler) →𝑎⋅𝑖𝑔𝑛𝑜𝑟𝑎𝑛𝑡∶=  false  ∧  𝑎⋅𝑠𝑝𝑟𝑒𝑎𝑑𝑒𝑟∶=  false  ∧  𝑎⋅𝑠𝑡𝑖𝑓𝑙𝑒𝑟∶=  true