Formal framework development: framework to system

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 titleFormal framework development: framework to system
Authorsd'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 titleFormal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000
Year2001
PublisherSpringer
Publication dates
Published2001
Place of publicationLondon, UK
SeriesLecture notes in artificial intelligence
ISBN3540427163
Web address (URL)http://www.springerlink.com/content/dm4h29w64d7gcvwd/?p=3412d0fa305b4fb48ef8ee7023aa870e&pi=10
Journal citation(1871), pp. 133-147

Related outputs

Specifying termination in CSP
Howells, P. and d'Inverno, M. 2013. Specifying termination in CSP. Theoretical Computer Science. 503, pp. 31-60.

Successful termination in timed CSP
Howells, P. and d'Inverno, M. 2013. Successful termination in timed CSP. Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 21-38

Specifying and analysing networks of processes in CSPt (or in search of associativity)
Howells, P. and d'Inverno, M. 2013. Specifying and analysing networks of processes in CSPt (or in search of associativity). Communicating Process Architectures 2013. Edinburgh Napier University, Edinburgh 25 - 28 Aug 2013 pp. 157-184

A CSP model with flexible parallel termination semantics
Howells, P. and d'Inverno, M. 2009. A CSP model with flexible parallel termination semantics. Formal Aspects of Computing. 21 (5), pp. 421-449.

Agent-based modeling of stem cells
d'Inverno, M., Howells, P., Montagna, S., Roeder, I. and Saunders, R. 2009. Agent-based modeling of stem cells. in: Uhrmacher, A.M. and Weyns, D. (ed.) Multi-agent systems: simulation and applications Boca Raton CRC Press, Taylor & Francis. pp. 389-422

Transdisciplinary collaboration in "Cell"
Prophet, J. and d'Inverno, M. 2006. Transdisciplinary collaboration in "Cell". in: Fishwick, P.A. (ed.) Aesthetic computing Massachusetts, USA MIT Press. pp. 185-196

Responsive and generative music for public installations
d'Inverno, M., Eacott, J. and Olofsson, F. 2005. Responsive and generative music for public installations. Agentlink News. 19, pp. 5-6.

From SMART to agent systems development
Ashri, R., Luck, M. and d'Inverno, M. 2005. From SMART to agent systems development. Engineering Applications of Artificial Intelligence. 18 (2), pp. 129-140.

Agent-based modelling of stem cell self-organisation in a niche
d'Inverno, M. and Saunders, R. 2005. Agent-based modelling of stem cell self-organisation in a niche. in: Brueckner, S.A., Serugendo, G.D.M., Karageorgos, A. and Nagpal, R. (ed.) Engineering self-organising systems: methodologies and applications Berlin, Germany Springer.

Multidisciplinary Investigation into adult stem cell behavior
d'Inverno, M. and Prophet, J. 2005. Multidisciplinary Investigation into adult stem cell behavior. in: Priami, C., Merelli, E., Gonzalez, P. and Omicini, A. (ed.) Transactions on computational systems biology III Berlin, Germany Springer.

Mathematical modelling of stem cells
Theise, N.D., d'Inverno, M. and Prophet, J. 2005. Mathematical modelling of stem cells. in: Potten, C.S., Clarke, R.B., Renehan, A.G. and Wilson, J. (ed.) Tissue stem cells London, UK Taylor & Francis.

A normative framework for agent-based systems
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2005. A normative framework for agent-based systems. 1st International Symposium on Normative Multiagent Systems (NorMAS2005). Hatfield, UK 12-15 Apr 2005

Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence
d'Inverno, M. and Prophet, J. 2004. Creative conflict in interdisciplinary collaboration: interpretation, scale and emergence. in: Edmonds, E. and Gibson, R. (ed.) Interaction: systems, theory and practice Creativity and Cognition Studios. pp. 251-270

The dMARS architechure: a specification of the distributed multi-agent reasoning system
d'Inverno, M., Luck, M., Georgeff, M., Kinny, D. and Wooldridge, M. 2004. The dMARS architechure: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems. 9 (1-2), pp. 5-53.

Motivation-based selection of negotiation partners
Munroe, S., Luck, M. and d'Inverno, M. 2004. Motivation-based selection of negotiation partners. in: 3rd International Joint Conference on Autonomous Agents and MultiAgent Systems: AAMAS2004 USA IEEE . pp. 1520-1521

The intelligent street: responsive sound environments for social interaction
Lörstad, H., d'Inverno, M. and Eacott, J. 2004. The intelligent street: responsive sound environments for social interaction. in: Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology ACM.

Agent-based software development
Luck, M., Ashri, R. and d'Inverno, M. 2004. Agent-based software development. London, UK Artech House.

