Formal framework development: framework to system

d'Inverno, Mark and Luck, Michael (2001) Formal framework development: framework to system. In: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000. Lecture notes in artificial intelligence (1871). Springer, London, UK, pp. 133-147. ISBN 3540427163

Full text not available from this repository.
Official URL:


Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophisticated logics for reasoning about agent systems on the other. Our own view is that work on formal models of agent-based systems are valuable inasmuch as they contribute to a fundamental goal of computing of practical agent development. In an ongoing project that has been running for several years, we have sought to do exactly that through the development of a formal framework that provides a conceptual infrastructure for the analysis and modelling of agents and multi-agent systems on the one hand, and enables implemented and deployed systems to be evaluated and compared on the other. In this paper, we describe our research programme, review its achievements to date, and suggest directions for the future.

Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Users 4 not found.
Date Deposited: 02 Dec 2005
Last Modified: 20 Oct 2009 14:11

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)