Massively multiplayer online games are not merely electronic communication systems based on computational databases, but also include artificial intelligence that possesses complex, dynamic structure. Each visible action taken by a component of the multi-agent system appears simple, but is supported by vastly more sophisticated invisible processes. A rough outline of the typical hierarchy has four levels: interaction between two individuals, each either human or artificial, conflict between teams of agents who cooperate with fellow team members, enduring social-cultural groups (...) that seek to accomplish shared goals, and large-scale cultural traditions, often separated into virtual geographic regions. In many MMOs, both magic and religion are represented, in ways that harmonize with a social-scientific theory that defines them in terms of specific versus general psychological compensators. This article draws empirical examples from five diverse MMOs: Dark Age of Camelot, Dungeons and Dragons Online, World of Warcraft, A Tale in the Desert and Gods and Heroes. (shrink)

Many computational tools for the simulation and design of emergency evacuation and egress are now available. However, due to the scarcity of human and social behavioral data, these computational tools rely on assumptions that have been found inconsistent or unrealistic. This paper presents a multi-agent based framework for simulating human and social behavior during emergency evacuation. A prototype system has been developed, which is able to demonstrate some emergent behaviors, such as competitive, queuing, and herding behaviors. For (...) illustration, an example application of the system for safe egress design is provided. (shrink)

As we know, a cognitive architecture is a domain-generic computational cognitive model that may be used for a broad analysis of cognition and behavior. Cognitive architectures embody theories of cognition in computer algorithms and programs. Social simulation with multi-agent systems can benefit from incorporating cognitive architectures, as they provide a realistic basis for modeling individual agents (as argued in Sun 2001). In this survey, an example cognitive architecture will be given, and its application to social simulation (...) will be sketched. (shrink)

The Internet of Things (IoT) is a fast-growing technology that connects everyday devices to the Internet, enabling wireless, low-consumption and low-cost communication and data exchange. IoT has revolutionized the way devices interact with each other and the internet. The more devices become connected, the greater the risk of security breaches. There is currently a need for new approaches to algorithms that can detect malware regardless of the size of the network and that can adapt to dynamic changes in the network. (...) Through the use of a multi-agent reinforcement learning algorithm, this paper proposes a novel algorithm for malware detection in IoT devices. The proposed algorithm is not strongly dependent on the size of the IoT network due to the that its training is adapted using time differences if the IoT network size is small or Monte Carlo otherwise. To validate the proposed algorithm in an environment as close to reality as possible, we proposed a scenario based on a real IoT network, where we tested different malware propagation models. Different simulations varying the number of agents and nodes in the IoT network have been developed. The result of these simulations proves the efficiency and adaptability of the proposed algorithm in detecting malware, regardless of the malware propagation model. (shrink)

This paper proposes a Multi-Agent based Particle Swarm Optimization (PSO) Framework for the Traveling salesman problem (MAPSOFT). The framework is a deployment of the recently proposed intelligent multi-agent based PSO model by the authors. MAPSOFT is made up of groups of agents that interact with one another in a coordinated search effort within their environment and the solution space. A discrete version of the original multi-agent model is presented and applied to the Travelling Salesman (...) Problem. Based on the simulation results obtained, it was observed that agents retrospectively decide on their next moves based on consistent better fitness values obtained from present and prospective neighborhoods, and by reflecting back to previous behaviors and sticking to historically better results. These overall attributes help enhance the conventional PSO by providing more intelligence and autonomy within the swarm and thus contributed to the emergence of good results for the studied problem. (shrink)

This paper describes the escape/intervention concept as it is used in the agent growing environment framework. The Escape and Intervention is used in many multi-disciplinary areas, including agent research, artificial intelligence, groupware and workflow, process support, software engineering, and social sciences. Based on an ontological perspective, this paper explains how an interaction-oriented agent architecture and language (used for modelling, simulation, and development) makes use of an interaction pattern that is inspired from social contexts seen as (...) multi-agent systems. (shrink)

