References of "Boella, Guido 30000076"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailThe Interplay between Relationships, Roles and Objects
Boella, Guido UL; van der Torre, Leon UL

in Proceedings of FSEN09 (2009)

In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages, and we show how the role model proposed ... [more ▼]

In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages, and we show how the role model proposed in powerJava can be used to define roles. In particular, we focus on how to implement roles in an abstract way in objects representing relationships, and to specify the interconnections between the roles. Abstract roles cannot be instantiated. To participate in a relationship, objects have to extend the abstract roles of the relationship. Only when roles are implemented in the objects offering them, they can be instantiated, thus allowing another object to play those roles. [less ▲]

Detailed reference viewed: 79 (0 UL)
Full Text
Peer Reviewed
See detailRepresenting Excuses in Social Dependence Networks
Boella, Guido UL; Broersen, Jan UL; van der Torre, Leon UL et al

in AI*IA (2009)

In this paper, we propose a representation of excuses in the context of multiagent systems. We distinguish five classes of excuses, taking as starting point both jurisprudential and philosophical studies ... [more ▼]

In this paper, we propose a representation of excuses in the context of multiagent systems. We distinguish five classes of excuses, taking as starting point both jurisprudential and philosophical studies about this topic, and we discuss their acceptance criteria. We highlight the following classes of excuses: epistemic excuses, power-based excuses, norm-based excuses, counts as-based excuses and social-based excuses and we represent them using social dependence networks. The acceptance criteria individuate those excuses which success in maintaining the trust of the other agents, e.g. in the context of social networks, excuses based on norms seem better than counts as-based ones in achieving this aim. [less ▲]

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailOn the Acceptability of Meta-Arguments
Boella, Guido UL; van der Torre, Leon UL; Villata, Serena

in IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2009)

In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Meta-arguments are generated from atomic arguments, and extensions of ... [more ▼]

In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Meta-arguments are generated from atomic arguments, and extensions of acceptable meta-arguments are based on Dung’s argumentation semantics. To illustrate our theory, we show how to represent Toulmin schemes in this theory by introducing meta-arguments using the Caminada labeling, and meta-arguments for support [less ▲]

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailMeta-Argumentation part 1
Boella, Guido UL; Gabbay, Dov M. UL; van der Torre, Leon UL et al

in Studia Logica (2009)

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an ... [more ▼]

In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. [less ▲]

Detailed reference viewed: 35 (0 UL)
Full Text
Peer Reviewed
See detailSocial network semantics for agent communication
Boella, Guido UL; Hulstijn, Joris UL; van der Torre, Leon UL

in Social network semantics for agent communication (2009)

In this paper we introduce a semantics for agent communication languages based on social networks, providing us with a principled way to define and reason about their dynamics. As an instance we consider ... [more ▼]

In this paper we introduce a semantics for agent communication languages based on social networks, providing us with a principled way to define and reason about their dynamics. As an instance we consider dependence networks, where the social relations represent that an agent depends on another agent to achieve its intentions. We suggest how FIPA semantics can be reconstructed in this social semantics. Our approach reveals that we need special semantics for relations like ownership, authority or fear: all kinds of interesting social relations, not previously studied by multiagent systems. [less ▲]

Detailed reference viewed: 41 (1 UL)
Full Text
Peer Reviewed
See detailNormative systems in computer science. Ten guidelines for normative multiagent systems
Boella, Guido UL; Pigozzi, Gabriella UL; van der Torre, Leon UL

in Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121 (2009)

In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize ... [more ▼]

In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize, guide, regulate or control interaction among distributed autonomous systems. The first six guidelines are derived from the computer science literature. From the so-called ‘normchange’ definition of the first workshop on nor- mative multiagent systems in 2005 we derive the guidelines to motivate which definition of normative multiagent system is used, to make explicit why norms are a kind of (soft) constraints deserving special analysis, and to explain why and how norms can be changed at runtime. From the so-called ‘mechanism design’ definition of the second workshop on nor- mative multiagent systems in 2007 we derive the guidelines to discuss the use and role of norms as a mechanism in a game-theoretic setting, clarify the role of norms in the multiagent system, and to relate the no- tion of “norm” to the legal, social, or moral literature. The remaining four guidelines follow from the philosophical literature: use norms also to resolve dilemmas, and in general to coordinate, organize, guide, regulate or control interaction among agents, distinguish norms from obligations, prohibitions and permissions, use the deontic paradoxes only to illustrate the normative multiagent system, and consider regulative norms in rela- tion to other kinds of norms and other social-cognitive computer science concepts. [less ▲]

