Skip Navigation

Journal of Logic and Computation 2002 12(3):413-442; doi:10.1093/logcom/12.3.413
© 2002 by Oxford University Press
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrow Search for citing articles in:
ISI Web of Science (1)
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Sabater, J.
Right arrow Articles by Jennings, N. R.
Right arrow Search for Related Content
Social Bookmarking
 Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?


Original Article

Engineering Executable Agents using Multi-context Systems

Jordi Sabater1, Carles Sierra1, Simon Parsons2 and Nicholas R. Jennings3

1 IIIA - Artificial Intelligence Research Institute, CSIC - Spanish Council for Scientific Research, Campus UAB, 08193 Bellaterra, Catalonia, Spain. E-mail: {jsabater,sierra}@iiia.csic.es 2 Department of Computer Science, University of Liverpool, Chadwick Building, Liverpool L69 7ZF, UK. E-mail: S.D.Parsons@csc.liv.ac.uk 3 Department of Electronics and Computer Science, University of Southampton, Highfield, Southampton SO17 1BJ, UK. E-mail: nrj@ecs.soton.ac.uk

In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, however, there are comparatively few attempts to relate these together, and even fewer attempts to provide methodologies which relate designs to architectures and then to executable agents. This paper provides a first attempt to address this shortcoming. We propose a general method of specifying logic-based agents, which is based on the use of multi-context systems, and give examples of its use. The resulting specifications can be directly executed, and we discuss an implementation which makes this direct execution possible.

Keywords: Agent-based computing; multi-context systems; software engineering; executable specifications


Received 6 April 2000.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.