Normative agent reasoning in dynamic societies
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2004. Normative agent reasoning in dynamic societies. in: 3rd International Conference on Autonomous Agents and Multi-agent Systems: AAMAS2004 USA IEEE . pp. 732-739

A typology of relationships and goals for regulation and coordination
Ashri, R., Luck, M. and d'Inverno, M. 2004. A typology of relationships and goals for regulation and coordination. ECAI Workshop in Coordination in Emerging Agent Societies. Valencia, Spain 22-27 Aug 2004

Embedded intelligent music - or iHiFi the intelligent HiFi
Eacott, J. and d'Inverno, M. 2003. Embedded intelligent music - or iHiFi the intelligent HiFi. Digital Creativity. 14 (2), pp. 67-73.

On identifying and managing relationships in multi-agent systems
d'Inverno, M., Luck, M. and Ashri, R. 2003. On identifying and managing relationships in multi-agent systems. Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, Mexico 09-15 Aug 2003

Towards motivation-based decisions for worth goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards motivation-based decisions for worth goals. in: Marik, V., Muller, J. and Pchouek, M. (ed.) Multi-agent systems and application III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003 London, UK Springer.

Towards a motivation-based approach for evaluating goals
Munroe, S., Luck, M. and d'Inverno, M. 2003. Towards a motivation-based approach for evaluating goals. in: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems New York, USA ACM. pp. 1074-1075

Autonomy: variable and generative
Luck, M., d'Inverno, M. and Munroe, S. 2003. Autonomy: variable and generative. in: Hexmoor, H., Castelfranchi, C. and Falcone, R. (ed.) Agent autonomy: multiagent systems, artificial societies, and simulated organizations London, UK Kluwer.

Intelligent Street
Eacott, J., Lörstad, H., d'Inverno, M., Olofsson, F. and Rougier, F. 2003. Intelligent Street.

Unifying agent systems
Luck, M. and d'Inverno, M. 2003. Unifying agent systems. Annals of Mathematics and Artificial Intelligence. 37 (1-2), pp. 131-167.

Practical and theoretical innovations in multi-agent systems research
d'Inverno, M. and Luck, M. 2002. Practical and theoretical innovations in multi-agent systems research. Knowledge Engineering Review. 17 (3), pp. 295-301.

Soft-link hypertext for information retrieval
d'Inverno, M., Howells, P., Hu, M. and Luck, M. 2002. Soft-link hypertext for information retrieval. Information and Software Technology. 44 (2), pp. 101-112.

Constraining autonomy through norms
Lopez y Lopez, F., Luck, M. and d'Inverno, M. 2002. Constraining autonomy through norms. in: Castelfranchi, C. (ed.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: July 15-19, 2002, Plazzo re Enzo, Bologna, Italy New York, USA ACM. pp. 674-681

Annotating cooperative plans with trusted agents
Griffiths, N., Luck, M. and d'Inverno, M. 2002. Annotating cooperative plans with trusted agents. 5th International Workshop on Deception, Fraud and Trust in Agent Societies. Bologna, Italy 15 Jul 2002

Infrastructure support for agent-based development
Ashri, R., Luck, M. and d'Inverno, M. 2002. Infrastructure support for agent-based development. in: d'Inverno, M., Luck, M., Fisher, M. and Preist, C. (ed.) Foundations and applications of multi-agent systems: UKMAS Workshops 1996-2000 Berlin, Germany Springer.

Learning in multi-agent systems
Alonso, E., d'Inverno, M., Kudenko, D., Luck, M. and Noble, J. 2001. Learning in multi-agent systems. Knowledge Engineering Review. 16 (3), pp. 277-284.

Understanding agent systems
d'Inverno, M. and Luck, M. 2001. Understanding agent systems. London, UK Springer.

A conceptual framework for agent definition and development
Luck, M. and d'Inverno, M. 2001. A conceptual framework for agent definition and development. Computer Journal. 44 (1), pp. 1-20.

Plan analysis for autonomous sociological agents
Luck, M. and d'Inverno, M. 2001. Plan analysis for autonomous sociological agents. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.

Autonomy: a nice idea in theory
Luck, M. and d'Inverno, M. 2001. Autonomy: a nice idea in theory. in: Castelfranchi, C. and Lesperance, Y. (ed.) Intelligent agents VII: agent theories architectures and languages New York, USA Springer.

A framework for norm-based inter-agent dependence
Lopez y Lopez, F., Lopez, Y., d'Inverno, M. and Luck, M. 2001. A framework for norm-based inter-agent dependence. 3rd Mexican International Conference on Computer Science (SMCC-INEGI, 2001). Aguascalientes, Mexico 15-19 Sep 2001

Permalink - https://westminsterresearch.westminster.ac.uk/item/94356/formal-framework-development-framework-to-system


Share this
Tweet
Email