d'Inverno, M. and Luck, M. 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 London, UK Springer.
| Chapter title | Formal framework development: framework to system |
|---|---|
| Authors | d'Inverno, M. and Luck, M. |
| Abstract | 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. |
| Book title | Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 |
| Year | 2001 |
| Publisher | Springer |
| Publication dates | |
| Published | 2001 |
| Place of publication | London, UK |
| Series | Lecture notes in artificial intelligence |
| ISBN | 3540427163 |
| Web address (URL) | http://www.springerlink.com/content/dm4h29w64d7gcvwd/?p=3412d0fa305b4fb48ef8ee7023aa870e&pi=10 |
| Journal citation | (1871), pp. 133-147 |