Sergio Saugar

ECAI Conference 2010 Conference Paper

A contextual reading of conditional commitments

• Juan Manuel Serrano
• Sergio Saugar
• Rosario Laurendi
• Francesco Buccafurri

This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational notion of social context, in such a way that conditional commitments are represented as rules in context. This approach enables the manipulation of conditional commitments in terms of the manipulation of the social interactions which provide their social contexts. Moreover, it allows the programmer to exploit the ASP metatheory underlying action language K to analyze, simplify and transform commitment-based protocols.

AAMAS Conference 2007 Conference Paper

Operational Semantics of Multiagent Interactions

• Juan M. Serrano
• Sergio Saugar

The social stance advocated by institutional frameworks and most multi-agent system methodologies has resulted in a wide spectrum of organizational and communicative abstractions which have found currency in several programming frameworks and software platforms. Still, these tools and frameworks are designed to support a limited range of interaction capabilities that constrain developers to a fixed set of particular, pre-defined abstractions. The main hypothesis motivating this paper is that the variety of multi-agent interaction mechanisms – both, organizational and communicative, share a common semantic core. In the realm of software architectures, the paper proposes a connector-based model of multi-agent interactions which attempts to identify the essential structure underlying multi-agent interactions. Furthermore, the paper also provides this model with a formal execution semantics which describes the dynamics of social interactions. The proposed model is intended as the abstract machine of an organizational programming language which allows programmers to accommodate an open set of interaction mechanisms.

EUMAS Conference 2006 Conference Paper

The Semantic Core of Multi-agent Interactions: an Operational Model

• Sergio Saugar
• Juan Manuel Serrano

The social stance advocated by institutional frameworks and most multi-agent system (MAS) methodologies has resulted in a wide catalogue of software abstractions to encapsulate multiagent interactions. This paper attempts to expose a possible semantic core underlying the wide spectrum of interaction types between autonomous, social and situated software components. In the realm of software architectures, this core has been formalised as an operational model of social connectors describing both the structure and dynamics of multi-agent interactions. This formal model is aimed as the first steps towards the abstract machine of a language to program multi-agent interactions.

AAMAS Conference 2005 Conference Paper

Engineering Agent Interactions from ACL-based Reusable Connectors

• Juan Manuel Serrano
• Sascha Ossowski
• Sergio Saugar