Ten challenges for computer models in transitions research: Commentary on Holtz et al

The emergence of a dedicated modelling community within the transitions field is to be welcomed, and the authors of a recent paper in EIST (Holtz et al., 2015) make many valuable points. We build on their position paper in two ways. First, we reflect on some of the ways in which modelling in other areas of 'sustainability science' has sometimes fallen short of the strengths articulated. Second, we extend some of Holtz et al.'s discussion of the epistemological and ontological challenges for modelling transitions. We suggest ten challenges in response to the more optimistic claims made by Holtz et al., and we provide some additional suggestions for ways forward. In particular, we suggest that seeking closer integration of qualitative, socio-technical analysis with models may not always be the best strategy. Rather, pluralist 'bridging strategies' and dialogue between analytic approaches may be more productive

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure

Concrete utopianism in integrated assessment models: Discovering the philosophy of the shared socioeconomic pathways

The Shared Socioeconomic Pathways (SSPs) are at the forefront of climate change science today. As an influential methodology and method, the SSPs guide the framing of numerous climate change research questions and how these are investigated. Although the SSPs were developed by an interdisciplinary group of scientists in a well-documented process, there is no apparent consensus in the literature that answers the question, "What is the philosophy of science behind the SSPs?" To investigate, the paper applies a systematic thematic qualitative content analysis to the dataset of published papers that establish the rules and expectations for using the SSPs. The research determines that there is no obvious and concise statement on the epistemological and ontological foundation of the SSPs. However, based on the evidence identified in the dataset, SSPs are implicitly, though not explicitly, consistent with a critical realist and concrete utopian philosophy as coined by Roy Bhaskar. This is the first paper to discuss the philosophical underpinning of the SSPs

Principles of Component-Based Design of Intelligent Agents

Compositional multi-agent system design is a methodological perspective on multiagent system design based on the software engineering principles process and knowledge abstraction, compositionality, reuse, specification and verification. This pape

Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computerscientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI” – in particular, logic-based ones will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones

Apperceptive patterning: Artefaction, extensional beliefs and cognitive scaffolding

In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). This paper continues this project but first directs a critical analytic lens at the Derridean practice of the ontologization of grammatization from which Stiegler emerges while also distinguishing how metalanguages operate in relation to object-oriented environmental interaction by way of inferentialism. Stalking continental (Kapp, Simondon, Leroi-Gourhan, etc.) and analytic traditions (e.g., Carnap, Chalmers, Clark, Sutton, Novaes, etc.), we move from artefacts to AI and Predictive Processing so as to link theories related to technicity with philosophy of mind. Simultaneously drawing forth Robert Brandom’s conceptualization of the roles that commitments play in retrospectively reconstructing the social experiences that lead to our endorsement(s) of norms, we compliment this account with Reza Negarestani’s deprivatized account of intelligence while analyzing the equipollent role between language and media (both digital and analog)

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"