The organisation of sociality: a manifesto for a new science of multi-agent systems

In this paper, we pose and motivate a challenge, namely the need for a new science of multi-agent systems. We propose that this new science should be grounded, theoretically on a richer conception of sociality, and methodologically on the extensive use of computational modelling for real-world applications and social simulations. Here, the steps we set forth towards meeting that challenge are mainly theoretical. In this respect, we provide a new model of multi-agent systems that reflects a fully explicated conception of cognition, both at the individual and the collective level. Finally, the mechanisms and principles underpinning the model will be examined with particular emphasis on the contributions provided by contemporary organisation theory

Mental states in communication

Abstract. This paper is concerned with the mental processes involved in intentional communication. I describe an agent's cognitive architecture as the set of cognitive dynamics (i.e., sequences of mental states with contents) she may entertain. I then describe intentional communication as one such specific dynamics, arguing against the prevailing view that communication consists in playing a role in a socially shared script. The cognitive capabilities needed for such dynamics are midreading (i.e., the ability to reason upon another individual's mental states), and communicative planning (i.e., the ability to dynamically represent and act in a communicative situation)

Lifeworld Analysis

We argue that the analysis of agent/environment interactions should be extended to include the conventions and invariants maintained by agents throughout their activity. We refer to this thicker notion of environment as a lifeworld and present a partial set of formal tools for describing structures of lifeworlds and the ways in which they computationally simplify activity. As one specific example, we apply the tools to the analysis of the Toast system and show how versions of the system with very different control structures in fact implement a common control structure together with different conventions for encoding task state in the positions or states of objects in the environment.Comment: See http://www.jair.org/ for any accompanying file

Flexibly Instructable Agents

This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to learn multiple kinds of knowledge from a broad range of instructional interactions. Our approach, called situated explanation, achieves such learning through a combination of analytic and inductive techniques. It combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations. The approach is implemented in an agent called Instructo-Soar that learns hierarchies of new tasks and other domain knowledge from interactive natural language instructions. Instructo-Soar meets three key requirements of flexible instructability that distinguish it from previous systems: (1) it can take known or unknown commands at any instruction point; (2) it can handle instructions that apply to either its current situation or to a hypothetical situation specified in language (as in, for instance, conditional instructions); and (3) it can learn, from instructions, each class of knowledge it uses to perform tasks.Comment: See http://www.jair.org/ for any accompanying file

Social Influence and the Generation of Joint Mental Attitudes in Multi-agent Systems

This work examines the social structural and cognitive foundations of joint mental attitudes in complexly differentated multi-agent systems, and incorporates insights from a variety of disciplines, including mainstream Distributed Artificial Intelligence, sociology, administrative science, social psychology, and organisational perspectives. At the heart of this work lies the understanding of the on-going processes by which socially and cognitively differentiated agents come to be socially and cognitively integrated. Here we claim that such understanding rests on the consideration of the nature of the influence processes that affect socialisation intensity. To this end, we provide a logic-based computational model of social influence and we undertake a set of virtual experiments to investigate whether and to what extent this process, when it is played out in a system of negotiating agents, results in a modification of the agents' mental attitudes and impacts on negotiation performance

Unawareness of theorems

This paper provides a set-theoretic model of knowledge and unawareness. A new property called Awareness Leads to Knowledge shows that unawareness of theorems not only constrains an agent's knowledge, but also, can impair his reasoning about what other agents know. For example, in contrast to Li (2006), Heifetz et al. (2006a) and the standard model of knowledge, it is possible that two agents disagree on whether another agent knows a particular event. The model follows Aumann (1976) in defining common knowledge and characterizing it in terms of a self-evident event, but departs in showing that no-trade theorems do not hold.

Toward a computational theory for motion understanding: The expert animators model

Artificial intelligence researchers claim to understand some aspect of human intelligence when their model is able to emulate it. In the context of computer graphics, the ability to go from motion representation to convincing animation should accordingly be treated not simply as a trick for computer graphics programmers but as important epistemological and methodological goal. In this paper we investigate a unifying model for animating a group of articulated bodies such as humans and robots in a three-dimensional environment. The proposed model is considered in the framework of knowledge representation and processing, with special reference to motion knowledge. The model is meant to help setting the basis for a computational theory for motion understanding applied to articulated bodies