TY - GEN
T1 - Formal agent development
T2 - 1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000
AU - d'Inverno, Mark
AU - Luck, Michael
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001/10/10
Y1 - 2001/10/10
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84955604697&partnerID=8YFLogxK
U2 - 10.1007/3-540-45484-5_11
DO - 10.1007/3-540-45484-5_11
M3 - Conference proceeding
AN - SCOPUS:84955604697
SN - 3540427163
SN - 9783540427162
T3 - Lecture Notes in Computer Science
SP - 133
EP - 147
BT - Formal Approaches to Agent-Based Systems
A2 - Rash, James L.
A2 - Truszkowski, Walt
A2 - Hinchey, Michael G.
A2 - Rouff, Christopher A.
A2 - Gordon, Diana
PB - Springer Berlin Heidelberg
Y2 - 5 April 2000 through 7 April 2000
ER -