In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide the norms over three levels: the private level the contract level and the convention level. We show how deontic logic can be used to model the concepts and how the theory of speech acts can be used to model the generation of (some of) the norms. Finally we give some idea about (...) an agent architecture incorporating the social norms based on a BDI framework. (shrink)

The general aim of this work is to show the importance of the adressee's mind as planned by the author of a speech act or of a norm; in particular, how important are the expected motivations for goal adoption. We show that speech acts differ from one another for the different motivations the speaker is attempting to obtain from the hearer. The description of the participants' social positions is not sufficient. Important conflicts can arise which are not relative to what (...) to do, but to the different motives requested by the speaker. This view is applied to norms, pointing out that what is required by a norm is not only a behaviour but also a mental attitude, and that the prescribed mind might be even more important than the prescribed behaviour. Norms don't want just behavioural conformity, but also that this conformity implies an acknowledgement and a reinforcement of both the authority and the norm itself. Norms ask for submission. Any form of norm is aimed at influencing the addressee by changing his or her mind. (shrink)

In H-C interaction, computer supported cooperation andorganisation, computer mediated commerce, intelligentdata bases, teams of robots. etc. there will bepurposively deceiving computers. In particular, withinthe Agent-based paradigm we will have ``deceivingagents''''. Several kinds of deception will be present ininteraction with the user, or among people viacomputer, or among artificial agents not only formalicious reasons (war, commerce, fraud, etc.) butalso for goodwill and in our interest. Social control,trust, and moral aspects in artificial societies willbe the focus of theoretical worm as well as (...) ofimplementation. Is there any special affinity betweenAI and deception? (shrink)

A method for forcing norms onto individual agents in a multi-agent system is presented. The agents under study are supersoft agents: autonomous artificial agents programmed to represent and evaluate vague and imprecise information. Agents are further assumed to act in accordance with advice obtained from a normative decision module, with which they can communicate. Norms act as global constraints on the evaluations performed in the decision module and hence no action that violates a norm will be suggested to any agent. (...) Further constraints on action may then be added locally. The method strives to characterise real-time decision making in agents, in the presence of risk and uncertainty. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...) a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

I will first discuss how social interactions organize, coordinate, and specialize as “artifacts,” tools; how these tools are not only for coordination but for achieving something, for some outcome (goal/function), for a collective work. In particular, I will argue that these artifacts specify (predict and prescribe) the mental contents of the participants, both in terms of beliefs and acceptances and in terms of motives and plans. We have to revise the behavioristic view of “scripts” and “roles”; when we play a (...) role we wear a “mind.” No collective action would be possible without shared and/or ascribed mental contents. This is also very crucial for a central form of automatic mind-reading (mind ascription). Second, I will argue that often what really matters is the ascribed/prescribed, worn, mind not the real, private one. We have to play (like in the symbolic play) “as if” we had those mental contents. This social convention and mutual assumption makes the interaction work. The ascribed beliefs and goals are not necessarily explicitly there; they might be just implicit as inactive (we act just by routine and automatically) or implicit as potential. The coordination and social action works thanks to these “as if” (ascribed and pretended) minds, thanks to those conventional constructs. Our social minds for social interactions are coordination artifacts and social institutions. (shrink)

In this paper, an integrated, cognitive view of different mechanisms, reasons and pathways to norm compliance is presented. After a short introduction, theories of norm compliance are reviewed, and found to group in four main typologies: the rational choice model of norm compliance; theories based on conditional preferences to conformity, theories of thoughtless conformity, and theories of norm internalization. In the third section of the paper, the normative architecture EMIL-A is presented. Previous work discussed the epistemic module of this normative (...) architecture, allowing for the generation of normative beliefs being formed. The fourth and fifth sections present the pragmatic modules of EMIL-A, i.e. norm adoption—leading to normative goals—and norm compliance—leading to their execution. Not only are several alternative reasons for norm adoption shown, but also several pathways to norm compliance are identified. Finally, a summary and ideas for future works conclude the paper. (shrink)

Thesis: Macro-level social phenomena are implemented through the (social) actions and minds of the individuals. Without an explicit theory of the agents' minds that founds, agents' behavior we cannot understand macro-level social phenomena, and in particular how they work. AntiThesis: Mind is not enough: the theory of individual (social) mind and action is not enough to explain several macro-level social phenomena. First, there are pre-cognitive, objective social structures that constrain the actions of the agents; second, there are emergent, unaware or (...) non-contractual forms of cooperation, organisation, and intelligence. Synthesis: The real challenge is how to reconcile, cognition with emergence, intention and deliberation with unknown or unplanned social functions and social order . Both objective structures and unplanned self-organising complex forms of social order and social function emerge from the interactions of agents and from their individual mental states; both these structures and self-organising systems feedback on agents' behaviors through the agents' individual minds. (shrink)

In the decision-making and rationality research field, rational decision theory (RDT) has always been the main framework, thanks to the elegance and complexity of its mathematical tools. Unfortunately, the formal refinement of the theory is not accompanied by a satisfying predictive accuracy, thus there is a big gap between what is predicted by the theory and the behaviour of real subjects. Here we propose a new foundation of the RDT, which has to be based on a cognitive architecture for reason-based (...) agents, acting on the basis of their beliefs in order to achieve their goals. The decision process is a cognitive evaluation of conflicting goals, based on different beliefs and values, but also on emotions and desires. We refer to a cognitive analysis of emotions and we integrate them in this more general RDT. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed formal (...) concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

In this paper I will analyse the relationship between metaphor and imagination. This issue has been recently studied by cognitive linguists who appreciate its importance, while other semantic perspectives neglect it. I will analyse the thesis which affirms that metaphors are based on cognitive components which are not logical-propositional but imaginative: the “image schemata” are recurrent models of corporeal experiences, centres of knowledge organization which structure – in a non-propositional form – an amount of salient information. This information emerges from (...) the sensorimotor activities such as: manipulation of objects, spatial orientation and focusing perceptive attention on different goals. According to this theory, imagination is the drive of the entire cognitive experience and, through metaphorical projection, it activates and coordinates the schemata from which the very linguistic activity originates. Starting with empirical studies about the cognitive and neurobiological plausibility of image schemata, I will assert the function of imagination as the trait d’union between experience and cognitive use of the metaphor, through the use of sensory and synesthetic metaphors as mediators among perceptive, physical and linguistic dimensions. I hope future research will concentrate on the relationship between synesthesia and image schemata because of their strong connection with human perceptive, cognitive and neural structures. (shrink)

Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interaction and thus cannot easily be built in a (...) global world where we have immediate internet access to a vast pool of experts. In this article, we integrate findings from experimental psychology and formal tools from Artificial Intelligence to offer a preliminary roadmap for solving the problem of trust in this computer-mediated environment. We conclude the article by considering a diverse array of extended applications of such a solution. (shrink)

Mind reading (i.e. the ability to infer the mental state of another agent) is taken to be the main cognitive ability required to share an intention and to collaborate. In this paper, I argue that another cognitive ability is also necessary to collaborate: representing others’ and ones’ own goals from a third-person perspective (other-centred or allocentric representation of goals). I argue that allocentric mind reading enables the cognitive ability of goal adoption, i.e. having the goal that another agent’s achieve p (...) because and as long as another agent has that goal that p. Having clarified the relevance of mutual goal adoption for acting jointly, I argue that when an intention is shared between several agents, each individual has an intention in favour of the joint action and one in favour of a joint mode of reasoning. This mode of reasoning is allocentric reasoning. Finally, I elaborate on the consequences of this view for the scientific study of human collaboration. (shrink)

This article reports on an empirical investigation of long-term use of a groupware system in a spatially and massively distributed network of educators. It is a case study based investigation aimed at understanding the impacts of collaboration technology in supporting social interaction. The paradigm of social constructivism and the perspective of structuration are proposed as frameworks for understanding the impacts of technology on mediating social interaction. Utilizing these perspectives in an empirical investigation, the case study findings demonstrate how collaboration technology (...) can serve as a change agent in transforming the culture and structure of social interaction. This is enacted in two ways: through the various meanings which people construct when interacting with technology and in benefiting from the structural properties of a system through its technical affordances. (shrink)

The aim of this paper is to clarify what kind of normativity characterizes a convention. First, we argue that conventions have normative consequences because they always involve a form of trust and reliance. We contend that it is by reference to a moral principle impinging on these aspects (i.e. the principle of Reliability) that interpersonal obligations and rights originate from conventional regularities. Second, we argue that the system of mutual expectations presupposed by conventions is a source of agreements. Agreements stemming (...) from conventions are “tacit” in the sense that they are implicated by what agents do (or forbear from doing) and without that any communication between them is necessary. To justify this conclusion, we assume that: (1) there is a salient interpretation, in some contexts, of everyone’s silence as confirmatory of the others’ expectations (an epistemic assumption), and (2) the participating agents share a value of not being motivated by hostile attitudes (a motivational assumption). By clarifying the relation between conventions and agreements, the peculiar normativity of conventions is analyzed. (shrink)

Humans and other animals are able not only to coordinate their actions with their current sensorimotor state, but also to imagine, plan and act in view of the future, and to realize distal goals. In this paper we discuss whether or not their future-oriented conducts imply (future-oriented) representations. We illustrate the role played by anticipatory mechanisms in natural and artificial agents, and we propose a notion of representation that is grounded in the agent’s predictive capabilities. Therefore, we argue that the (...) ability that characterizes and defines a true cognitive mind, as opposed to a merely adaptive system, is that of building representations of the non-existent, of what is not currently (yet) true or perceivable, of what is desired. A real mental activity begins when the organism is able to endogenously (i.e. not as the consequence of current perceptual stimuli) produce an internal representation of the world in order to select and guide its conduct goal-directed: the mind serves to coordinate with the future. (shrink)

I intend to show some of the limits of the decision-theoretic model in connection with the analysis of cognitive agency. Although the concept of maximum expected utility can be helpful for explaining the decision-making process, it is certainly not the primary motor that moves agents to action. Moreover, it has been noticed elsewhere that this model is inadequate to the analysis of single cases of practical reasoning. A theory is proposed that introduces a plan-structure as a basic idea. In order (...) to know its very conceptual scope, we need to accommodate that theory to a cognitive architecture whereby the rational and autonomous agent makes choices and deliberates between courses of action to achieve specific goals that are of its interest. The paper endeavours also to clarify the relationship between the different modules that should constitute the architecture of an agent to accomplish the requisites of efficiency and autonomy in a changeable and dynamic world. (shrink)

. “The Notebook Corner,” edited by Enrico Pattaro, makes its first appearance here as a new section of Ratio Juris. This new section can be described in a sense as an offshoot of the project for A Treatise of Legal Philosophy and General Jurisprudence, a work still in progress composed of five theoretical volumes and six historical ones. The theoretical volumes receive a brief presentation in the paper immediately below, with a specific focus on Volume 1, entitled The Law and (...) the Right: A Reappraisal of the Reality That Ought to Be. This volume is then discussed as well by Rosaria Conte and Cristiano Castelfronchi in the second paper of this “Notebook Corner”. (shrink)

The comprehension of norms in complex social systems is one of the most active fields of research in agent-based modelling. This is faced with the challenge to comprehend the recursive interaction between inter- and intra-agent processes. In this article, a comparative analysis of selected cases of normative agent architectures will be given based on a review of theories of norms in the social sciences. This allows to identify the prerequisites for a representation of the cognitive processes of norm recognition. As (...) yet, there is no unequivocal concept for the design of normative agents. Different approaches are compared along the line of different theoretical accounts. (shrink)

Distributed Artificial Intelligence (DAI) deals with computational systems where several intelligent components interact in a common environment. This paper is aimed at pointing out and fostering the exchange between DAI and cognitive and social science in order to deal with the issues of interaction, and in particular with the reasons and possible strategies for social behaviour in multi-agent interaction is also described which is motivated by requirements of cognitive plausibility and grounded the notions of power, dependence and help. Connections with (...) human-computer interaction are also suggested. (shrink)

The necessity to model the mental ingredients of norm compliance is a controversial issue within the study of norms. So far, the simulation-based study of norm emergence has shown a prevailing tendency to model norm conformity as a thoughtless behavior, emerging from social learning and imitation rather than from specific, norm-related mental representations. In this paper, the opposite stance—namely, a view of norms as hybrid, two-faceted phenomena, including a behavioral/social and an internal/mental side—is taken. Such a view is aimed at (...) accounting for the difference between norms, on one hand, and either behavioral regularities (conventions) on the other. This paper, in particular, is addressed to find out the internal ingredients required for the former distinction, i.e., to model norms as distinct from mere conventions, and defined as behaviors spreading to the extent that and because the corresponding commands and beliefs do spread as well. After a brief presentation of a normative agent architecture, the results of agent-based simulations testing the impact of norm recognition and the role of normative beliefs in the emergence and innovation of social norms are presented and discussed. More specifically, the present work will endeavour to show that a sudden external constraint (e.g. a barrier preventing agents from moving among social settings) facilitates norm innovation: under such a condition, agents provided with a module for telling what a norm is can generate new (social) norms by forming new normative beliefs, irrespective of the most frequent actions. (shrink)

Some issues and varieties of computational and other approaches to understanding socially embedded phenomena are discussed. It is argued that of all the approaches currently available, only agent-based simulation holds out the prospect for adequately representing and understanding phenomena such as social norms.

In this paper, we present a formal interpretive account of Jean Piaget’s theory of the morality that regulates social exchanges, which we call interactional morality. First, we place Piaget’s conception in the context of his epistemological and sociological works. Then, we review the core of that conception: the two types of interactional moralities that Piaget identified to be usual in social exchanges, and the role that the notion of respect-for-the-other plays in their definition. Next, we analyze the main features of (...) social exchanges that are subject to each of those two types of interactional moralities. Following, we formalize Piaget’s account of how the two types of interactional moralities can be put to regulate social exchanges in which values, norms, beliefs, and goals are exchanged, so that interactional commitments can be established among the participants. Then, we sketch a moral reasoning system able to support formal reasonings about interactional moralities. Finally, we illustrate the usefulness of the overall formal model of interactional moralities that resulted from our study by applying it to the explication of some of the conclusions achieved by Piaget in his moral studies about children games. (shrink)

Conviviality has been identified as a key concept necessary to web communities, such as digital cities, and while it has been simultaneously defined in literature as individual freedom realized in personal interdependence, rational and cooperative behavior and normative instrument, no model for conviviality has yet been proposed for computer science. In this article, we raised the question whether social intelligence design could be used to designing convivial digital cities. We first looked at digital cities and identified, from a social intelligence (...) design point of view, two main categories of digital cities: public websites and commercial websites; we also noted the experimental qualities of digital cities. Second, we analyzed the concept of conviviality for social science, multi-agent systems and intelligent interface; we showed the distinction among various kinds of use of conviviality, the positive outcomes such as social cohesion, trust and participation but also the negative aspects that emerged when conviviality became an instrument of power relations. Fourth, we looked at the normative aspect of conviviality as described in the literature and found that social norms for conviviality paralleled legal and institutional norms for digital cities. Finally, as a first step toward obtaining measures for conviviality, we presented a case study describing agents and user’s interactions using dependence graphs. We also presented an analysis of conviviality requirements and described our plan and methodology for designing convivial digital cities. (shrink)

Complex systems are to be seen as typically having multiple levels of organization. For instance, in the behavioural and cognitive sciences, there has been a long lasting trend, promoted by the seminal work of David Marr, putting focus on three distinct levels of analysis: the computational level, accounting for the What and Why issues, the algorithmic and the implementational levels specifying the How problem. However, the tremendous developments in neuroscience knowledge about processes at different scales of organization together with the (...) complexity of today cognitive theories suggest that there will hardly be only three levels of explanation. Instead, there will be many different degrees of commitments corresponding to the different granularities—from high-level (behavioural) models to low-level (neural and molecular) models of the cognitive research program. For instance, Bayesian approaches, that are usually advocated for formalizing Marr’s computational level and rational behaviour, have even been adopted to model synaptic plasticity and axon guidance by molecular gradients. As a result, we can consider the behavioural scientist as dealing with models at a multiplicity of levels. The purpose of this Research Topic in Frontiers in Theoretical and Philosophical Psychology is to promote an approach to the role of the levels and explanation and models which is of interest for cognitive scientists, neuroscientists, psychologists, behavioural scientists, and philosophers of science. (shrink)