Programming Rational Agents
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Thesis (PhD)
Member Organisation: 179 DAI Labor
Member Organisation: 001 University of Liverpool

Hirsch, Benjamin (2005) Programming Rational Agents. PhD thesis, University of Liverpool.

Full text not available from this archive.


This thesis tackles the implementation, application, and formalisation of a logicbased programming language for rational agents. This is based on the previous, essentially theoretical, work on MetateM. Our work here comprises three major aspects. Firstly, we provide a practical implementation of the agent programming language MetateM, extended with abilities and beliefs. Second, we extend both the implementation and application to encompass simple, but powerful grouping structures. We show how a number of sophisticated applications can be naturally developed based on these rational agent groups. Finally, in addition to providing operational semantics for both single and multi-agent implementations, we show how the grouping structures correspond closely to complex process calculi for mobile agents.

Deposited by Dr Benjamin Hirsch on 14 July 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact