Arrow Research search

Author name cluster

Rafael Bordini

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

8 papers
1 author row

Possible papers

8

AAMAS Conference 2008 Conference Paper

A Distributed Normative Infrastructure for Situated Multi-Agent Organisations

  • Fabio Okuyama
  • Rafael Bordini
  • Antonio Costa

In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the environment where they are to be situated and operate. Our work addresses this problem by putting together, in a practical approach to developing multi-agent systems (and social simulations in particular), a high-level environment modelling language that incorporates aspects of agents, organisations, and normative structures. The paper explains in some detail how the ideas of normative objects and normative places, put together as a distributed normative infrastructure, allow the definition of certain kinds of situated multi-agent organisations, in particular organisations for multi-agent systems that operate within concrete environments. Normative objects are environment objects used to explicitly convey normative content that regulate the behaviour of agents within the place where such objects can be perceived by agents. The paper briefly introduces such concepts, showing how they were integrated into the MAS- SOC multi-agent systems platform for social simulation, and hints on new problems of (situated) organisational and normative structures that were brought forward by the work presented here.

AAMAS Conference 2008 Conference Paper

A Flexible Framework for Verifiable Agent Programming

  • Louise Dennis
  • Berndt Farwer
  • Rafael Bordini
  • Michael Fisher

There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.

AAMAS Conference 2008 Conference Paper

Integrating Artifact-Based Environments with Heterogeneous Agent Programming Platforms

  • Alessandro Ricci
  • Michele Piunti
  • Lemi Daghan Acay
  • Rafael Bordini
  • Jomi H
  • uuml; bner
  • Mehdi Dastani

“Agents and Artifacts” (A&A) and CARTAGO are becoming increasingly popular as, respectively, a general-purpose programming model and a related infrastructure for developing shared computational environments in agent-based software systems. However, so far there has been no work on developing multiagent systems (MAS) where agents implemented and deployed in different agent-programming platforms can interact as part of the same MAS with a shared environment. Due to the generality of CARTAGO environments and its Java-based implementation, we have successfully implemented an open multi-agent system where heterogeneous agents developed with different platforms—namely Jason, 2APL as BDI-based approaches and simpA as an activityoriented approach rather than BDI-based—work together in shared workspaces where they interact and cooperate by dynamically creating and using shared artifacts, analogously to human working environments. This paper shows how this was achieved by first presenting a general model for incorporating a theory of use and observation of artifacts in cognitive agents, then describing a general approach for developing such heterogeneous MAS using CARTAGO integrated with existing agent-oriented programming platforms.

AAMAS Conference 2008 Conference Paper

Theoretical and Experimental Results on the Goal-Plan Tree Problem

  • Patricia Shaw
  • Berndt Farwer
  • Rafael Bordini

Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is most naturally represented by a structure that has been called a Goal-Plan Tree. One of the uses of such structure is in agent deliberation (in particular, deciding whether to commit to achieving a certain goal or not). This paper presents new experimental results combining various types of goal-plan tree reasoning from the literature.

v2026.09.13