4 Search Results for "Rotolo, Antonino"


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
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
  • 4 Rotolo, Antonino
  • 3 Governatori, Guido
  • 1 Balke, Tina
  • 1 Dignum, Frank
  • 1 Lorini, Emiliano
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Complexity of Agents
  • 1 Compliance
  • 1 Defeasible Logic
  • 1 MAS
  • 1 Norm
  • Show More...

  • Refine by Type
  • 4 document

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

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