En philosophie, l'ontologie étudie ce qui pourrait exister : le type et la structure des objets, les propriétés, évènements, processus et relations. En ingénierie des connaissances, c'est la spécification de la conceptualisation d'un domaine de savoir. Ce domaine concerne ici la modélisation à base d'agents (ABM) pour les sciences de l'homme et de la société (SHS) en vue de la simulation par systèmes multi-agents (SMA). La modélisation SMA en SHS propose la formalisation d'une pluralité de points de vue (...) dans un cadre général qui permet de comparer et de combiner différents angles de réflexion. Agrémenté d'exemples issus de trois domaines (la géographie, l'économie et la sociologie), cet ouvrage utilise des formalismes principalement basés sur UML. L'exercice de description d'une ontologie est présenté comme un dialogue conceptuel interdisciplinaire et l'ontologie comme le médiateur de ce dialogue. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at (...) the core of the FMSA is similar in both contexts: notions of “levels of system specification”, “behavior of models”, “simulator” and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) and recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at (...) the core of the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

A program for the simulation of rational social normative trust, predictive `trust,' and predictive reliance between agents will be introduced. It offers a tool for social scientists or a trust component for multi-agent simulations/multi-agent systems, which need to include trust between agents to guide the decisions about the course of action. It is based on an analysis of rational social normative trust (RSNTR) (revised version of M. Tuomela 2002), which is presented and briefly argued. For (...) collective agents, belief conditions for collective agency should be added. For the various forms of trust agents must have (at least) subjectively rational reasons to believe that the conditions of the trust account are fulfilled. A list of such reasons (of varied weights), e.g., given by empirical research, can manually be built into a parameter file or be generated by a calling program in a fixed format. From this list of reasons the program randomly generates a belief base for the agents of the artificial society. Reasons can be chained together so that one set of reasons satisfies several belief conditions. The program checks if the conditions are fulfilled for the artificial agents' social normative trust/predictive `trust'/`predictive reliance' in another agent that he will perform an action X. Each outcome is logged to a result file. In conclusion we discuss various aspects of the application of a trust component of the suggested kind in empirical research, social simulation, and multi-agent systems. (shrink)

We use the example of the introduction of the anti-smoking legislation to model the relationship between the cultural make-up, in terms of values, of societies and the acceptance of and compliance with norms. We present two agent-based simulations and discuss the challenge of modeling sanctions and their relation to values and culture.

We build a topological model, based on intuitionistic logic, for multi-agent biological systems (such as _Physarum polycephalum_, bacterial colonies or any other swarm), reacting to external nourishment stimuli. Our construction follows the topological description of brain activity, where particles (neurons) are activated by an external environment, represented by a topological space _X_ with an open cover \(\{U_i:i\in I\}\). The brain builds the model of this external space via the nerve (trace) of a topological space _X_. Here the body (...) of _Physarum polycephalum_ or a swarm made of networks of tubular structures represents a nerve (trace) of _X_ also which means that _Physarum polycephalum_ or a swarm gains orientation in the space of external stimuli even in the absence of any neural system. The logic of living organisms is based on open subsets of _X_ and thus can be represented by Heyting algebra (i.e. intuitionistically). We also consider the generalisation of the nerve construction to a categorical context, where the category is determined by the network structures of multi-agent biological system. This model can be generalised up to simulating the behaviour of any swarm by means of intuitionistic logic. (shrink)

Although virtue ethics has repeatedly been proposed as a suitable framework for the development of artificial moral agents, it has been proven difficult to approach from a computational perspective. In this work, we present the first technical implementation of artificial virtuous agents in moral simulations. First, we review previous conceptual and technical work in artificial virtue ethics and describe a functionalistic path to AVAs based on dispositional virtues, bottom-up learning, and top-down eudaimonic reward. We then provide the details of a (...) technical implementation in a moral simulation based on a tragedy of the commons scenario. The experimental results show how the AVAs learn to tackle cooperation problems while exhibiting core features of their theoretical counterpart, including moral character, dispositional virtues, learning from experience, and the pursuit of eudaimonia. Ultimately, we argue that virtue ethics provides a compelling path toward morally excellent machines and that our work provides an important starting point for such endeavors. (shrink)

This book brings together contributions from leading researchers in the field of agent-based modelling and simulation. This approach has grown out of some recent and innovative ideas in the social sciences, computer sciences, life sciences, physics and game theory. It is proving helpful in understanding complexity in many domains. The opportunities it offers to explore the experimental approach to social and human behaviour is proving of theoretical and empirical value across a wide range of fields. With contributions from (...) researchers whose work has served to define this new field such as Nigel Gilbert, Robert Axtell (in economics and social science) and Jacques Ferber (in multi-agent systems), as well as practitioners who are working at the cutting edge of the new domain, this collection of essays has been assembled by two of its leading exponents: Frédéric Amblard and Denis Phan. The research, case studies and theoretical approaches discussed in this book are designed to introduce beginners and experts alike to the current state of play in this new and exciting field of social science. (shrink)

