Search Results

Documents authored by Dignum, Frank

Found 2 Possible Name Variants:

Dignum, Frank

Document
DOI: 10.4230/DFU.Vol4.12111.1
Norms in MAS: Definitions and Related Concepts

Authors: Tina Balke, Célia da Costa Pereira, Frank Dignum, Emiliano Lorini, Antonino Rotolo, Wamberto Vasconcelos, and Serena Villata

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

Abstract
In this chapter we provide an introductory presentation of normative multi-agent systems (nMAS). The key idea of the chapter is that any definition of nMAS should preliminarily clarify meaning, scope, and function of the concept of norm. On account of this idea, we focus on three definitions and some related requirements for nMAS. For each of such definitions we propose some guidelines for developing nMAS. Second, we suggest how to relate the concept of nMAS to different conceptions of norms and how norms can be used within the systems. Finally, we identify some specific issues that open research questions or that exhibit interesting overlaps with other disciplines.
Cite as

Tina Balke, Célia da Costa Pereira, Frank Dignum, Emiliano Lorini, Antonino Rotolo, Wamberto Vasconcelos, and Serena Villata. Norms in MAS: Definitions and Related Concepts. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{balke_et_al:DFU.Vol4.12111.1,
  author =	{Balke, Tina and da Costa Pereira, C\'{e}lia and Dignum, Frank and Lorini, Emiliano and Rotolo, Antonino and Vasconcelos, Wamberto and Villata, Serena},
  title =	{{Norms in MAS: Definitions and Related Concepts}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--31},
  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.1},
  URN =		{urn:nbn:de:0030-drops-39983},
  doi =		{10.4230/DFU.Vol4.12111.1},
  annote =	{Keywords: Norms, MAS}
}
Document
DOI: 10.4230/DFU.Vol4.12111.191
The Uses of Norms

Authors: Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata

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

Abstract
This chapter presents a variety of applications of norms. These applications include governance in sociotechnical systems, data licensing and data collection, understanding software development teams, requirements engineering, assurance, natural resource allocation, wireless grids, autonomous vehicles, serious games, and virtual worlds.
Cite as

Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata. The Uses of Norms. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 191-229, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{singh_et_al:DFU.Vol4.12111.191,
  author =	{Singh, Munindar P. and Arrott, Matthew and Balke, Tina and Chopra, Amit K. and Christiaanse, Rob and Cranefield, Stephen and Dignum, Frank and Eynard, Davide and Farcas, Emilia and Fornara, Nicoletta and Gandon, Fabien and Governatori, Guido and Khanh Dam, Hoa and Hulstijn, Joris and Krueger, Ingolf and Lam, Ho-Pun and Meisinger, Michael and Noriega, Pablo and Savarimuthu, Bastin Tony Roy and Tadanki, Kartik and Verhagen, Harko and Villata, Serena},
  title =	{{The Uses of Norms}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{191--229},
  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.191},
  URN =		{urn:nbn:de:0030-drops-40047},
  doi =		{10.4230/DFU.Vol4.12111.191},
  annote =	{Keywords: Norms, MAS, Governance, Requirements engineering}
}
Document
DOI: 10.4230/DagSemProc.07122.23
On the Logic of Constitutive Rules

Authors: Davide Grossi, John-Jules Meyer, and Frank Dignum

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
The paper proposes a logical systematization of the notion of counts-as which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.
Cite as

Davide Grossi, John-Jules Meyer, and Frank Dignum. On the Logic of Constitutive Rules. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{grossi_et_al:DagSemProc.07122.23,
  author =	{Grossi, Davide and Meyer, John-Jules and Dignum, Frank},
  title =	{{On the Logic of Constitutive Rules}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--33},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre 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.07122.23},
  URN =		{urn:nbn:de:0030-drops-9131},
  doi =		{10.4230/DagSemProc.07122.23},
  annote =	{Keywords: Constitutive rules, counts-as, modal logic.}
}

Dignum, Frank P.

Document
DOI: 10.4230/DagSemProc.10021.1
10021 Abstracts Collection – Service-Oriented Architecture and (Multi-)Agent Systems Technology

Authors: Monique Calisti, Frank Leymann, Frank P. Dignum, Ryszard Kowalczyk, and Rainer Unland

Published in: Dagstuhl Seminar Proceedings, Volume 10021, Service-Oriented Architecture and (Multi-)Agent Systems Technology (2010)

