Abstract
We describe a novel agent programming language, Meta-APL, and
give its operational semantics. Meta-APL allows both agent programs and their
associated deliberation strategy to be encoded in the same programming language. We define a notion of equivalence between programs written in different
agent programming languages based on the notion of weak bisimulation equivalence. We show how to simulate (up to this notion of equivalence) programs
written in other agent programming languages by programs of Meta-APL. This
involves translating both the agent program and the deliberation strategy under
which it is executed into Meta-APL.
give its operational semantics. Meta-APL allows both agent programs and their
associated deliberation strategy to be encoded in the same programming language. We define a notion of equivalence between programs written in different
agent programming languages based on the notion of weak bisimulation equivalence. We show how to simulate (up to this notion of equivalence) programs
written in other agent programming languages by programs of Meta-APL. This
involves translating both the agent program and the deliberation strategy under
which it is executed into Meta-APL.
| Original language | English |
|---|---|
| Publication status | Published - 2011 |
| Event | 9th International Workshop on Programming Multi-Agent Systems - Taipei, Taiwan, Province of China Duration: 3 May 2011 → 3 May 2011 http://www.inf.ufrgs.br/promas2011/ProMAS2011/Home.html |
Workshop
| Workshop | 9th International Workshop on Programming Multi-Agent Systems |
|---|---|
| Abbreviated title | ProMAS-2011 |
| Country/Territory | Taiwan, Province of China |
| City | Taipei |
| Period | 3/05/11 → 3/05/11 |
| Internet address |