Skip to main content
SpringerLink
Log in
Book cover

Agent Technology from a Formal Perspective pp 227–257Cite as

Assuring the Behavior of Adaptive Agents

  • Chapter

Part of the book series: NASA Monographs in Systems and Software Engineering ((NASA))

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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Arora, N. and Sen, S. Resolving social dilemmas using genetic algorithms. In Proceedings of the AAAI Symposium on Adaptation, Coevolution and Learning in Multiagent Systems, AAAI Press, Stanford, CA, 1996, pp 1–5.

    Google Scholar 

  2. Asimov, I. I, Robot. Fawcett Publications, Inc., Greenwich, CT. 1950.

    Google Scholar 

  3. Bäck, T. and Schwefel, H. P. An overview of evolutionary algorithms for parameter optimization. Evolutionary Computation, 1(1):1–24, MIT Press, 1993.

    Google Scholar 

  4. Barley, M. and Guesgen, H. Towards safe learning agents. Technical Report, University of Auckland, 2001.

    Google Scholar 

  5. Büchi, J. On a decision method in restricted second-order arithmetic. In Methodology and Philosophy of Science, Proceedings of the Stanford International Congress, Stanford University Press, Stanford, CA, 1962, pp 1–11.

    Google Scholar 

  6. Burkhard, H. Liveness and fairness properties in multiagent systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI’93), Morgan-Kaufmann, Chambéry, France, 1993, pp 325–330.

    Google Scholar 

  7. Clarke, E. and Wing, J. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626–643, Association for Computing Machinery Publishers, 1997.

    Google Scholar 

  8. Courcoubetis, C., Vardi, M., Wolper, M. and Yannakakis, M. Memory-efficient algorithms for the verification of temporal properties. Formal Methods in Systems Design, 1:257–288, Kluwer, 1992.

    Google Scholar 

  9. Fogel, D. On the relationship between duration of an encounter and the evolution of cooperation in the iterated Prisoner’s Dilemma. Evolutionary Computation, 3(3):349–363, MIT Press, 1996.

    Google Scholar 

  10. Georgeoff, M. and Lansky, A. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI’87), Seattle, WA, Morgan-Kaufmann, 1987, pp 677–682.

    Google Scholar 

  11. Gordon, D. Asimovian adaptive agents. Journal of Artificial Intelligence Research, 13:95–153, Morgan-Kauffman, 2000.

    MATH  MathSciNet  Google Scholar 

  12. Gordon, D. Well-behaved Borgs, Bolos, and Berserkers. In Proceedings of the 15th International Conference on Machine Learning (ICML’98), Madison, WI, Morgan-Kaufmann, 1998, pp 224–232.

    Google Scholar 

  13. Grecu, D. and Brown, D. Dimensions of learning in agent-based design. In Proceedings of the 4th International Conference on AI in Design — Workshop on “Machine Learning in Design”, Stanford, CA, AAAI Press, 1996, pp 21–26.

    Google Scholar 

  14. Grefenstette, J., Ramsey, C. and Schultz, A. Learning sequential decision rules using simulation models and competition. Machine Learning, 5(4):355–382, Kluwer, 1990.

    Google Scholar 

  15. Jennings, R., Mamdani, E., Corera, J., Laresgoiti, I., Perriolat, F., Skarek, P. and Varga, L. Using ARCHON to develop real-world DAI applications. IEEE Expert, 11(6):64–70, IEEE Computer Society Publishers, 1996.

    Article  Google Scholar 

  16. Kabanza, F. Synchronizing multiagent plans using temporal logic specifications. In Proceedings of the First International Conference on MultiAgent Systems (ICMAS’95), San Francisco, CA, MIT Press, 1995, pp 217–224.

    Google Scholar 

  17. Kaelbling, L, Littman, M. and Moore, A. Reinforcement learning: A survey. Journal of Artificial Intelligence Research, 4:237–285, Morgan-Kauffman, 1996.

    Google Scholar 

  18. Kiriakidis, K. and Gordon, D. Adaptive supervisory control of multiagent systems. In Formal Approaches to Agent-Based Systems (FAABS’00), (LNAI 1871), Greenbelt, MD, Springer-Verlag, 2001, pp 304–305.

    Google Scholar 

  19. Lee, J. and Durfee, E. On explicit plan languages for coordinating multiagent plan execution. In Proceedings of the 4th Workshop on Agent Theories, Architectures, and Languages (ATAL’97), (LNAI 1365), Providence, RI, Springer-Verlag, 1997, pp 113–126.

    Google Scholar 

  20. Manna, Z. and Pnueli, A. The anchored version of the temporal framework. Lecture Notes in Computer Science, 345:201–284, Springer-Verlag, 1989.

    MathSciNet  Google Scholar 

  21. Miller, W., Sutton, R. and Werbos, P. (editors). Neural Networks for Control. MIT Press, Cambridge, MA. 1992.

    Google Scholar 

  22. Owre, S., Ruess, H., Rushby, J. and Shankar, N. Formal approaches to agent-based systems with SAL. In Formal Approaches to Agent-Based Systems (FAABS’00) Abstracts, Greenbelt, MD, 2001.

    Google Scholar 

  23. Pecheur, C. and Simmons, R. From Livingstone to SMV: Formal verification for autonomous spacecrafts. In Formal Approaches to Agent-Based Systems (FAABS’00), (LNAI 1871), Greenbelt, MD, Springer-Verlag, 2001, pp 103–113.

    Google Scholar 

  24. Potter, M., Meeden, L. and Schultz, A. Heterogeneity in the coevolved behaviors of mobile robots: The emergence of specialists. In Proceedings of the 17th International Conference on Artificial Intelligence (IJCAI’01), Seattle, WA, Morgan-Kaufmann, 2001, pp 1337–1343.

    Google Scholar 

  25. Ramadge, P. and Wonham, W. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206–230, Globe Publishers, 1987.

    Article  MathSciNet  Google Scholar 

  26. Rash, J, Rouff, C., Truszkowski, W., Gordon D. and Hinchey, M. (editors). In Formal Approaches to Agent-Based Systems (FAABS’00), (LNAI 1871), Greenbelt, MD, Springer-Verlag, 2001.

    Google Scholar 

  27. Sen, S. (editor). In Proceedings of the AAAI Symposium on Adaptation, Coevolution and Learning in Multiagent Systems, AAAI Spring Symposium, Stanford, CA, AAAI Press, 1996.

    Google Scholar 

  28. Shoham, Y. and Tennenholtz, M. Social laws for artificial agent societies: Offline design. Artificial Intelligence, 73(1–2):231–252, Elsevier Science Publishers, 1995.

    Article  Google Scholar 

  29. Sokolsky, O. and Smolka, S. Incremental model checking in the modal mucalculus. In Proceedings of the Sixth Conference on Computer-Aided Verification (CAV’94), (LNCS 818), Stanford, CA, Springer-Verlag, 1994, pp 351–363.

    Google Scholar 

  30. Spears, W. and Gordon, D. Evolving finite-state machine strategies for protecting resources. In Proceedings of the Foundations of Intelligent Systems (ISMIS’00), (LNAI 1932), Charlotte, NC, Springer-Verlag, 2000, pp 166–175.

    Google Scholar 

  31. Spears, W. and Gordon, D. Using artificial physics to control agents. In Proceedings of the IEEE International Conference on Information, Intelligence and Systems (ICIIS’99), Bethesda, MD, IEEE Computer Society Publishers, 1999, pp 281–288.

    Google Scholar 

  32. Turney, P. Controlling super-intelligent machines. Canadian Artificial Intelligence, 27:3–35, Canadian Society for Computational Studies of Intelligence Publishers, 1991.

    Google Scholar 

  33. Watkins, C. Learning from delayed rewards. Doctoral dissertation, Cambridge University, Cambridge, England, 1989.

    Google Scholar 

  34. Weld, D. and Etzioni, O. The first law of robotics. In Proceedings of the Twelfth National Conference on Artificial Intelligence, Seattle, WA, MIT Press, 1994, pp 1042–1047.

    Google Scholar 

  35. Wolpert, D., Wheeler, K. and Tumer, K. General principles of learning-based multiagent systems. In Proceedings of the Third International Conference on Autonomous Agents, Seattle, WA, Association for Computing Machinery Publishers, 1999, pp 77–83.

    Google Scholar 

  36. Zhu, H. Formal specification of agent behaviors through environment scenarios. In Formal Approaches to Agent-Based Systems (FAABS’00), (LNAI 1871), Greenbelt, MD, Springer-Verlag, 2001, pp 263–277.

    Google Scholar 

Download references

Authors
  1. Diana F. Spears
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Science Applications International Corporation, USA

    Christopher A. Rouff PhD, MS, BA

  2. NASA Goddard Space Flight Center, USA

    Michael Hinchey PhD, MSc, BSc, CMath, CEng, CPEng, CITP, FBCS, FIEE, FIMA, FIEAust, SMIEEE , James Rash MA, BA  & Walter Truszkowski MA, BA ,  & 

  3. Computer Science Department, University of Wyoming, USA

    Diana Gordon-Spears PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag London Limited

About this chapter

Cite this chapter

Spears, D.F. (2006). Assuring the Behavior of Adaptive Agents. In: Rouff, C.A., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D. (eds) Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering. Springer, London. https://doi.org/10.1007/1-84628-271-3_8

Download citation

  • DOI: https://doi.org/10.1007/1-84628-271-3_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-947-0

  • Online ISBN: 978-1-84628-271-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation