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

Detection and resolution of normative conflicts in multi-agent systems : a literature survey

Peer reviewedPostprin

Algebras for Agent Norm-Regulation

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by normative considerations: The agent chooses that act which leads to the best outcome of all permissible actions. If an action is non-permissible depends on if the result of performing that action leads to a state satisfying a condition which is forbidden, according to the norms regulating the multi-agent system. This idea is formalized by defining set-theoretic predicates characterizing multi-agent systems. The definition of the predicate uses decision theory, the Kanger-Lindahl theory of normative positions, and an algebraic representation of normative systems.Comment: 25 page

The Norm Implementation Problem in Normative Multi-Agent Systems

Abstract. The norm implementation problem consists in how to see to it that the agents in a system comply with the norms specified for that system by the system designer. It is part of the more general problem of how to synthesize or create norms for multi-agent systems, by, for example, highlighting the choice between regimentation and enforcement, or the punishment associated with a norm violation. In this paper we discuss how various ways to implement norms in a multi-agent system can be distinguished in a formal game-theoretic framework. In particular, we show how different types of norm implementation can all be uniformly specified and verified as types of transformations of extensive games. We introduce the notion of retarded preconditions to implement norms, and we illustrate the framework and the various ways to implement norms in the blocks world environment

Computational Theory of Mind for Human-Agent Coordination

In everyday life, people often depend on their theory of mind, i.e., their ability to reason about unobservable mental content of others to understand, explain, and predict their behaviour. Many agent-based models have been designed to develop computational theory of mind and analyze its effectiveness in various tasks and settings. However, most existing models are not generic (e.g., only applied in a given setting), not feasible (e.g., require too much information to be processed), or not human-inspired (e.g., do not capture the behavioral heuristics of humans). This hinders their applicability in many settings. Accordingly, we propose a new computational theory of mind, which captures the human decision heuristics of reasoning by abstracting individual beliefs about others. We specifically study computational affinity and show how it can be used in tandem with theory of mind reasoning when designing agent models for human-agent negotiation. We perform two-agent simulations to analyze the role of affinity in getting to agreements when there is a bound on the time to be spent for negotiating. Our results suggest that modeling affinity can ease the negotiation process by decreasing the number of rounds needed for an agreement as well as yield a higher benefit for agents with theory of mind reasoning.</p

The performance of global democracy : parody and/as the political

The article develops a critical analysis of the debate on global democracy. Departing from common post-structural IR critiques of global democracy as (merely) a metaphor of escape that entrenches many of the sovereign logics it claims to contest, we explore what it would mean to engage the discourse of global democracy as an ongoing performative practice. After briefly outlining the relative positions of liberal reformist and cosmopolitan democrats – we argue that more attention can/should be paid to the ontopolitical foundations of global democracy. Drawing from William Connolly and Judith Butler, it is argued that fundamental (democratic) limits of the discourse are overlooked/re-produced, and even in the more ambitious cosmopolitan positions. Ontopolitical closures in relation to a problematic global scale and the universal assumption of individual agency/rights highlight the necessity of democratising ‘actually existing’ discourses of global democracy. We explore these ideas via a discussion of the cultural governance of global trade and resistance to it, especially via the activities of a UK based anarchist group called The Space Hijackers. By deploying parody the Space Hijackers can contribute to the debate on global democracy by provoking reflection upon fundamental assumptions about globalisation and ethics in everyday situations. They therefore problematise and subvert the problematic subjectivity of the ‘global-individual’ in a manner that might (but does not necessarily) allow for the imagination of alternative possibilities. The importance of this argument is that it resists the tendency of poststructural scepticism with regard to ethical discourses of global democracy, while retaining what is so promising: a turn towards singularity and imagination. Parody does not solve all problems, what could? But it does offer a modality within which subjects can imagine and act creatively with regards to the everyday closures of global democrac