Detailed reference viewed: 136 (0 UL)
Full Text
Peer Reviewed
See detailFour measures for the dynamics of coalitions in social networks
Boella, Guido UL; van der Torre, Leon UL; Villata, Serena

in Four measures for the dynamics of coalitions in social networks (2009)

We introduce four measures for the change of coalitions in social networks. The first one measures the change of the agents in the network over time, The second one measures the change of dependencies ... [more ▼]

We introduce four measures for the change of coalitions in social networks. The first one measures the change of the agents in the network over time, The second one measures the change of dependencies among the agents, due to addition or removal of powers and goals of the agents. The third one measures the change in normative dependencies like obligations and prohibitions introduced by norms. The fourth one measures changes in coalitions. If one of the first three measures is high, then the fourth measure is probably high too, if the change in agents and dependencies is a cause for a change in coalitions. If the first three measures are low, but the change in coalitions is high, it is due to internal processes like violations of the coalition agreements. [less ▲]

Detailed reference viewed: 85 (0 UL)
Peer Reviewed
See detailHow to Program Organizations and Roles in the JADE Framework
Baldoni, Matteo; Boella, Guido UL; Genovese, Valerio UL et al

in Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings (2008)

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed ... [more ▼]

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles, and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and offer new abilities (powers) in the context of organizations to the agents which satisfy the requirements necessary to play the roles. To program organizations and roles, we provide primitives which enable an agent to enact a new role in an organization to invoke powers. [less ▲]

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailAdding Roles to Relationship Patterns
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in Proceedings of WOA07 (2007)

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming, and which new relationship patterns can be introduced using roles. Relationships can be ... [more ▼]

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming, and which new relationship patterns can be introduced using roles. Relationships can be introduced in programming languages either by reducing them to attributes of the objects which participate in the relationship, or by modelling the relationship itself as a class whose instances have the participants of the relationships among their attributes. However, even if roles have been recognized as an essential component of relationships, also in modelling languages like UML, they have not been introduced in Object Oriented programming when it is necessary to model relationships. Introducing roles allows to add attributes and behaviors to the participants in the relationship, rather than to the relationship itself, and to distinguish natural types as classes participating in the relationships from the roles the participants acquire in the relationships. In this paper we show how the role model proposed in powerJava can be used to endow relationships with roles, both in the relationship as attribute and in the relationship object pattern. Finally, since these patterns have different advantages and limitations, we propose a third pattern based on roles which benefits from the advantages of the two previous patterns when modelling relationships. [less ▲]

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailA Game-Theoretic Approach to Normative Multi-Agent Systems
Boella, Guido UL; van der Torre, Leon UL

in Normative Multi-agent Systems (2007)

We aim to explain our own approach, and we are therefore very brief with respect to recent related approaches in the area of normative multiagent sys- tems. For these other approaches, see the special ... [more ▼]

We aim to explain our own approach, and we are therefore very brief with respect to recent related approaches in the area of normative multiagent sys- tems. For these other approaches, see the special issue on normative multiagent systems in Computational and Mathematical Organization Theory[68], these DROPS proceedings, the proceedings of the biannual workshops on deontic logic in computer science (¢EON) and of the COIN workshop series. 1The layout of this paper follows the Øve questions above, addressing each of them in a new section. [less ▲]

Detailed reference viewed: 51 (3 UL)
Peer Reviewed
See detailChoosing Your Beliefs
Boella, Guido UL; Pereira, Célia Da Costa UL; Pigozzi, Gabriella UL et al

in Normative Multi-agent Systems (2007)

This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information ... [more ▼]

This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent's goals play a role in the choice of (possibly) one of the several available revision options. Properties of the new belief revision mechanism are also investigated. [less ▲]