This volume brings together contributions from leading researchers in the field of agent-based modelling and simulation. This approach has grown out of some recent and innovative ideas in the social sciences, computer sciences, life sciences, physics and game theory. It is proving helpful in understanding complexity in many domains. The opportunities it offers to explore the experimental approach to social and human behaviour is proving of theoretical and empirical value across a wide range of fields. With contributions from (...) researchers whose work has served to define this new field such as Nigel Gilbert, Robert Axtell (in economics and social science) and Jacques Ferber (in multi-agent systems), as well as practitioners who are working at the cutting edge of the new domain, this collection of essays has been assembled by two of its leading exponents: Frédéric Amblard and Denis Phan. The research, case studies and theoretical approaches discussed in this book are designed to introduce beginners and experts alike to the current state of play in this new and exciting field of social science. (shrink)

The epistemology of computer simulations has become a mainstream topic in the philosophy of technology. Within this large area, significant differences hold between the various types of models and simulation technologies. Agent-based and multi-agent systems simulations introduce a specific constraint on the types of agents and systems modelled. We argue that such difference is crucial and that simulation for the artificial sciences requires the formulation of its own specific epistemological principles. We present a minimally committed (...) epistemology which relies on the methodological principles of the Philosophy of Information and requires weak assumptions on the usability of the simulation and the controllability of the model. We use these principles to provide a new definition of simulation for the context of interest. (shrink)

Management of the renewable natural resources in Madagascar is gradually being transferred to the local communities, particularly that of forest resources. However, these local communities are struggling to assess the consequences of management plans that they themselves must develop and implement on ecologically, economically and socially sustainable grounds. In order to highlight key aspects of different management options beforehand, we have developed MIRANA, a computer model to simulate various scenarios of management plan implementation. MIRANA differs from other simulation models (...) by not only taking into account individual practices and economic exchanges, but also by accounting for the applicable regulations. These regulations are taken into consideration by means of a multiplicity of normative structures within a spatial context. The objective of this paper is to describe the representations of institutions, norms and territories proposed by MIRANA and to discuss these representations in relation to the state of the art in the field of normative multi-agent systems. (shrink)

In normative multi-agent systems, the question of “how an agent identifies norms in an open agent society” has not received much attention. This paper aims at addressing this question. To this end, this paper proposes an architecture for norm identification for an agent. The architecture is based on observation of interactions between agents. This architecture enables an autonomous agent to identify prohibition norms in a society using the prohibition norm identification (PNI) algorithm. The PNI (...) algorithm uses association rule mining, a data mining approach to identify sequences of events as candidate norms. When a norm changes, an agent using our architecture will be able to modify the norm and also remove a norm if it does not hold in the society. Using simulations of a park scenario we demonstrate how an agent makes use of the norm identification framework to identify prohibition norms. (shrink)

I present a game-theoretical multi-agent system to simulate the evolutionary process responsible for the pragmatic phenomenon division of pragmatic labour (DOPL), a linguistic convention emerging from evolutionary forces. Each agent is positioned on a toroid lattice and communicates via signaling games , where the choice of an interlocutor depends on the Manhattan distance between them. In this framework I compare two learning dynamics: reinforcement learning (RL) and belief learning (BL). An agent’s experiences from previous plays influence (...) his communication behaviour, and RL agents act in a non-rational way whereas BL agents display a small degree of rationality by using best response dynamics . The complete system simulates an evolutionary process of communication strategies, which agents can learn in a structured spatial society. The significant questions are: what circumstances could lead to an evolutionary process that doesn’t result in the expected DOPL convention; and to what extent is interlocutor rationality necessary for the emergence of a society-wide convention à la DOPL? (shrink)

Multi-level institutional designs with distributed power and authority arrangements among federal, state, regional, and local government agencies could lead to the emergence of differential patterns of socioeconomic and infrastructure development pathways in complex social–ecological systems. Both exogenous drivers and endogenous processes in social–ecological systems can lead to changes in the number of “basins of attraction,” changes in the positions of the basins within the state space, and changes in the positions of the thresholds between basins. In an effort to (...) advance the theory and practice of the governance of policy systems, this study addresses a narrower empirical question: how do intergovernmental institutional rules set by federal, state, and regional government agencies generate and sustain basins of attraction in funding infrastructure projects? A pattern-oriented, agent-based model (ABM) of an intergovernmental network has been developed to simulate real-world transportation policy implementation processes across the federal, the state of Vermont, regional, and local governments for prioritizing transportation projects. The ABM simulates baseline and alternative intergovernmental institutional rule structures and assesses their impacts on financial investment flows. The ABM was calibrated with data from multiple focus groups, individual interviews, and analysis of federal, state, and regional scale transportation projects and programs. The results from experimental simulations are presented to test system-wide effects of alternative multi-level institutional designs, in particular different power and authority arrangements between state and regional governments, on the emergence of roadway project prioritization patterns and funding allocations across regions and towns. (shrink)

The objective of this work is to demonstrate how cooperative sharers and uncooperative free riders can be placed in different groups of an electronic society in a decentralised manner. We have simulated an agent-based open and decentralised P2P system which self-organises itself into different groups to avoid cooperative sharers being exploited by uncooperative free riders. This approach encourages sharers to move to better groups and restricts free riders into those groups of sharers without needing centralised control. Our approach is (...) suitable for current P2P systems that are open and distributed. Gossip is used as a social mechanism for information sharing which facilitates the formation of groups. Using multi-agent based simulations we demonstrate how the adaptive behaviour of agents lead to self-organisation. We have tested with varying the gossip level and checked its impact in the system’s behaviour. We have also investigated the impact of false gossip in this system where gossip is the medium for information sharing which leads to self-organisation. (shrink)

This paper proposes a coevolutionary scenario on the origins of compositionality and word order regularity in human language, and illustrates it using a multi-agent, behavioral model. The model traces a `bottom-up' process of syntactic development; artificial agents, by iterating local orders among lexical items, gradually build up basic constituent word order(s) in sentences. These results show that structural features of language (e.g. syntactic categories and word orders) could have coevolved with lexical items, as a consequence of general learning (...) mechanisms (e.g. pattern extraction and sequential learning) initially not language-specific. Keywords: Computer simulation; language origin; coevolution; compositionality; word order regularity. (shrink)

Problem: Can communication emerge from the interaction of “self-referentially closed systems,” conceived as operating solely on the base of the “internal” output of their onboard means? Or in terms of philosophical conceptions: can communication emerge without (“outward” directed) “intention” or “will to be understood”? Method: Multi-agent simulation based on a conceptual analysis of the theory of social systems as suggested by Niklas Luhmann. Results: Agents that co-evolutionarily aggregate probabilities on how to cope with their environment can structurally (...) couple and generate a form of “eigenbehavior” that retrospectively (i.e., by an observer) might be interpreted as communication. Implications: The “intention” or the “will to be understood,” as prominently claimed to be indispensable in communication by theoreticians such as Jürgen Habermas, can be seen as a retrospective ascription to an emergent property of complex interaction. Constructivist content: The paper attempts to base constructivist reasoning on data generated in simulations. (shrink)

The majority of the extant languages have one of three dominant basic word orders: SVO, SOV or VSO. Various hypotheses have been proposed to explain this word order bias, including the existence of a universal grammar, the learnability imposed by cognitive constraints, the descent of modern languages from an ancestral protolanguage, and the constraints from functional principles. We run simulations using a multi-agent computational model to study this bias. Following a local order approach, the model simulates individual language (...) processing mechanisms in production and comprehension. The simulation results demonstrate that the semantic structures that a language encodes can constrain the global syntax, and that local syntax can help trigger bias towards the global order SOV/SVO. (shrink)

The majority of the extant languages have one of three dominant basic word orders: SVO, SOV or VSO. Various hypotheses have been proposed to explain this word order bias, including the existence of a universal grammar, the learnability imposed by cognitive constraints, the descent of modern languages from an ancestral protolanguage, and the constraints from functional principles. We run simulations using a multi-agent computational model to study this bias. Following a local order approach, the model simulates individual language (...) processing mechanisms in production and comprehension. The simulation results demonstrate that the semantic structures that a language encodes can constrain the global syntax, and that local syntax can help trigger bias towards the global order SOV/SVO. (shrink)

This paper proposes a coevolutionary scenario on the origins of compositionality and word order regularity in human language, and illustrates it using a multi-agent, behavioral model. The model traces a ‘bottom-up’ process of syntactic development; artificial agents, by iterating local orders among lexical items, gradually build up basic constituent word order in sentences. These results show that structural features of language could have coevolved with lexical items, as a consequence of general learning mechanisms initially not language-specific. Keywords: Computer (...) simulation; language origin; coevolution; compositionality; word order regularity. (shrink)

Agent-based social simulation (with multi-agent systems), which is an important aspect of social computing, can benefit from incorporating cognitive architectures, as they provide a realistic basis for modeling individual agents and therefore their social interactions. A cognitive architecture is a domain-generic computational cognitive model that may be used for a broad multiple-domain analysis of individual behavior. In this article, an example of a cognitive architecture is given, and its applications to social simulation described. Some challenging (...) issues in this regard are outlined. (shrink)

In this paper I will discuss a certain philosophical and conceptual program -- that I have called philosophy of social action writ large -- and also show in detail how parts of the program have been, and is currently being carried out. In current philosophical research the philosophy of social action can be understood in a broad sense to encompass such central research topics as action occurring in a social context (this includes multi-agent action); shared we-attitudes (such as (...) we-intention, mutual belief) and other social attitudes expressing collective intentionality and needed for the explication and explanation of social action; social macro-notions, such as actions performed by social groups and properties of social groups such as their goals and beliefs; social practices, and institutions (see e.g. Tuomela, 1995, 2000a, 2001). The theory of social action understood analogously in a broad sense would then involve not only philosophical but all other relevant theorizing about social action. Thus, in this sense, such fields of Artificial Intelligence (AI) as Distributed AI (DAI) and the theory of Multi-Agent Systems (MAS) fall within the scope of the theory of social action. DAI studies the social side of computer systems and includes various well-known areas ranging from human-computer interaction, computer-supported cooperative work, organizational processing, and distributed problem solving to the simulation of social systems. (shrink)

We consider a two-patch epidemiological system where individuals can move from one patch to another, and local interactions between the individuals within a patch are governed by the classical SIRS model. When the time-scale associated with migration is much smaller than the time-scale associated with infection, aggregation methods can be used to simplify the initial complete model formulated as a system of ordinary differential equations. Analysis of the aggregated model then shows that the two-patch basic reproduction rate is smaller than (...) the 1 patch one. We extend this result to a linear chain of P patches . These results are illustrated by some examples for which numerical integration of the system of ordinary differential equations is performed. Simulations of an individual based model implemented with a multi-agent system are also carried out. (shrink)

Attachment is an emotional bond between two people where one seeks care from the other. In the prototypical case, the child attaches to their mother. The most recent theoretical developments point out that attachment is multidimensional – meaning that the phenomenon pertains to multiple domains related to the relationship with the caregiver. However, researchers have so far modeled attachment computationally by mostly adopting a classical categorical (as opposed to dimensional) standpoint that sees the system as controlling caregiver proximity. In contrast, (...) we adopt here adimensional perspective(DP) and consider dimensions to be the system’s set-goals. We hypothesize that the resulting multidimensional controller should lead to valid (or even better) models of the phenomenon. To start testing this hypothesis, we built a DP-informed agent-based model of attachment inspired by the widely-studied Strange Situation Procedure. In this context, child and mother show the nature of attachment bonds through their behavioral and emotional expressions. By modeling them as point-agents moving in a two-dimensional arena, we simulated child-mother interactions for the avoidant and ambivalent attachment dimensions. The generated dynamical patterns – characterized by the alternation between approach and exploration – matched those described in the attachment literature, thereby confirming the implementability and validity of the DP. (shrink)

How do communities establish shared communication systems? The Common Knowledge view assumes that symbolic conventions develop through the accumulation of common knowledge regarding communication practices among the members of a community. In contrast with this view, it is proposed that coordinated communication emerges a by‐product of local interactions among dyads. A set of multi‐agent computer simulations show that a population of “egocentric” agents can establish and maintain symbolic conventions without common knowledge. In the simulations, convergence to a single (...) conventional system was most likely and most efficient when agents updated their behavior on the basis of local rather than global, system‐level information. The massive feedback and parallelism present in the simulations gave rise to phenomena that are often assumed to result from complex strategic processing on the part of individual agents. The implications of these findings for the development of theories of language use are discussed. (shrink)

A fundamental aspect of human beings is that they learn. The process of learning and what is learned are impacted by a number of factors, both cognitive and social; that is, humans are boundedly rational. Cognitive and social limitations interact, making it difficult to reason about how to provide information to impact what humans know, believe, and do. Herein, we use a multi‐agent dynamic‐network simulation system, Construct, to conduct such reasoning. In particular, we ask, What media should (...) be used to provide information to most impact what people know, believe, and do, given diverse social structures? All simulated agents are boundedly rational both at the cognitive and social level, and so are subject to factors such as literacy, education, and the breadth of their social network. We find that there is no one most effective intervention; rather, to be effective, messages and the media used to spread the message need to be selected for the population being addressed. Typically, a multimedia campaign is critical. (shrink)

Infonorma is a multi-agent system that provides its users with recommendations of legal normative instruments they might be interested in. The Filter agent of Infonorma classifies normative instruments represented as Semantic Web documents into legal branches and performs content-based similarity analysis. This agent, as well as the entire Infonorma system, was modeled under the guidelines of MAAEM, a software development methodology for multi-agent application engineering. This article describes the Infonorma requirements specification, the architectural design (...) solution for those requirements, the detailed design of the Filter agent and the implementation model of Infonorma, according to the guidelines of the MAAEM methodology. (shrink)

By means of multi-agent simulations, it investigates the truth and consensus-conduciveness of controversial debates. The book brings together research in formal epistemology and argumentation theory.

The paper argues that much of the difficulty with making progress on the issue of the normativity of logic for thought, as discussed in the literature, stems from a misapprehension of what logic is normative for. The claim is that, rather than mono-agent mental processes, logic in fact comprises norms for quite specific situations of multi-agent dialogical interactions, in particular special forms of debates. This reconceptualization is inspired by historical developments in logic and mathematics, in particular the (...) pervasiveness of such dialogical conceptions in the early days of logic in ancient Greece. The multi-agent, dialogical perspective then allows for the formulation of compelling 'bridge principles’ between the relation of logical consequence and dialogical normative principles, something that is notoriously difficult to achieve in a mono-agent setting pertaining exclusively to thought and belief. The upshot is also that the truth-preserving rules of logic generally do not have a primary normative bearing on mono-agent mental processes, and in this sense the paper sides with Harman's critique of the idea that logic has a normative import for thought and belief. (shrink)

In [11] it is shown how propositional dynamic logic (PDL) can be interpreted as a logic of belief revision that extends the logic of communication and change (LCC) given in [7]. This new version of epistemic/doxastic PDL does not impose any constraints on the basic relations and because of this it does not suffer from the drawback of LCC that these constraints may get lost under updates that are admitted by the system. Here, we will impose one constraint, namely that (...) the agent’s plausibility relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case and it assures that we know the agent’s preferences between all relevant alternatives. Since the belief updates that are used in [11] may not preserve linkedness, we limit ourselves to a particular kind of belief change that does preserve it. Our framework has obvious connections to coalition logic [17] and social choice theory [19]. We show how we can use it to model consensus seeking in plenary Dutch meetings. In Dutch meetings, a belief update is done for all agents in the meeting if a majority beliefs the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in this field [15]. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model (...) check- ing, and formal approaches to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

This paper addresses weighting and partitioning in complex reinforcement learning tasks, with the aim of facilitating learning. The paper presents some ideas regarding weighting of multiple agents and extends them into partitioning an input/state space into multiple regions with di erential weighting in these regions, to exploit di erential characteristics of regions and di erential characteristics of agents to reduce the learning complexity of agents (and their function approximators) and thus to facilitate the learning overall. It analyzes, in reinforcement learning (...) tasks, di erent ways of partitioning a task and using agents selectively based on partitioning. Based on the analysis, some heuristic methods are described and experimentally tested. We nd that some o -line heuristic methods performed the best, signi cantly better than single-agent models. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by (...) practical concerns. This time the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

In the knowledge economy, the process of knowledge sharing and creation for value co-creation frequently emerge in a multi-agent and multi-level system. It's important to consider the roles, functions, and possible interactive knowledge-based activities of key actors for ecological development. Makerspace as an initial stage of incubated platform plays the central and crucial roles of resource orchestrators and platform supporter. Less literature analyses the knowledge ecosystem embedded by makerspaces and considers the interactive process of civil society and (...) natural environment. This study constructs a multi-agent and multi-level knowledge ecosystem from macro, meso, and micro perspective based on Quintuple Helix theory and designs four evolutionary stages of knowledge orchestrating processes. This study finds that the symbiosis, co-evolution, interaction, and orchestration of multiple agents in the knowledge ecosystem should be merged with each other for value co-creation, which helps to take a systematic approach for policymakers, managers, and researchers. (shrink)

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.

We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.