Automated verification of social law robustness in strips

Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Agents operating in a multi-agent environment must consider not just their own actions, but also those of the other agents in the system. Artificial social systems are a well known means for coordinating a set of agents, without requiring centralized planning or online negotiation between agents. Artificial social systems enact a social law which restricts the agents from performing some actions under some circumstances. A good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. In this paper, we take a first step towards automating these processes, by formulating criteria for good social laws in a multi-agent planning framework. We then describe an automated technique for verifying if a proposed social law meets these criteria, based on a compilation to classical planning.

Original languageEnglish
Title of host publicationProceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017
EditorsLaura Barbulescu, Stephen F. Smith, Mausam, Jeremy D. Frank
Pages163-171
Number of pages9
ISBN (Electronic)9781577357896
StatePublished - 2017
Event27th International Conference on Automated Planning and Scheduling, ICAPS 2017 - Pittsburgh, United States
Duration: 18 Jun 201723 Jun 2017

Publication series

NameProceedings International Conference on Automated Planning and Scheduling, ICAPS

Conference

Conference27th International Conference on Automated Planning and Scheduling, ICAPS 2017
Country/TerritoryUnited States
CityPittsburgh
Period18/06/1723/06/17

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Computer Science Applications
  • Information Systems and Management

Fingerprint

Dive into the research topics of 'Automated verification of social law robustness in strips'. Together they form a unique fingerprint.

Cite this