Skip to main content
SpringerLink
Log in

On Formal Modeling of Agent Computations

  • 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:

Abstract

This paper describes a comparative study of three formal methods for modeling and validating agent systems. The study is part of a joint project by researchers in MIT’s Theory of Distributed Systems research group and NTT’s Cooperative Computing research group. Our goal is to establish a mathematical and linguistic foundation for describing and reasoning about agent-style systems.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

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. T. Araragi. Agent programming and its formal verification (in Japanese), technical report ai99-47, pp. 47–54. Technical report, The Institute of Electronics, Information and Communication Engineers, 1999.

    Google Scholar 

  2. T. Araragi, P. Attie, I. Keidar, K. Kogure, V. Luchangco, N. Lynch, and K. Mano. On Formal Modeling of Agent Computations. Tech. Report, MIT Lab. for Comp. Sci. Url: http://theory.lcs.mit.edu/.idish/Abstracts/agents-compare.html

  3. P.C. Attie and N.A. Lynch. A formal model for dynamic computation. Tech. report, MIT Lab. for Computer Science. To appear.

    Google Scholar 

  4. E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244–263, Apr. 1986.

    Google Scholar 

  5. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Mass., 1995.

    MATH  Google Scholar 

  6. E. Horita and K. Mano. Nepi2: a two-level calculus for network programming based on the π-calculus. In Proc. 3rd Asian Computing Science Conference (ASIAN’97). Springer LNCS 1345, 1997.

    Google Scholar 

  7. N. A. Lynch and M. R. Tuttle. An introduction to input/output automata. CWI-Quarterly, 2(3):219–246, Sep. 1989. Also MIT/LCS/TM-373, Nov. 1988.

    Google Scholar 

  8. R. Milner. Communicating and mobile systems: the π-calculus. Addison-Wesley, Reading, Mass., 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NTT Communication Science Laboratories, 2-4 Hikaridai Seika-cho Soraku-gun, Kyoto, 619-0237, Japan

    Tadashi Araragi, Kiyoshi Kogure & Ken Mano

  2. MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA, 02139, USA

    Paul Attie, Idit Keidar, Victor Luchangco & Nancy Lynch

  3. College of Computer Science, Northeastern University, Cullinane Hall, 360 Huntington Avenue, Boston, Massachusetts, 02115

    Paul Attie

Authors
  1. Tadashi Araragi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Attie
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Idit Keidar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kiyoshi Kogure
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Victor Luchangco
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Nancy Lynch
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Ken Mano
    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

Araragi, T. et al. (2001). On Formal Modeling of Agent Computations. 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_4

Download citation

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

  • 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