Abstract
From 10.01. to 15.01.2010, Dagstuhl Seminar 10021 ``Service-Oriented Architecture and (Multi-)Agent Systems Technology '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. 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

Monique Calisti, Frank Leymann, Frank P. Dignum, Ryszard Kowalczyk, and Rainer Unland. 10021 Abstracts Collection – Service-Oriented Architecture and (Multi-)Agent Systems Technology. In Service-Oriented Architecture and (Multi-)Agent Systems Technology. Dagstuhl Seminar Proceedings, Volume 10021, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{calisti_et_al:DagSemProc.10021.1,
  author =	{Calisti, Monique and Leymann, Frank and Dignum, Frank P. and Kowalczyk, Ryszard and Unland, Rainer},
  title =	{{10021 Abstracts Collection – Service-Oriented Architecture and (Multi-)Agent Systems Technology}},
  booktitle =	{Service-Oriented Architecture and (Multi-)Agent Systems Technology},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10021},
  editor =	{Monique Calisti and Frank P. Dignum and Ryszard Kowalczyk and Frank Leymann and Rainer Unland},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.1},
  URN =		{urn:nbn:de:0030-drops-28461},
  doi =		{10.4230/DagSemProc.10021.1},
  annote =	{Keywords: Service-oriented computing (SOC), Service-oriented architecture (SOA), multi-agent systems (MAS), engineering complex distributed systems, governance adaptability, dynamism, flexibility, autonomy}
}
Document
DOI: 10.4230/DagSemProc.10021.2
10021 Executive Summary – Service-Oriented Architecture and (Multi-)Agent Systems Technology

Authors: Monique Calisti, Frank Leymann, Frank P. Dignum, Ryszard Kowalczyk, and Rainer Unland

Published in: Dagstuhl Seminar Proceedings, Volume 10021, Service-Oriented Architecture and (Multi-)Agent Systems Technology (2010)

Abstract
Service-Oriented Architecture (SOA) stands for a standards-based and technology-independent distributed computing paradigm and architectural style which is especially suited to meet the demands of today’s dynamic business applications. Based on a comprehensive set of independent or at most loosely-coupled and network-available software services SOA is supposed to provide a platform for an efficient and effective publication, discovery, binding, and assembly of these services. Intelligent agents can be regarded as autonomous, problem-solving computational entities with social abilities that are capable of effective pro-active behavior in open and dynamic environments. If the term entity is replaced by service the substantial overlap in interests between both communities can easily be imagined. Nevertheless, right now the main research focus of each community seems to be different. The SOA community concentrates mainly on developing service engineering methodologies. Active topics in the multi-agent systems community are collaboration, self-organization, adaptability, flexibility, pro-activeness, and interoperability. The overlap between those two communities and the fact that they concentrate on different research topics can definitely be seen as a huge chance since it means that each community may be able to benefit from the research efforts of the other. This seminar brought members from both communities together in order to identify such areas of mutual benefit. After extensive general discussions the seminar concentrated on three topics, namely the engineering of complex distributed systems, its governance, and its adaptability and requirements for dynamism.
Cite as

Monique Calisti, Frank Leymann, Frank P. Dignum, Ryszard Kowalczyk, and Rainer Unland. 10021 Executive Summary – Service-Oriented Architecture and (Multi-)Agent Systems Technology. In Service-Oriented Architecture and (Multi-)Agent Systems Technology. Dagstuhl Seminar Proceedings, Volume 10021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{calisti_et_al:DagSemProc.10021.2,
  author =	{Calisti, Monique and Leymann, Frank and Dignum, Frank P. and Kowalczyk, Ryszard and Unland, Rainer},
  title =	{{10021 Executive Summary – Service-Oriented Architecture and (Multi-)Agent Systems Technology}},
  booktitle =	{Service-Oriented Architecture and (Multi-)Agent Systems Technology},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10021},
  editor =	{Monique Calisti and Frank P. Dignum and Ryszard Kowalczyk and Frank Leymann and Rainer Unland},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10021.2},
  URN =		{urn:nbn:de:0030-drops-28459},
  doi =		{10.4230/DagSemProc.10021.2},
  annote =	{Keywords: Service-oriented computing (SOC), Service-oriented architecture (SOA), multi-agent systems (MAS), engineering complex distributed systems, governance adaptability, dynamism, flexibility, autonomy}
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact