Skip to main content
SpringerLink
Log in

Agents in a Wild World

  • Chapter
Agent Technology from a Formal Perspective

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

  • 338 Accesses

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clancey, W., Sachs, P., Sierhuis, M. and van Hoof, R. Brahms: Simulating practice for work systems design. In Proceedings PKAW’ 96: Pacific Knowledge Acquisition Workshop, P. Compton, R. Mizoguchi, H. Motoda and T. Menzies, editors. Department of Artificial Intelligence, 1996.

    Google Scholar 

  2. Clancy, D. and Kuipers, B. Model decomposition and simulation: A component based qualitative simulation algorithm. In AAAI-97, 1997.

    Google Scholar 

  3. Console, L. and Torasso, P. A spectrum of definitions of model-based diagnosis. Computational Intelligence, 7:133–141, 1991.

    Google Scholar 

  4. Crawford, J. and Baker, A. Experimental results on the application of satisfiability algorithms to scheduling problems. In AAAI’ 94, 1994.

    Google Scholar 

  5. DeKleer, J. An Assumption-Based TMS. Artificial Intelligence, 28:163–196, 1986.

    Google Scholar 

  6. d’Inverno, M. and Wooldridge, M. A formal specification of dMARS. In Intelligent Agents IV: Proc. of the Fourth International Workshop on Agent Theories. Architectures and Languages, A. Singh and M. Wooldridge, editors. Springer Verlag, 1998.

    Google Scholar 

  7. Doyle, J. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.

    Article  MathSciNet  Google Scholar 

  8. Gabow, H., Maheshwari, S. and Osterweil, L. On two problems in the generation of program test paths. IEEE Transactions on Software Engineering, SE-2:227–231, 1976.

    MathSciNet  Google Scholar 

  9. Han, K. and Veloso, M. Automated robot behaviour recognition applied to robot soccer. In Proceedings of the Sixteenth Interntional Joint Conference on Artificial Intelligence. Workshop on Team Behaviour and Plan Recognition, 1999, pp 47–52.

    Google Scholar 

  10. Heitmeyer, C. L., Jeffords, R. D. and Labaw, B. G. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231–261, 1996.

    Article  Google Scholar 

  11. Holzmann, G. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279–295, 1997.

    Article  MathSciNet  Google Scholar 

  12. Hu, Y. Treatment learning. Masters thesis, University of British Columbia, Department of Electrical and Computer Engineering. In preparation, 2002.

    Google Scholar 

  13. Jones, R.M., Laird, J. E., Nielsen, P. E., Coulter, K. J., Kenny, P. G. and Koss, F. V. Automated intelligent pilots for combat flight simulation. AI Magazine, 20(1):27–41, 1999.

    Google Scholar 

  14. Josephson, J., Chandrasekaran, B., Carroll, M., Iyer, N., Wasacz, B. and Rizzoni, G. Exploration of large design spaces: an architecture and preliminary results. In AAAI’ 98, 1998.

    Google Scholar 

  15. Kautz, H. and Selman, B. Pushing the envelope: Planning, propositional logic and stochastic search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, Menlo Park, AAAI Press / MIT Press, 1996, pp 1194–1201.

    Google Scholar 

  16. Leveson, N. Safeware System Safety and Computers. Addison-Wesley. 1995.

    Google Scholar 

  17. Menzies, T. and Compton, P. Applications of abduction: Hypothesis testing of neuroendocrinological qualitative compartmental models. Artificial Intelligence in Medicine, 10:145–175, 1997.

    Article  Google Scholar 

  18. Menzies, T. and Cukic, B. Adequacy of limited testing for knowledge based systems. International Journal on Artificial Intelligence Tools (IJAIT), June 2000a.

    Google Scholar 

  19. Menzies, T. and Cukic, B. When to test less. IEEE Software, 17(5):107–112, 2000b.

    Article  Google Scholar 

  20. Menzies, T. and Cukic, B. Average case coverage for validation of AI systems. In AAAI Stanford Spring Symposium on Model-based Validation of AI Systems, 2001.

    Google Scholar 

  21. Menzies, T., Cukic, B., Singh, H. and Powell, J. Testing nondeterminate systems. In ISSRE 2000, 2000.

    Google Scholar 

  22. Menzies, T., Easterbrook, S., Nuseibeh, B. and Waugh, S. An empirical investigation of multiple viewpoint reasoning in requirements engineering. In RE’ 99, 1999.

    Google Scholar 

  23. Menzies, T. and Kiper, J. Better reasoning about software engineering activities. In ASE-2001, 2001.

    Google Scholar 

  24. Menzies, T. and Michael, C. Fewer slices of pie: Optimising mutation testing via abduction. In SEKE’ 99, Kaiserslautern, Germany, 17–19 June, 1999.

    Google Scholar 

  25. Menzies, T. and Singh, H. Many maybes mean (mostly) the same thing. In 2nd International Workshop on Soft Computing applied to Software Engineering, Netherlands, February, 2001.

    Google Scholar 

  26. Menzies, T. and Sinsel, E. Practical large scale what-if queries: Case studies with software risk assessment. In Proceedings ASE 2000, 2000.

    Google Scholar 

  27. Muscettola, N., Nayak, P. P., Pell, B. and Williams, B. Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence, 103(1–2):5–48, 1998.

    Article  Google Scholar 

  28. Nayak, P. P. and Williams B. C. Fast context switching in real-time propositional reasoning. In Proceedings of AAAI-97, 1997.

    Google Scholar 

  29. Pearce, A., Heinz, C. and Goss, S. Meeting plan recognition requirements for real-time air-mission simulations, 2000.

    Google Scholar 

  30. Roa, A. and Georgeff, M. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems, San Francisco, CA, June 1995.

    Google Scholar 

  31. Rymon, R. An se-tree-based prime implicant generation algorithm. In Annals of Math. and A.I., special issue on Model-Based Diagnosis, volume 11, 1994.

    Google Scholar 

  32. Schooff, R. and Haimes, Y. Dynamic multistage software estimation. IEEE Transactions on Systems, Man, and Cybernetics, 29(2):272–284, 1999.

    Google Scholar 

  33. Singer, J., Gent, I. P. and Smaill, A. Backbone fragility and the local search cost peak. Journal of Artificial Intelligence Research, 12:235–270, 2000.

    MathSciNet  Google Scholar 

  34. Williams, B. and Nayak, P. A model-based approach to reactive self-configuring systems. In Proceedings AAAI’ 96, 1996, pp 971–978.

    Google Scholar 

  35. Wooldridge, M. and Jennings, N. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.

    Google Scholar 

Download references

Authors
  1. Tim Menzies
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ying Hu
    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

Menzies, T., Hu, Y. (2006). Agents in a Wild World. 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_9

Download citation

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

  • 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