Results 241-256 of 256.
Bookmark and Share    
Full Text
Peer Reviewed
See detailCount-As Conditionals, Classification and Context
Boella, Guido; van der Torre, Leon UL

in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)

Detailed reference viewed: 44 (1 UL)
Peer Reviewed
See detailFair Distribution of Collective Obligations
Boella, Guido; van der Torre, Leon UL

in Proceedings of the 17th European Conference on Artificial Intelligence(ECAI'06) (2006)

Detailed reference viewed: 42 (1 UL)
Peer Reviewed
See detailI fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Networks: Rivista di Filosofia del l'Intelligenza Artificiale e Scienze Cognitive (2006), 6

Detailed reference viewed: 49 (3 UL)
Full Text
Peer Reviewed
See detailA Logic of Abstract Argumentation
Boella, Guido; Hulstijn, J.; van der Torre, Leon UL

in Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers (2006)

In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract ... [more ▼]

In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung’s theory and define variants of it. Moreover, we use the logic to relate Dung’s theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation [less ▲]

Detailed reference viewed: 86 (0 UL)
Full Text
Peer Reviewed
See detailIntroduction to normative multiagent systems
Boella, Guido; van der Torre, Leon UL; Verhagen, H.

in Computational and Mathematical Organization Theory (2006), 12(2-3), 7179

This article introduces the research issues related to and definition of normative multiagent systems. It also describes the papers selected from NorMAS05 that are part of this double special issue and ... [more ▼]

This article introduces the research issues related to and definition of normative multiagent systems. It also describes the papers selected from NorMAS05 that are part of this double special issue and relates the papers to each other. [less ▲]

Detailed reference viewed: 111 (2 UL)
Full Text
Peer Reviewed
See detailRoles as a Coordination Construct: Introducing powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Electronic Notes in Theoretical Computer Science (2006), 150(1), 929

In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the features of roles are their ... [more ▼]

In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the features of roles are their dependence on an institution, and the powers they assign to players of roles. The institution represents an environment where the components interact with each other by using the powers attributed to them by the roles they play, even when they do not know each other. The interaction between a component playing a role and the role is performed via interfaces stating the requirements to play a role, and which powers are attributed by roles. Roles encapsulate their players' capabilities to interact with the institution and with the other roles, thus achieving separation of concerns between computation and coordination. The institution acts as a coordinator which manages the interactions among components by acting on the roles they play, thus achieving a form of exogenous coordination. As an example, we introduce the role construct in the Java programming language, providing a precompiler for it. In order to better explain the proposal, we show how to use the role construct as a coordination means by applying it to a dining philosophers problem extended with dynamic reconfiguration. [less ▲]

Detailed reference viewed: 103 (1 UL)
Full Text
Peer Reviewed
See detailBridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005 (2006)

Social roles structure social institutions like organizations in Multi-Agent Systems (MAS). In this paper we describe how to introduce the notion of social role in programming languages. To avoid the ... [more ▼]

Social roles structure social institutions like organizations in Multi-Agent Systems (MAS). In this paper we describe how to introduce the notion of social role in programming languages. To avoid the commitment to a particular agent model, architecture or language, we decided to extend Java, the most prominent object oriented programming language, by adding social roles. The obtained language allows an easier implementation of MAS’s w.r.t. the Java language. We also show that many important properties of social roles, studied in the MAS field, can be applied to objects. Two are the essential features of social roles according to an analysis reported in the paper: social roles are defined by other entities (called institutions), and when an agent plays a role it is endowed with powers by the institution that defines it. We interpret these two features into the object oriented paradigm as the fact that social roles are objects, which are defined in and exist only inside other objects (corresponding to institutions), and that, through a role, external objects playing the role can access to the object (institution) the role belongs to. [less ▲]

Detailed reference viewed: 97 (0 UL)
Peer Reviewed
See detailpowerJava: ontologically founded roles in object oriented programming language
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Proceedings of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06) (2006)

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and ... [more ▼]

In this paper we introduce a new view on roles in Object Oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an object instance (its institution) which represents its context. The definition of a role depends on the definition of the institution. This property allows to endow role-players with powers that can modify the state of the institution and of the other roles defined in it. As an example, we introduce a role construct in Java, where the abolve features are interpreted as follows. Roles are implemented as classes, which can be instantiated only in presence of an instance of the player and of an instance of an institution. The definition of a class implementing a role is included in the class of the institution, the role belongs to. Powers are methods which can access private fields and methods of the institution they belong to, and of the other roles of the same institution [less ▲]

Detailed reference viewed: 43 (1 UL)
Peer Reviewed
See detailInteraction among objects via roles: sessions and affordances in powerJava
Baldoni, Matteo; Boella, Guido; van der Torre, Leon UL

in Proceedings of Principles and Practice of Programming in Java (PPPJ'06) (2006)

In this paper we present a new vision in object oriented programming languages where the objects' attributes and operations depend on who is interacting with them. This vision is based on a new definition ... [more ▼]

In this paper we present a new vision in object oriented programming languages where the objects' attributes and operations depend on who is interacting with them. This vision is based on a new definition of the notion of role, which is inspired to the concept of affordance as developed in cognitive science. The current vision of objects considers attributes and operations as being objective and independent from the interaction. In contrast, in our model interaction with an object always passes through a role played by another object manipulating it. The advantage is that roles allow to define operations whose behavior changes depending on the role and the requirements it imposes, and to define session aware interaction, where the role maintains the state of the interaction with an object. Finally, we discuss how roles as affordances can be introduced in Java, building on our language powerJava. [less ▲]

Detailed reference viewed: 42 (1 UL)
Peer Reviewed
See detailStrengthening Admissible Coalitions
Boella, Guido; Sauro, L.; van der Torre, Leon UL

in Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06) (2006)

