14 Search Results for "Governatori, Guido"


Volume

Dagstuhl Follow-Ups, Volume 4

Normative Multi-Agent Systems

Editors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

Document
Complete Volume
DFU, Volume 4, Normative Multi-Agent Systems

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

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


Abstract
DFU, Volume 4, Normative Multi-Agent Systems

Cite as

Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 1-241, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Collection{DFU.Vol4.12111,
  title =	{{DFU, Volume 4, Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--241},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111},
  URN =		{urn:nbn:de:0030-drops-39972},
  doi =		{10.4230/DFU.Vol4.12111},
  annote =	{Keywords: DFU, Volume 4, Normative Multi-Agent Systems}
}
Document
Frontmatter, Table of Contents, Preface, List of Authors

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leendert W. N. van der Torre

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


Abstract
Frontmatter, Table of Contents, Preface, List of Authors

Cite as

Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 0:i-0:xi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{andrighetto_et_al:DFU.Vol4.12111.i,
  author =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  title =	{{Frontmatter, Table of Contents, Preface, List of Authors}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{0:i--0:xi},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.i},
  URN =		{urn:nbn:de:0030-drops-40058},
  doi =		{10.4230/DFU.Vol4.12111.i},
  annote =	{Keywords: Frontmatter, Table of Contents, Preface, List of Authors}
}
Document
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-dev.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
Normative Reasoning and Consequence

Authors: Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber

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


Abstract
In this chapter, we first provide a general introduction to the research area methodology and relevance, then we discuss normative reasoning for multiagent systems, and finally we discuss current research challenges. We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our in- tended audience. To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.

Cite as

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber. Normative Reasoning and Consequence. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 33-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{broersen_et_al:DFU.Vol4.12111.33,
  author =	{Broersen, Jan and Cranefield, Stephen and Elrakaiby, Yehia and Gabbay, Dov and Grossi, Davide and Lorini, Emiliano and Parent, Xavier and van der Torre, Leendert W. N. and Tummolini, Luca and Turrini, Paolo and Schwarzentruber, Fran\c{c}ois},
  title =	{{Normative Reasoning and Consequence}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{33--70},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.33},
  URN =		{urn:nbn:de:0030-drops-39994},
  doi =		{10.4230/DFU.Vol4.12111.33},
  annote =	{Keywords: Norms, MAS}
}
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-dev.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
Regulated MAS: Social Perspective

Authors: Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, and Munindar P. Singh

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


Abstract
This chapter addresses the problem of building normative multiagent systems in terms of regulatory mechanisms. It describes a static conceptual model through which one can specify normative multiagent systems along with a dynamic model to capture their operation and evolution. The chapter proposes a typology of applications and presents some open problems. In the last section, the authors express their individual views on these matters.

Cite as

Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, and Munindar P. Singh. Regulated MAS: Social Perspective. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 93-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{noriega_et_al:DFU.Vol4.12111.93,
  author =	{Noriega, Pablo and Chopra, Amit K. and Fornara, Nicoletta and Lopes Cardoso, Henrique and Singh, Munindar P.},
  title =	{{Regulated MAS: Social Perspective}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{93--133},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.93},
  URN =		{urn:nbn:de:0030-drops-40017},
  doi =		{10.4230/DFU.Vol4.12111.93},
  annote =	{Keywords: NormMAS, Norms, Open Interaction}
}
Document
(Social) Norm Dynamics

Authors: Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons

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


Abstract
This chapter is concerned with the dynamics of social norms, that is the way that such norms change. In particular this chapter concentrates on the lifecycle that social norms go through, focusing on the generation of norms, the way that norms spread and stabilize, and the way that norms evolve. We also discuss the cognitive mechanisms behind norm compliance, the role of culture in norm dynamics, and the way that trust affects norm dynamics.

Cite as

Giulia Andrighetto, Cristiano Castelfranchi, Eunate Mayor, John McBreen, Maite Lopez-Sanchez, and Simon Parsons. (Social) Norm Dynamics. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 135-170, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{andrighetto_et_al:DFU.Vol4.12111.135,
  author =	{Andrighetto, Giulia and Castelfranchi, Cristiano and Mayor, Eunate and McBreen, John and Lopez-Sanchez, Maite and Parsons, Simon},
  title =	{{(Social) Norm Dynamics}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{135--170},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.135},
  URN =		{urn:nbn:de:0030-drops-40023},
  doi =		{10.4230/DFU.Vol4.12111.135},
  annote =	{Keywords: Social norms, Norm generation, Norm spreading, Norm evolution, Trust, Culture}
}
Document
Simulation and NorMAS

Authors: Tina Balke, Stephen Cranefield, Gennaro Di Tosto, Samhar Mahmoud, Mario Paolucci, Bastin Tony Roy Savarimuthu, and Harko Verhagen

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


