Skip to main content
SpringerLink
Log in
Book cover

Agent Technology from a Formal Perspective pp 99–137Cite as

A Process-Algebraic Agent Abstraction

  • Chapter

  • 352 Accesses

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. Alexander, H. Formally-Based Tools and Techniques for Human-Computer Dialogues, ???E. Horwood, Chichester, U. K. 1987.

    Google Scholar 

  2. Bardram, J. E. Plans as Situated Action: An Activity Theory Approach to Workflow Systems. In Proceedings ECSCW’97 Conference, Lancaster, U.K., 1997.

    Google Scholar 

  3. Bratman, M. What is Intention? In Intentions in Communication, P. R. Cohen, J. Morgan, and M. E. Pollack (eds.). The MIT Press, Cambridge, MA. 1990, pp. 15–31.

    Google Scholar 

  4. Bratman, M., Israel, D. I. and Pollack, M. E. Plans and Resource-Bounded Practical Reasoning. Computational Intelligence, 4:349–355, 1988.

    Google Scholar 

  5. Brown, B. High-Level Petri Nets for Modeling Multi-Agent Systems. MS project report, Dept. of Computer Science, North Carolina A&T State University, Greensboro, NC, 1998.

    Google Scholar 

  6. Bruns, G. Distributed Systems Analysis with CCS, Prentice-Hall, Englewood Cliffs, NJ. 1997.

    Google Scholar 

  7. Burge, J. and Esterline, A. C. Using Modal Logics to Model Societies of Agents. In Proceedings IC-AI’2000, Las Vegas, NV, 2000.

    Google Scholar 

  8. Clark, H. H. Using Language, Cambridge University Press, Cambridge. 1996.

    Google Scholar 

  9. Cleaveland, R., Parrow, J., and Steffan, B. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM TOPLAS, 15(1):36–76, January 1993.

    Article  Google Scholar 

  10. Dennet, D. C. True Believers: The Intentional Strategy and Why It Works. In The Intentional Stance, D.C. Dennett. The MIT Press, Cambridge, MA. 1987, pp. 13–35.

    Google Scholar 

  11. Dix, A., Finlay, J., Abowd, G. and Beale, R. Human-Computer Interaction (2nd ed.), Prentice Hall, Hertfordshire, U.K. 1998.

    Google Scholar 

  12. Formal Systems, Failures-Divergences Refinement: FDR2 User Manual. Formal Systems (Europe) Ltd., 1992–97.

    Google Scholar 

  13. Fujinami, T. A Process Algebraic Approach to Computational Linguisitcs. Center for Cognitive Science, University of Edinburgh, 1996.

    Google Scholar 

  14. Gibson, J. J., The Ecological Approach to Visual Perception, Boston: Houghton Mifflin, 1979.

    Google Scholar 

  15. Grubb, T. GenSAA Interface Agent—GIFA. NASA/Goddard Space Flight Center, Greenbelt, MD, 1997.

    Google Scholar 

  16. Haddadi, A. and Sundermeyer, K. Belief-Desire-Intention Agent Architectures. In Foundations of Distributed Artificial Intelligence, G. M. P. O’Hare and N. R. Jennings (eds.). Wiley, New York. 1996, pp. 169–185.

    Google Scholar 

  17. Heath, C. and Luff, P. Technology in Action, Cambridge University Press, Cambridge. 2001.

    Google Scholar 

  18. Heritage, J., Garfinkel and Ethnomethodology, Polity Press, Cambridge. 1984.

    Google Scholar 

  19. Hinds, O. and Esterline, A. Joint Activity Coordination and Common Knowledge in Multi-agent/Multi-person Environments. In Proc. 5th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, 2001.

    Google Scholar 

  20. Hoare, C. A. R. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ. 1985.

    Google Scholar 

  21. Hosler, J. LOGOS PAGER Agent. ???NASA/Goddard Space Flight Center, Greenbelt, MD, 1997.

    Google Scholar 

  22. Huhns, M. N. and Stephens, L. M. Multiagent Systems and Societies of Agents. In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, G. Weiss (ed.). The MIT Press, Cambridge, MA. 1999, pp. 79–120.

    Google Scholar 

  23. Jennings, N. R. Specification and Implementation of a Belief-Desire-Joint-Intention Architecture for Collaborative Probem Solving. Int. Journal of Cognitive Information Systems, 2(3):289–318, 1993.

    Google Scholar 

  24. Khosla, S. and Maibaum, T. S. E. The Prescription and Description of State Based Systems. In Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli (eds.). Springer-Verlag, Berlin. 1987, pp. 243–294.

    Google Scholar 

  25. Labrou, Y. and Finin, T. Semantics and Conversations for an Agent Communication Language. In Readings in Software Agents, M. Huhns and M. Singh (eds.). Morgan Kaufmann, San Francisco. 1998, pp. 235–42.

    Google Scholar 

  26. Liu, Y. and Esterline A. C. Prima Facie Obligations and a Deontic Transaction Model for Multiagent Systems. In Proc. IEEE SoutheastCon 2000, Nashville, TN, April 2000.

    Google Scholar 

  27. LOGOS Development Team, Advanced Architectures and Automation Branch. LOGOS Requirements & Design Document. ???NASA/Goddard Space Flight Center, Greenbelt, MD, 1997.

    Google Scholar 

  28. Manna, Z. and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York. 1992.

    Google Scholar 

  29. Milner, R. Communication and Concurrency, Prentice-Hall, New York. 1989.

    Google Scholar 

  30. Milner, R. The Polyadic π-Calculus: a Tutorial. In Logic and Algebra for Specification, F. L. Bauer, W. Braueer, and H. Schwichtenberg (eds.). Springer-Verlag, Berlin. 1993, pp. 203–246.

    Google Scholar 

  31. Milner, R. Communicating and Mobile Systems: The π-calculus, Cambridge University Press, Cambridge. 1999.

    Google Scholar 

  32. Milner, R., Parrow, J. and Walker, D. A Calculus of Mobile Processes, Parts I and II. Journal of Information and Computation, 100:1–77, 1992.

    MathSciNet  Google Scholar 

  33. Mosley, K. and Esterline, A. Modeling Societies of Agents and Users Using CSP. In Proc. 5th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, 2001.

    Google Scholar 

  34. NASA Intelligent Systems Program, Intelligent Systems Program Plan. NASA Ames Research Center, Moffett Field, CA, 2000.

    Google Scholar 

  35. Olderog, E. R. Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship, Cambridge University Press, Cambridge. 1991.

    Google Scholar 

  36. Rash, J. LOGOS FIRE Agent Concept & Design: Fault Isolation Resolution Expert Agent. ???NASA/Goddard Space Flight Center, Greenbelt, MD, 1997.

    Google Scholar 

  37. Rouff, C. User Interface Agent. NASA/Goddard Space Flight Center, Greenbelt, MD, 1997.

    Google Scholar 

  38. Sangiorgi, D. and Walker, D. The π-Calculus: A Theory of Mobile Processes, Cambridge University Press, Cambridge. 2001.

    Google Scholar 

  39. Singh, M. P. A Semantics for Speech Acts. In Readings in Software Agents, M. N. Huhns and M. P. Singh (eds.). Morgan Kaufmann, San Francisco. 1998, pp. 458–470.

    Google Scholar 

  40. Singh, M. P., Rao, A. S. and Georgeff, M. P. Formal Methods in DAI: Logic-Based Representation and Reasoning, In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, G. Weiss (ed.). The MIT Press, Cambridge, MA. 1999, pp. 331–376.

    Google Scholar 

  41. Suchman, L. A. Plans and Situated Actions: The Problem of Human-Machine Communication, Cambridge University Press, New York. 1987.

    Google Scholar 

  42. Tretyakova, Y. and Esterline, A. C. The Logic of Action in the Deontic Transaction Model. In Proc. IEEE SoutheastCon 2000, Nashville, TN, April 2000.

    Google Scholar 

  43. Truszkowski, W. and Rouff, C. An Overview of the NASA LOGOS and ACT Agent Communities. In Proc. World Multiconference on Systems, Cybernetics and Informatics, Orlando, FL, July, 2001.

    Google Scholar 

  44. Truszkowski, W. and Hallock, H. Agent Technology from a NASA Perspective. In CIA-99, Third International Workshop on Cooperative Information Agents, Uppsala, Springer-Verlag, Berlin, 1999.

    Google Scholar 

  45. Victor, B. and Moller, F. The Mobility Workbench—A Tool for the π-Calculus. Technical Report DoCS 94/45, Dept. of Computer Sci., Uppsala University, Sweden, 1994.

    Google Scholar 

  46. Victor, B. The Mobility Workbench User’s Guide, Polyadic Version 3.122, University of Uppsala, Sweden. 1995. ftp.docs.uu.se/pub/mwb/guide-3.122.ps.gz.

    Google Scholar 

  47. Wooldridge, M. Intelligent Agents. In Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, G. Weiss (ed.). The MIT Press, Cambridge, MA. 1999, pp. 27–77.

    Google Scholar 

  48. Wu, X., Cox, B. D. and Esterline, A. C. Representing and Interpreting Multiagent Plans with Statecharts. In Proc. WAC 2000, Maui, Hawaii, 2000.

    Google Scholar 

Download references

Authors
  1. Albert Esterline
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toinette Rorie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abdollah Homaifar
    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

Esterline, A., Rorie, T., Homaifar, A. (2006). A Process-Algebraic Agent Abstraction. 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_4

Download citation

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

  • 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