An Operational Semantics for Situated Ideological Systems, with a Case Study Concerning a Paradigmatic Religious Conflict
Keywords:Situated ideological systems., Agent societies., Operational semantics., Ideological dynamics.
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.
How to Cite
Copyright (c) 2022 Iberamia & The Authors
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Open Access publishing.
Lic. under Creative Commons CC-BY-NC
Inteligencia Artificial (Ed. IBERAMIA)
ISSN: 1988-3064 (on line).
(C) IBERAMIA & The Authors