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


A Simple Agent Modelling Language with Simulated Concurrency

David Roberston

There have been two recent group talks related to the modelling of agent systems: one by Wamberto Vasconcelos on the use of a model logic to describe detailed agent behaviour; the other by Chris Walton on the use of languages such as the pi calculus to describe agent topologies. I have been wondering whether it would be possible to have a language which contains some of the features of both approaches while also being simple enough for logically-challenged folk like me to understand. I will describe my first attempts.