Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Formal Approaches to Agent-Based Systems

FAABS 2000: Formal Approaches to Agent-Based Systems pp 354–368Cite as

Panel Discussion: “Future Directions”

  • Conference paper
  • First Online:

  • 301 Accesses

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

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Search

Navigation