Seção: ArtigosTítulo: An Operational Semantics for Situated Ideological Systems, with a Case Study Concerning a Paradigmatic Religious Conflict / Antônio CostaAutor: Costa, AntônioNotas: Sumario: This paper introduces an operational semantics for what, in previous work, we have called situated ideological systems: sets of ways to envisage concrete social situations (normatively, valuationally etc.) that individuals and social groups may use to direct their choices and actions in such situations. The agent-based social model that we call Agent Society is used to computationally construe possible social situations where individual agents and groups of agents may find themselves, and to formally represent ideological systems in ways they can collectively share. As a case study of the proposed semantics, the paper formally presents the ideological dynamics underlying the temporal evolution of a paradigmatic situation of religious conflict (between catholics and devotees of African-Brazilian cults), as pictured in the classical Brazilian theatrical play The Keeper of Promises (O Pagador de Promessas). The ideology modeling language TinyIML is used for the computational presentation of the various stages of that ideological dynamics. The syntax and semantics of TinyIML is summarized in an appendix.Registros relacionados: En: Revista Iberoamericana de Inteligencia Artificial. - : IBERAMIA, Sociedad Iberoamericana de Inteligencia Artificial , 2018- = ISSN 1988-3064. - 02/05/2022 Volumen 25 Número 69 - mayo 2022 , p. 159-182Materia / lugar / evento: ReligiónInteligencia artificialOutras classificações: 922.134Direitos: La copia digital se distribuye bajo licencia "Attribution 4.0 International (CC BY 4.0)" Ver detalhe do número