Detailed reference viewed: 30 (0 UL)
Full Text
Peer Reviewed
See detailNorm negotiation in multiagent systems
Boella, Guido UL; van der Torre, Leon UL

in International Journal of Cooperative Information Systems (2007), 16(2),

Normative multiagent systems provide agents with abilities to autonomously devise societies and organizations coordinating their behavior via social norms and laws. In this paper we study how agents ... [more ▼]

Normative multiagent systems provide agents with abilities to autonomously devise societies and organizations coordinating their behavior via social norms and laws. In this paper we study how agents negotiate new social norms and when they accept them. We introduce a negotiation model based on what we call the social delegation cycle, which explains the negotiation of new social norms from agent desires in three steps. First individual agents or their representatives negotiate social goals, then a social goal is negotiated in a social norm, and finally the social norm is accepted by the agents when it leads to fulfilment of the desires the cycle started with. We characterize the allowed proposals during social goal negotiation as mergers of the individual agent desires, and we characterize the allowed proposals during norm negotiation as both joint plans to achieve the social goal (obligations associated with the norm) and the associated sanctions or rewards (a control system associated with the norm). The norm is accepted when the norm is stable in the sense that agents will act according to the norm, and effective in the sense that fulfilment of the norm leads to achievement of the agents’ desires. We also compare norm negotiation with contract negotiation and negotiation of the distribution of obligations [less ▲]

Detailed reference viewed: 100 (0 UL)
Peer Reviewed
See detailWhat You should Believe
Boella, Guido UL; Pereira, Célia Da Costa UL; Pigozzi, Gabriella UL et al

in Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) (2007)

Detailed reference viewed: 37 (0 UL)
Peer Reviewed
See detailDistinguishing Propositional and Action Commitment in Agent Communication
Boella, Guido UL; Damiano, R. UL; Hulstijn, Joris UL et al

in Proceedings of CMNA'07 (2007)

Our goal is to extend agent communication lan- guages for persuasion dialogues. We distinguish action commitments from propositional commit- ments, because both limit future moves, but an action ... [more ▼]

Our goal is to extend agent communication lan- guages for persuasion dialogues. We distinguish action commitments from propositional commit- ments, because both limit future moves, but an action commitment is fulfilled when the hearer believes that the action is performed, whereas a propositional commitment is fulfilled only when the hearer concedes to the proposition – where con- cessions are the absence of a belief to the con- trary, and prevent further challenges. Using a com- mon model for both kind of commitments and a role-based semantics of agent communication lan- guages, we show how propositional commitments are related to public beliefs and action commit- ments to public goals [less ▲]

Detailed reference viewed: 46 (0 UL)
Peer Reviewed
See detailA Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles
Boella, Guido UL; Damiano, R. UL; Hulstijn, Joris UL et al

in Applied Ontology (2007), (2), 217265

There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. These traditions share speech acts as operators with ... [more ▼]

There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. These traditions share speech acts as operators with preconditions and effects, and agents playing roles like speaker and hearer, but otherwise they rely on distinct ontologies. They refer not only to either belief and intention or various notions of social commitment, but also to distinct speech acts and distinct kinds of dialogue. In this paper, we propose a common ontology for both approaches based on public mental attitudes attributed to role instances. Public mental attitudes avoid the unverifiability problem of private mental states, while reusing the logics and implementations developed for FIPA compliant approaches. Moreover, a common ontology of communication primitives allows for the construction of agents which do not need separate reasoning modules to participate in dialogues with both mental attitudes and social commitments compliant agents. Moreover, a common ontology of communication primitives allows for the construction of agents participating in and combining the full range of dialogues covered by the individual approaches without having to redefine the existing protocols to cope with new dialog types. We illustrate how to extend the ontology to a semantics for agent communication and how to define mappings from existing semantics to the new one. [less ▲]

Detailed reference viewed: 34 (1 UL)
Peer Reviewed
See detailFrom Social Power to Social Importance
Boella, Guido UL; Sauro, Luigi UL; van der Torre, Leon UL

in Web Intelligence and Agent Systems Journal (2007), (5), 393404

