SSP Group Meeting
Wednesday, December 19th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


 

Logic-Based Electronic Institutions: Syntax, Semantics & Implementation

Wamberto Vasconcelos

In this talk we describe an approach for semi-automatic agent development. We focus on the scenario in which agents are designed to follow an electronic institution, a formalism to specify open agent organisations. In our approach, an initial design pattern is automatically extracted from a given electronic institution. This pattern is then offered to programmers willing to develop agents to perform in the electronic institution. Our approach supports developers when modifying the initial simple design pattern into more sophisticated programs.