Detailed reference viewed: 54 (1 UL)
Peer Reviewed
See detailThe Roles of Roles in Agent Communication Languages
Boella, Guido; Hulstijn, J.; van der Torre, Leon UL

in Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06) (2006)

Detailed reference viewed: 98 (1 UL)
Full Text
See detailACL Semantics between Social Commitments and Mental Attitudes
Boella, Guido; Damiano, R.; Hulstijn, J. et al

Book published by Springer (2006)

There are two main traditions in defining a semantics for agent com- munication languages, based either on mental attitudes or on social commitments. In this paper, we translate both traditions in a ... [more ▼]

There are two main traditions in defining a semantics for agent com- munication languages, based either on mental attitudes or on social commitments. In this paper, we translate both traditions in a different approach in which the di- alogue state is represented by the beliefs and goals publicly attributed to the roles played by the dialogue participants. On the one hand, this approach avoids the problems of mentalistic semantics, such as the unverifiability of private mental states. On the other hand, it allows use to reuse the logics and implementations developed for FIPA compliant approaches. [less ▲]

Detailed reference viewed: 87 (0 UL)
Full Text
Peer Reviewed
See detailModeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation
Boella, Guido; Hulstijn, J.; Tan, Y. et al

in Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005 (2006)

This paper is about control mechanisms for virtual organizations. As a case study, we discuss the Renewables Obligation (RO), a control mechanism that was introduced in the United Kingdom to stimulate the ... [more ▼]

This paper is about control mechanisms for virtual organizations. As a case study, we discuss the Renewables Obligation (RO), a control mechanism that was introduced in the United Kingdom to stimulate the production of renewable energy. We apply a conceptual model based on normative multiagent systems (NMAS). We propose to model both the participants and the normative system as autonomous agents, having beliefs and goals. Norms, which can be internalized by the agents as obligations, are translated into conditional beliefs and goals of the normative system, which concern both detection and sanctioning measures. We show that the model can handle both the regulative and the evidential aspects of the case. [less ▲]

Detailed reference viewed: 102 (0 UL)
Peer Reviewed
See detailUsing XML Transformations for Enterprise Architectures
Stam, A.; Jacob, J.; de Boer, F. S. et al

in Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (2006)

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise ... [more ▼]

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise architectures in a formal way. We propose transformational techniques to extract views from an XML document containing architectural information and indicate how to perform a specific form of impact analysis on this information. The transformations are formally expressed with the language RML, a compact yet powerful transformation language developed at CWI, which obtains its power from regular expressions defined on XML documents. We discuss a tool that has been built on top of it to visualize the results of the transformations and illustrate the advantages of our approach: the genericity of XML, the application of a single technique (namely XML transformations) for various tasks, and the benefits of having a model viewer which is in complete ignorance of the architectural language used. [less ▲]

Detailed reference viewed: 107 (0 UL)
Peer Reviewed
See detailFormalisation and Analysis of the Temporal Dynamics of Conditioning
Bosse, T.; Jonker, C.; Los, S. et al

in Agent-Oriented Software Engineering VI (2006)

In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms into such systems. However ... [more ▼]

In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms into such systems. However, existing models for classical conditioning are usually based on differential equations. Since the design of Agent Systems is traditionally based on qualitative conceptual languages, these differential equations are often not directly appropriate to serve as an input for Agent System design. To deal with this problem, this paper explores a formal description and analysis of a conditioning process based on logical specification and analysis methods of dynamic properties of conditioning. Specific types of dynamic properties are global properties, describing properties of the process as a whole, or local properties, describing properties of basic steps in a conditioning process. If the latter type of properties are specified in an executable format, they provide a temporal declarative specification of a simulation model. Global properties can be checked automatically for simulated or other traces. Using these methods the properties of conditioning processes informally expressed by Los and Heuvel [8] have been formalised and verified against a specification of local properties based on Machado [9]’s mathematical model [less ▲]

Detailed reference viewed: 93 (0 UL)
Peer Reviewed
See detailLandscape Maps for Enterprise Architectures
van der Torre, Leon UL; Lankhorst, M.; ter Doest, H. et al

in Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings (2006)

Landscape maps are a technique for visualizing enterprise architectures. They present architectural elements in the form of an easy to understand 2D ’map’. A landscape map view on architectures provides ... [more ▼]

Landscape maps are a technique for visualizing enterprise architectures. They present architectural elements in the form of an easy to understand 2D ’map’. A landscape map view on architectures provides non-technical stakeholders, such as managers, with a high-level overview, without burdening them with technicalities of architectural drawings. In this paper we discuss the use of and techniques for landscape maps. A formal model for landscape maps is introduced as the basis of visualization and interaction techniques. Moreover, we show how a landscape map can be generated from its underlying model. Finally we show several interaction techniques, for example to build a landscape map from scratch, independently of an underlying model, or to change a landscape map together with its underlying model [less ▲]

Detailed reference viewed: 95 (0 UL)