In this paper we introduce a method to measure the social importance of an agent in a multiagent system, using a directed graph representing dependencies among agents to achieve their goals, so-called ... [more ▼]

In this paper we introduce a method to measure the social importance of an agent in a multiagent system, using a directed graph representing dependencies among agents to achieve their goals, so-called dependence graphs pioneered by Castelfranchi, Conte and Sichman. Our measure is derived from van den Brink and Gilles' β-measure to rank agents, using a directed graph representing an abstract dominance relation among agents. In particular, we show how to define power structures and dependence networks from the goals and skills of individual agents, and how to adapt the β-measure for such dependence networks based on their topological properties. Moreover, we show that our notion of social importance can be given an intuitive meaning: it measures the discontent of the other agents in case the agent would leave the society. [less ▲]

Detailed reference viewed: 32 (0 UL)
Peer Reviewed
See detailPower in Norm Negotiation
Boella, Guido UL; van der Torre, Leon UL

in Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 – June 1, 2007, Proceedings (2007)

In social mechanism design, norm negotiation creates individual or contractual obligations fulfilling goals of the agents. The social delegation cycle distinguishes among social goal negotiation ... [more ▼]

In social mechanism design, norm negotiation creates individual or contractual obligations fulfilling goals of the agents. The social delegation cycle distinguishes among social goal negotiation, obligation and sanction negotiation and norm acceptance. Power may affect norm negotiation in various ways, and we therefore introduce a new formalization of the social delegation cycle based on power and dependence, without referring to the rule structure of norms, actions, decision variables, tasks, and so on. [less ▲]

Detailed reference viewed: 31 (0 UL)
Peer Reviewed
See detailBridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (2007)

This paper begins with the comparison of the message- sending mechanism, for communication among agents, and the method-invocation mechanism, for communication among objects. Then, we describe an ... [more ▼]

This paper begins with the comparison of the message- sending mechanism, for communication among agents, and the method-invocation mechanism, for communication among objects. Then, we describe an extension of the method-invocation mechanism by introducing the notion of “sender” of a message, “state” of the interaction and “protocol” using the notion of “role”, as it has been introduced in the powerJava extension of Java. The use of roles in communication is shown by means of an example of protocol. [less ▲]

Detailed reference viewed: 78 (0 UL)
Peer Reviewed
See detailMerging Roles in Coordination and in Agent Deliberation
Boella, Guido UL; Genovese, Valerio UL; Grenna, Roberto UL et al

in PRIMA (2007)

In this paper we generalize and merge two models of roles used in multiagent systems which address complementary aspects: enacting roles and communication among roles in an organization or institution. We ... [more ▼]

In this paper we generalize and merge two models of roles used in multiagent systems which address complementary aspects: enacting roles and communication among roles in an organization or institution. We do this by proposing a metamodel of roles and specializing the metamodel to two existing models. We show how the two approaches can be integrated since they deal with complementary aspects: Boella [1] focuses on roles as a way to specify interactions among agents, and, thus, it emphasizes the public character of roles. [2] focuses instead on how roles are played, and thus it emphasizes the private aspects of roles: how the beliefs and goals of the roles become the beliefs and goals of the agents. The former approach focuses on the dynamics of roles in function of the communication process. The latter focuses on agents internal dynamics when they start playing a role or shift the role they are currently playing. [less ▲]

Detailed reference viewed: 79 (0 UL)
Peer Reviewed
See detailRelationships Meet Their Roles in Object Oriented Programming
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (2007)

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by reducing them to ... [more ▼]

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by reducing them to attributes of the objects which participate in the relationship, or by modelling the relationship itself as a class whose instances have the participants of the relationships among their attributes. However, even if roles have been recognized as an essential component of relationships, also in modelling languages like UML, they have not been introduced in Object Oriented programming when it is necessary to model relationships. Introducing roles allows to add attributes and behaviors to the participants in the relationship, rather than to the relationship itself, and to distinguish the natural types of the participants in the relationships from the roles the participants acquire in the relationships. We show how the role model of the language powerJava can be used to endow the relationship as attribute pattern with roles. [less ▲]

Detailed reference viewed: 79 (0 UL)