Skip to main content
Springer Nature Link
Log in

Panel Discussion: “Future Directions”

  • Conference paper
  • First Online:
Formal Approaches to Agent-Based Systems (FAABS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1871))

Included in the following conference series:

  • 307 Accesses

Abstract

The FAABS”OO panel on “future directions” generated some interesting discussion and even some heated debate. The aim was to consider in what directions the development of agent-based systems might lean in the future, and in particular the role of formality in this.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Archer, M., Heitmeyer, C, & Sims, S. (1998). TAME: A PVS interface to simplify proofs for automata models. In User Interfaces for Theorem Provers, Eindhoven, Netherlands. Eindhoven University Technical Report.

    Google Scholar 

  2. Bharadwaj, R. & Sims, S. (2000). Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. In Graf. S. Schwartzbach (eds.): Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Sciences, Vol. 1785. Berlin: Springer-Verlag.

    Chapter  Google Scholar 

  3. Genesereth, M. R. & Ketchpel, S.P. (1994). Software Agents. Comm. of the ACM 37(7).

    Google Scholar 

  4. Gordon, M. J. C. & Melham, T. (1993). Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic, Cambridge University Press.

    Google Scholar 

  5. Henriksen, J.G. et al. (1995). Mona: Monadic Second-Order Logic in Practice. In Workshop on Tools and Algorithms for the Construction of Systems, Aarhus.

    Google Scholar 

  6. Holzmann, G. J. (1991). Design and Validation of Computer Protocols, Prentice-Hall.

    Google Scholar 

  7. Jennings, N. J., Sycara, K., & Wooldridge, M. (1998). A Roadmap of Agent Research and Development Autonomous Agents and Multi-Agent Systems 1.

    Google Scholar 

  8. McMillan, K. L. (1993). Symbolic Model Checking, Kluwer Academic Publishers.

    Google Scholar 

  9. Shankar, N., Owre, S., & Rushby, J. (1993). The PVS Proof Checker: A Reference Manual, Computer Science Lab., SRI Intl., Menlo Park, CA.

    Google Scholar 

References

  1. Axtell, R. (2000). A formal theory of emergence. FAABS’OO Abstracts.

    Google Scholar 

  2. Gordon, D. (2001). APT Agents: Agents that are adaptive, predictable and timely. FAABS’OO Proceedings.

    Google Scholar 

  3. Kiriakidis, K. & Gordon, D. (2001). Adaptive supervisory control of multi-agent systems. FAABS’OO Proceedings.

    Google Scholar 

  4. Lerman, K. (2001). Mathematical modeling of coalition formation in large multi-agent systems. FAABS’OO Proceedings.

    Google Scholar 

  5. Manna, Z. & Pnueli, A. (1989) The anchored version of the temporal framework. Lecture Notes in Computer Science 354 Berlin: Springer-Verlag.

    Google Scholar 

  6. Owre, S., Rueβ, H., Rushby, J., & Shankar, N. (2000). Formal approaches to agent-based systems with SAL. FA ABS’00 Abstracts.

    Google Scholar 

  7. Rudnianski, M. & Bestougeff, H. (2001). Modeling task and teams through game theoretic agents. FAABS’OO Proceedings.

    Google Scholar 

  8. Proceedings of the Workshop on Multiagent Learning (1997) S. Sen (ed.) AAAI Workshop Proceedings.

    Google Scholar 

  9. Shapiro, S., Lesperance, Y., & Levesque, H. (2001). Modeling and verification with the cognitive agents specification language. FAABS’OO Proceedings.

    Google Scholar 

  10. Shoham, Y. & Tennenholtz, M. (1992). Social laws for artificial agent societies: Off-line design. Artificial Intelligence, 73.

    Google Scholar 

  11. Spears, W. & Gordon, D. (1999). Using artificial physics to control agents. ICIIS’99 Proceedings.

    Google Scholar 

References

  1. d’Inverno, M., Fisher, M., Lomusćio, A., Luck, M., de Rijke, M., Ryan, M. & Wooldridge, M. (1997). Formalisms for multi-agent systems. Knowledge Engineering Review, 12(3): 315–321.

    Article  Google Scholar 

  2. Fisher, M. (1995). Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI 890), pages 307–323. Springer.

    Google Scholar 

  3. Konolige, K. (1986). A Deduction Model of Belief. Pitman: London.

    MATH  Google Scholar 

  4. Luck, M., Griffiths, N., & d’Inverno, M. (1997). From agent theory to agent construction: A case study. In Intelligent Agents III (LNAI 1193), pages 49–63. Springer.

    Google Scholar 

  5. Rao, A. S. & Georgeoff, M.P. (1992). An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowedge Representation and Reasoning, pages 439–449.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NASA Goddard Space Flight Center (Code 588), Greenbelt, MD, 20771

    Michael Hinchey

Authors
  1. Michael Hinchey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NASA Goddard Space Flight Center, Greenbelt, Maryland, 20771, USA

    James L. Rash , Walt Truszkowski  & Michael G. Hinchey ,  & 

  2. Science Applications International Corporation, 4001 Fairfax Drive, Suite 300, Airlington, VA, 22203, USA

    Christopher A. Rouff

  3. Naval Research Laboratory, 4555 Overlook Avenue, S.W., Washington, D.C., USA

    Diana Gordon

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hinchey, M. (2001). Panel Discussion: “Future Directions”. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-45484-5_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42716-2

  • Online ISBN: 978-3-540-45484-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics