scholarly journals Resource-bounded Norm Monitoring In Multi-agent Systems

2018 ◽  
Vol 62 ◽  
pp. 153-192 ◽  
Author(s):  
Natalia Criado
Keyword(s):  
Incomplete Information ◽  
Multi Agent Systems ◽  
Sociotechnical System ◽  
Agent Systems ◽  
Norm Violations ◽  
Norm Compliance ◽  
The Social ◽  
The World ◽  
Multi Agent ◽  
Bounded Norm

Norms allow system designers to specify the desired behaviour of a sociotechnical system. In this way, norms regulate what the social and technical agents in a sociotechnical system should (not) do. In this context, a vitally important question is the development of mechanisms for monitoring whether these agents comply with norms. Proposals on norm monitoring often assume that monitoring has no costs and/or that monitors have unlimited resources to observe the environment and the actions performed by agents. In this paper, we challenge this assumption and propose the first practical resource-bounded norm monitor. Our monitor is capable of selecting the resources to be deployed and use them to check norm compliance with incomplete information about the actions performed and the state of the world. We formally demonstrate the correctness and soundness of our norm monitor and study its complexity. We also demonstrate in randomised simulations and benchmark experiments that our monitor can select monitored resources effectively and efficiently, detecting more norm violations and fulfilments than other tractable optimization approaches and obtaining slightly worse results than intractable optimal approaches.

scholarly journals Model Checking Temporal Epistemic Logic under Bounded Recall

2020 ◽  
Vol 34 (05) ◽  
pp. 7071-7078
Author(s):  
Francesco Belardinelli ◽  
Alessio Lomuscio ◽  
Emily Yu
Keyword(s):  
Model Checking ◽  
Incomplete Information ◽  
Epistemic Logic ◽  
Upper Bounds ◽  
Experimental Results ◽  
Model Checker ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Bounded Recall

We study the problem of verifying multi-agent systems under the assumption of bounded recall. We introduce the logic CTLKBR, a bounded-recall variant of the temporal-epistemic logic CTLK. We define and study the model checking problem against CTLK specifications under incomplete information and bounded recall and present complexity upper bounds. We present an extension of the BDD-based model checker MCMAS implementing model checking under bounded recall semantics and discuss the experimental results obtained.

scholarly journals Can models of agents be transferred between different areas?

2000 ◽  
Vol 15 (2) ◽  
pp. 197-203 ◽  
Author(s):  
RUTH AYLETT ◽  
KERSTIN DAUTENHAHN ◽  
JIM DORAN ◽  
MICHAEL LUCK ◽  
SCOTT MOSS ◽  
...  
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Multi Agent Systems ◽  
Ongoing Research ◽  
Agent Based ◽  
Agent Systems ◽  
Sustained Activity ◽  
Diverse Environment ◽  
The World ◽  
Multi Agent

One of the main reasons for the sustained activity and interest in the field of agent-based systems, apart from the obvious recognition of its value as a natural and intuitive way of understanding the world, is its reach into very many different and distinct fields of investigation. Indeed, the notions of agents and multi-agent systems are relevant to fields ranging from economics to robotics, in contributing to the foundations of the field, being influenced by ongoing research, and in providing many domains of application. While these various disciplines constitute a rich and diverse environment for agent research, the way in which they may have been linked by it is a much less considered issue. The purpose of this panel was to examine just this concern, in the relationships between different areas that have resulted from agent research. Informed by the experience of the participants in the areas of robotics, social simulation, economics, computer science and artificial intelligence, the discussion was lively and sometimes heated.

Analysis and synthesis: multi-agent systems in the social sciences

2012 ◽  
Vol 27 (2) ◽  
pp. 123-136 ◽  
Author(s):  
Robert E. Marks
Keyword(s):  
Social Sciences ◽  
Computer Science ◽  
Common Source ◽  
Multi Agent Systems ◽  
Agent Based ◽  
Agent Systems ◽  
The Social ◽  
Analysis And Synthesis ◽  
Multi Agent ◽  
Computational Systems

AbstractAlthough they flow from a common source, the uses of multi-agent systems (or ‘agent-based computational systems’––ACE) vary between the social sciences and computer science. The distinction can be broadly summarized as analysis versus synthesis, or explanation versus design. I compare and contrast these uses, and discuss sufficiency and necessity in simulations in general and in multi-agent systems in particular, with a computer science audience in mind.

scholarly journals Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

2018 ◽  
Vol 62 ◽  
pp. 433-458
Author(s):  
Natasha Alechina ◽  
Joseph Y. Halpern ◽  
Ian A. Kash ◽  
Brian Logan
Keyword(s):  
Steady State ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Norm Violations ◽  
Incentive Compatible ◽  
Norm Violation ◽  
Multi Agent ◽  
The Cost ◽  
Perfect Monitoring ◽  
Theoretical Results

We consider the problem of detecting norm violations in open multi-agent systems (MAS). We show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents for norm violations. The cost of providing the incentives is not borne by the MAS and does not come from fines charged for norm violations (fines may be impossible to levy in a system where agents are free to leave and rejoin again under a different identity). Instead, monitoring incentives come from (scrip) fees for accessing the services provided by the MAS. In some cases, perfect monitoring (and hence enforcement) can be achieved: no norms will be violated in equilibrium. In other cases, we show that, while it is impossible to achieve perfect enforcement, we can get arbitrarily close; we can make the probability of a norm violation in equilibrium arbitrarily small. We show using simulations that our theoretical results, which apply to systems with a large number of agents, hold for multi-agent systems with as few as 1000 agents–the system rapidly converges to the steady-state distribution of scrip tokens necessary to ensure monitoring and then remains close to the steady state.

scholarly journals Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)

2018 ◽  
Author(s):  
Natasha Alechina ◽  
Joseph Y. Halpern ◽  
Ian A. Kash ◽  
Brian Logan
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Norm Violations ◽  
Incentive Compatible ◽  
Multi Agent

We consider the problem of detecting norm violations in open multi-agent systems (MAS). In this extended abstract, we outline the approach of [Alechina et al., 2018], and show how, using ideas from scrip systems, we can design mechanisms where the agents comprising the MAS are incentivised to monitor the actions of other agents for norm violations.

A Scouting-Based Multi-Agent System Model to Deal with Service Collaboration in Cloud Computing

2014 ◽  
pp. 282-309 ◽  
Author(s):  
Mauricio Paletta
Keyword(s):  
Cloud Computing ◽  
Service Providers ◽  
Service Level ◽  
Multi Agent Systems ◽  
Youth Movement ◽  
Agent Systems ◽  
The World ◽  
Multi Agent ◽  
Service Collaboration ◽  
Effective Service

Cloud computing addresses the use of scalable and often virtualized resources. It is based on service-level agreements that provide external users with requested services. Cloud computing is still evolving. New specific collaboration models among service providers are needed for enabling effective service collaboration, allowing the process of serving consumers to be more efficient. On the other hand, Scout Movement or Scouting has been a very successful youth movement in which the collaboration of its members can be observed. This motivated a previous work aiming to design MAS-Scout, a framework that defines Multi-Agent Systems based on the principles of Scouting. In this chapter, MAS-Scout is used to design a system to deal with service collaboration in a cloud computing environment focusing on the premise that Scouting has been a very successful social movement in the world and that collaboration is part of its principles. The results presented in this chapter show that MAS-Scout, which is based on the Scouting principles, can be satisfactorily used to automate cloud computing needs.

Ontological Mediation for Multi-Agent Systems

2011 ◽  
pp. 56-76
Author(s):  
Shahram Rahimi ◽  
Pravab J. Rana ◽  
Raheel Ahmad ◽  
Bidyut Gupta
Keyword(s):  
World Wide ◽  
Classification Model ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Retrieval Systems ◽  
The World ◽  
Multi Agent ◽  
Viable Approach ◽  
Incorrect Information ◽  
Search And Retrieval

A major performance factor when gathering information across a platform like the World Wide Web is the efficiency of the search and retrieval system. The effectiveness of current search and retrieval systems is restricted as they do not use the semantics of the data but only utilize keywords. Using a multi-agent system where agents gather information and organize it, creating ontologies, is a very viable approach to the problem. Major difficulties that arise during collaboration among such information-providing agents are ambiguity and data misinterpretation. This is due to the diversity of ontology creators, differences in linguistics, and ontological overlapping. Users may also knowingly or unknowingly add incorrect information to ontologies. Ontological mediation tries to address such collaboration issues relating to ambiguous and unfamiliar information arising due to various reasons. We propose a communicationbased approach for ontological mediation. In the process, we also present a classification model for ontological mediation.

EDITORIAL

2012 ◽  
Vol 21 (03) ◽  
pp. 1202002
Author(s):  
ZHIHUA CUI ◽  
ZHONGZHI SHI ◽  
RAJAN ALEX
Keyword(s):  
Swarm Intelligence ◽  
Decentralized Control ◽  
Intelligent Systems ◽  
Wide Spectrum ◽  
Self Organization ◽  
Multi Agent Systems ◽  
Special Issue ◽  
Agent Systems ◽  
The World ◽  
Multi Agent

Swarm intelligence is an umbrella for amount optimization algorithms. This discipline deals with natural and artificial systems composed of many individuals that coordinate their activities using decentralized control and self-organization. In general, multi-agent systems that use some swarm intelligence are said to be swarm intelligent systems. They are mostly used as search engines and optimization tools. The goal of this special issue has been to offer a wide spectrum of sample works throughout the world about innovative methodologies of swarm intelligence. The issue should be useful both for beginners and experienced researchers in the field of computational intelligence.

Sign in / Sign up

Export Citation Format

Share Document