A Logic for Reasoning about Group Norms

We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and types of collective responsibility

Group Norms for Multi-Agent Organisations

W. W. Vasconcelos acknowledges the support of the Engineering and Physical Sciences Research Council (EPSRC-UK) within the research project “Scrutable Autonomous Systems” (Grant No. EP/J012084/1). The authors thank the three anonymous reviewers for their comments, suggestions, and constructive criticisms. Thanks are due to Dr. Nir Oren, for comments on earlier versions of the article, and Mr. Seumas Simpson, for proofreading the manuscript. Any remaining mistakes are the sole responsibility of the authors.Peer reviewedPostprin

Adaptive logic characterizations of input/output logic

We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions

Why some clusters succeed whereas others decline ? Modelling the ambivalent stability properties of clusters

The aim of this paper is to study the ambivalent properties of stabilities of clusters. We propose to enter the black box of the local knowledge externalities by focusing on the location decision externalities. In particular, we show that the nature of mimetic strategies in the convergence process of locational choices influence the dynamic stability of clusters. Thus, when uncertainty and search for legitimacy prevail on the need for coordination and the associated necessities of compatibility and technological convergence, the clusters are unstable, due to an excess of cognitive proximity and a risk of unintended spillovers. Nevertheless, this search for legitimacy, through the strategy which consists in following the locational choice of companies leader of a sector, can lead to the fast emergence of a cluster. But without relational proximity, its stability is not insured. These results are obtained following the formulation of some theoretical proposals on the links between location decision externalities and the resulting forms of socioeconomic proximities. This set of proposals is validated firstly by a model of simulation which makes it possible to test the properties of stability of aggregate outcomes of locational choices. Secondly, they are illustrated by a comparative empirical analysis of two main French clusters (Silicon Sentier and Sophia-Antipolis)..clusters, proximities, stability, location under decision externalities, Silicon Sentier, Sophia-Antipolis

Mechanism-Based Thinking on Policy Diffusion. A Review of Current Approaches in Political Science

Despite theoretical and methodological progress in what is now coined as the third generation of diffusion studies, explicitly dealing with the causal mechanisms underlying diffusion processes and comparatively analyzing them is only of recent date. As a matter of fact, diffusion research has ended up in a diverse and often unconnected array of theoretical assumptions relying both on rational as well as constructivist reasoning – a circumstance calling for more theoretical coherence and consistency. Against this backdrop, this paper reviews and streamlines diffusion literature in political science. Diffusion mechanisms largely cluster around two causal arguments determining the desires and preferences of actors for choosing alternative policies. First, existing diffusion mechanisms accounts can be grouped according to the rationality for policy adoption, this means that government behavior is based on the instrumental considerations of actors or on constructivist arguments like norms and rule-driven actors. Second, diffusion mechanisms can either directly impact on the beliefs of actors or they might influence the structural conditions for decision-making. Following this logic, four basic diffusion mechanisms can be identified in mechanism-based thinking on policy diffusion: emulation, socialization, learning, and externalities.policy diffusion

Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: Logic Programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of Input/Output logic for dealing with uncertainty in dynamic normative context

Three-Valued Plurivaluationism and the Higher-Order Vagueness

Plurivaluationism is an approach to solving the Sorites Paradox based on the idea that vague discourse has more than one acceptable interpretation. Since plurivaluationism is a framework which enables one to utilize different underlying logics, three basic versions can be identified – bivalent, many-valued and fuzzy. The aim of this paper is to show how three-valued plurivaluationism, as proposed by Wang, fares against its competitors. In the first and second part, some of the traditional approaches to solving the Sorites Paradox are outlined and are confronted with two objections based on the problem of higher-order vagueness – the so-called location problem and the jolt problem. The third part is dedicated to introducing and evaluating different versions of plurivaluationism, with an emphasis on comparing Wang’s three-valued plurivaluationism to its competitors. While three-valued plurivaluationism is a promising enterprise, I show that some modifications Wang made to his system cause the location problem in plurivaluationism to re-emerge, and it also fails to provide a satisfactory answer to the jolt problem

Proceedings of the 11th European Agent Systems Summer School Student Session

This volume contains the papers presented at the Student Session of the 11th European Agent Systems Summer School (EASSS) held on 2nd of September 2009 at Educatorio della Providenza, Turin, Italy. The Student Session, organised by students, is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process and present their work to each other and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. Table of Contents: Andrew Koster, Jordi Sabater Mir and Marco Schorlemmer, Towards an inductive algorithm for learning trust alignment . . . 5; Angel Rolando Medellin, Katie Atkinson and Peter McBurney, A Preliminary Proposal for Model Checking Command Dialogues. . . 12; Declan Mungovan, Enda Howley and Jim Duggan, Norm Convergence in Populations of Dynamically Interacting Agents . . . 19; Akın Günay, Argumentation on Bayesian Networks for Distributed Decision Making . . 25; Michael Burkhardt, Marco Luetzenberger and Nils Masuch, Towards Toolipse 2: Tool Support for the JIAC V Agent Framework . . . 30; Joseph El Gemayel, The Tenacity of Social Actors . . . 33; Cristian Gratie, The Impact of Routing on Traffic Congestion . . . 36; Andrei-Horia Mogos and Monica Cristina Voinescu, A Rule-Based Psychologist Agent for Improving the Performances of a Sportsman . . . 39; --Autonomer Agent,Agent,Künstliche Intelligenz