Abstract
In this chapter, we discuss state of the art and future perspective of the study of norms with simulative methodologies, in particular employing agent-based simulation. After presenting the state of the art and framing the simulative research on norms in a norm life-cycle schema, we list those research challenges that we feel more apt to be tackled by the simulative approach. We conclude the chapter with the indications for the realization of a NorMAS simulation platform, illustrated by selected scenarios.

Cite as

Tina Balke, Stephen Cranefield, Gennaro Di Tosto, Samhar Mahmoud, Mario Paolucci, Bastin Tony Roy Savarimuthu, and Harko Verhagen. Simulation and NorMAS. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 171-189, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{balke_et_al:DFU.Vol4.12111.171,
  author =	{Balke, Tina and Cranefield, Stephen and Di Tosto, Gennaro and Mahmoud, Samhar and Paolucci, Mario and Savarimuthu, Bastin Tony Roy and Verhagen, Harko},
  title =	{{Simulation and NorMAS}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{171--189},
  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-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.171},
  URN =		{urn:nbn:de:0030-drops-40030},
  doi =		{10.4230/DFU.Vol4.12111.171},
  annote =	{Keywords: Simulation, Norms, MAS}
}
Document
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-dev.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
Normative Multi-Agent Systems (Dagstuhl Seminar 12111)

Authors: Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre

Published in: Dagstuhl Reports, Volume 2, Issue 3 (2012)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12111 ``Normative Multi-Agent Systems''. Normative systems are systems in the behavior of which norms play a role and which need normative concepts in order to be described or specified. A normative multi-agent system combines models for normative systems (dealing for example with obligations, permissions and prohibitions) with models for multi-agent systems. Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce and institutions, agent organization. However, due to the lack of a unified theory, many multi-agent system researchers are presently developing their own ad hoc concepts and applications. The aim of this Dagstuhl Seminar was to formulate a collective appraisal of the current perspectives in the field and the most promising venues for future activity. In particular, the seminar has been conceived for the writing of a volume titled "A Prospective view of Normative Multi Agent Systems" aimed to become a standard reference in the field and to provide guidelines for future research in normative multi-agent systems.

Cite as

Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre. Normative Multi-Agent Systems (Dagstuhl Seminar 12111). In Dagstuhl Reports, Volume 2, Issue 3, pp. 23-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{andrighetto_et_al:DagRep.2.3.23,
  author =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leon},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 12111)}},
  pages =	{23--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{3},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.3.23},
  URN =		{urn:nbn:de:0030-drops-35358},
  doi =		{10.4230/DagRep.2.3.23},
  annote =	{Keywords: Normative Multiagent systems, Autonomous agents and Multiagent systems, Agreement Technologies, Norms}
}
Document
How Do Agents Comply with Norms?

Authors: Guido Governatori and Antonino Rotolo

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


Abstract
The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour is compliant with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a logic-based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.

Cite as

Guido Governatori and Antonino Rotolo. How Do Agents Comply with Norms?. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{governatori_et_al:DagSemProc.09121.17,
  author =	{Governatori, Guido and Rotolo, Antonino},
  title =	{{How Do Agents Comply with Norms?}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--19},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.17},
  URN =		{urn:nbn:de:0030-drops-19090},
  doi =		{10.4230/DagSemProc.09121.17},
  annote =	{Keywords: Compliance, agents, violations, norms}
}
Document
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

Authors: Guido Governatori and Antonino Rotolo

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


Abstract
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Cite as

Guido Governatori and Antonino Rotolo. BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{governatori_et_al:DagSemProc.07122.8,
  author =	{Governatori, Guido and Rotolo, Antonino},
  title =	{{BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--34},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.8},
  URN =		{urn:nbn:de:0030-drops-9123},
  doi =		{10.4230/DagSemProc.07122.8},
  annote =	{Keywords: Social Agents, Defeasible Logic, Complexity of Agents}
}
Document
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic

Authors: Regis Riveret, Antonino Rotolo, and Guido Governatori

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


Abstract
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. We propose in this paper a variant of Temporal Modal Defeasible Logic to deal in particular with temporal intervals.

Cite as

Regis Riveret, Antonino Rotolo, and Guido Governatori. Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{riveret_et_al:DagSemProc.07122.17,
  author =	{Riveret, Regis and Rotolo, Antonino and Governatori, Guido},
  title =	{{Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--17},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.17},
  URN =		{urn:nbn:de:0030-drops-9232},
  doi =		{10.4230/DagSemProc.07122.17},
  annote =	{Keywords: Time, Norm, Temporal Modal Defeasible Logic}
}
  • Refine by Author
  • 7 Governatori, Guido
  • 5 Noriega, Pablo
  • 4 Andrighetto, Giulia
  • 4 Rotolo, Antonino
  • 3 Balke, Tina
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 6 Norms
  • 4 MAS
  • 1 Agreement Technologies
  • 1 Autonomous agents and Multiagent systems
  • 1 Complexity of Agents
  • Show More...

  • Refine by Type
  • 13 document
  • 1 volume

  • Refine by Publication Year
  • 10 2013
  • 2 2007
  • 1 2009
  • 1 2012

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