Computational and mathematical approaches to societal transitions

After an introduction of the theoretical framework and concepts of transition studies, this article gives an overview of how structural change in social systems has been studied from various disciplinary perspectives. This overview first leads to the conclusion that computational and mathematical approaches and their practical form, modeling, up till now, have been almost absent in the research and theorizing of structural change or transitions in social systems. Second, this review of the social science literature suggests numerous theoretical constructs relevant for transition modeling. Relevant concepts include the conceptualization of the micro-to-macro link, the importance of explaining both stability and change, quantitative and qualitative definitions of structural change, the use of dichotomies, synchronic and diachronic reasoning in explaining structural change, definitions of basic patterns of social change, the conceptualization of resistance to change and intentional and normative aspects of social change. This article employs these theoretical concepts to describe and discuss the models presented in this special issue in order to develop an understanding of what exactly entails a computational or mathematical approach to societal transitions

Social Mental Shaping: Modelling the Impact of Sociality on Autonomous Agents' Mental States

This paper presents a framework that captures how the social nature of agents that are situated in a multi-agent environment impacts upon their individual mental states. Roles and relationships provide an abstraction upon which we develop the notion of social mental shaping. This allows us to extend the standard Belief-Desire-Intention model to account for how common social phenomena (e.g. cooperation, collaborative problem-solving and negotiation) can be integrated into a unified theoretical perspective that reflects a fully explicated model of the autonomous agent's mental state

Utilising Provenance to Enhance Social Computation

Postprin

Answer Set Programming Modulo `Space-Time'

We present ASP Modulo `Space-Time', a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of `space-time' regions as first-class objects. We present an empirical evaluation (with scalability and robustness results), and include diverse application examples involving interpretation and control tasks