Search Results

Documents authored by Dastani, Mehdi


Document
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)

Authors: Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata

Published in: Dagstuhl Reports, Volume 8, Issue 4 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent Systems". Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more. The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems. Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how the responsibility of autonomous systems can be defined, modelled, analysed and computed.

Cite as

Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171). In Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{dastani_et_al:DagRep.8.4.72,
  author =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
  pages =	{72--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
  URN =		{urn:nbn:de:0030-drops-97612},
  doi =		{10.4230/DagRep.8.4.72},
  annote =	{Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
Document
Computational Models for Normative Multi-Agent Systems

Authors: Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)


Abstract
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.

Cite as

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 71-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{alechina_et_al:DFU.Vol4.12111.71,
  author =	{Alechina, Natasha and Bassiliades, Nick and Dastani, Mehdi and De Vos, Marina and Logan, Brian and Mera, Sergio and Morris-Martin, Andreasa and Schapachnik, Fernando},
  title =	{{Computational Models for Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{71--92},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.71},
  URN =		{urn:nbn:de:0030-drops-40001},
  doi =		{10.4230/DFU.Vol4.12111.71},
  annote =	{Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.09121.23,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.23},
  URN =		{urn:nbn:de:0030-drops-19079},
  doi =		{10.4230/DagSemProc.09121.23},
  annote =	{Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems}
}
Document
08361 Abstracts Collection – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
From 31th August to 5th September, the Dagstuhl Seminar 08361 ``Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Abstracts Collection – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.1,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Abstracts Collection – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.1},
  URN =		{urn:nbn:de:0030-drops-16470},
  doi =		{10.4230/DagSemProc.08361.1},
  annote =	{Keywords: Agency, agent-oriented programming, programming multi-agent systems}
}
Document
08361 Executive Summary – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Intelligent agents and multi-agent systems (MAS) play an important role in today’s software development. In fact, they constitute a new and interesting paradigm to implement complex systems, by offering relevant abstractions for the engineering of such intricate type of software. Several application domains, some at industrial level, take benefit from MAS technology. For almost two decades, the MAS community has developed and offers a large and rich set of concepts, architectures, interaction techniques, and general approaches to the analysis and the specification of MAS.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Executive Summary – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.2,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Executive Summary – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.2},
  URN =		{urn:nbn:de:0030-drops-16463},
  doi =		{10.4230/DagSemProc.08361.2},
  annote =	{Keywords: Multi-agent systems programming}
}
Document
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

Authors: Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
When constructing a formal model of emotions for intelligent agents, two types of aspects have to be taken into account. First, qualitative aspects pertain to the conditions that elicit emotions. Second, quantitative aspects pertain to the actual experience and intensity of elicited emotions. In this presentation, we show how the qualitative aspects of a well-known psychological model of human emotions can be formalized in an agent specification language and how its quantitative aspects can be integrated into this model. Furthermore, we discuss several unspecified details and implicit assumptions in the psychological model that are explicated by this effort.

Cite as

Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{steunebrink_et_al:DagSemProc.08361.3,
  author =	{Steunebrink, Bas R. and Meyer, John-Jules Ch. and Dastani, Mehdi},
  title =	{{A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.3},
  URN =		{urn:nbn:de:0030-drops-16447},
  doi =		{10.4230/DagSemProc.08361.3},
  annote =	{Keywords: Emotions, Intelligent Agents}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.08361.9,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9},
  URN =		{urn:nbn:de:0030-drops-16374},
  doi =		{10.4230/DagSemProc.08361.9},
  annote =	{Keywords: Multi-agent systems, norms, agent-oriented programming}
}
Document
06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.1,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.1},
  URN =		{urn:nbn:de:0030-drops-8477},
  doi =		{10.4230/DagSemProc.06261.1},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
Document
06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
The "Foundations and Practice of Programming Multi-Agent Systems" Dagstuhl Seminar aimed at bringing together researchers interested in programming languages for multi-agent systems, agent-oriented software engineering, and various related aspects such as verification, and formal semantics. We were delighted with the result of this seminar, which gave participants a clear view of the most advanced techniques being currently investigated in research on those topics throughout the world, and also a clear understanding of all the most important open problems that need to be addressed by this research community. The seminar was particularly successful in elucidating the relationship between work being done by the "programming languages for multi-agent systems" (ProMAS) research community and the "agent-oriented software engineering" (AOSE) research community. Even though the initiative for this seminar arose from the ProMAS community, we were delighted to attract many prominent researches from the AOSE community, which allowed us to achieve the positive result on the connection of ProMAS and AOSE research.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.2,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.2},
  URN =		{urn:nbn:de:0030-drops-8461},
  doi =		{10.4230/DagSemProc.06261.2},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail