An operational semantics for situatedideological systems, with a religious conflict ascase study

• Antônio Carlos da Rocha Costa ^[1]
  1. [1] Pontifícia Universidade Católica do Rio Grande do Sul

     Pontifícia Universidade Católica do Rio Grande do Sul

     Brasil

     
• Localización: Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 25, Nº. 69, 2022, págs. 159-182
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • This paper introduces an operational semantics for what, in previous work, we have calledsituatedideological systems: sets ofways to envisageconcrete social situations (normatively, valuationally etc.)that individuals and social groups may use to direct their choices and actions in such situations. Theagent-based social model that we callAgent Societyis used to computationally construe possible socialsituations where individual agents and groups of agents may find themselves, and to formally representideological systems in ways they can collectively share. As a case study of the proposed semantics, thepaper formally presents theideological dynamicsunderlying the temporal evolution of a paradigmaticsituation of religious conflict (between catholics and devotees of African-Brazilian cults), as pictured inthe classical Brazilian theatrical playThe Keeper of Promises(O Pagador de Promessas). The ideologymodeling language TinyIML is used for the computational presentation of the various stages of thatideological dynamics. The syntax and semantics of TinyIML is summarized in an appendix.