Skip to main content
SpringerLink
Log in

Reasoning about concurrent actions in multi-agent systems

  • Notes
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Concurrence is an important research area in collaborative problem solving. This paper offers a formal definition for cooperative sequences in multi-agent systems, discusses the different categories of concurrent actions, and proposes some rules for situation revision and an algorithm used to generate resulting situations. An example is also given to show how to solve concurrent problems occurring in multi-agent systems.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Wooldridge M. A knowledge-theoretic semantics for concurrent METATEM. InIntelligent Agents III —Proceedings of the Third International Workshop on Agent Theories, Muller J P, Wooldridge M J, Jennings N R (eds.), Springer-Verlag, Heidelberg, 1997, pp. 341–356.

    Google Scholar 

  2. Lin F, Shoham Y. Provably correct theories of action.Journal of ACM, March 1995, 42(2): 293–320.

    Article  MATH  MathSciNet  Google Scholar 

  3. Kowalski R A, Sergot M J. A logic-based calculus of events.New Gen. Comput., 1986, 4: 67–95.

    Article  Google Scholar 

  4. Murray S. A circumscriptive calculus of events.Artificial Intelligence, 1995, 77: 249–284.

    Article  MATH  MathSciNet  Google Scholar 

  5. Cohen P R, Cheyer A, Wang M, Baeg S C. An open agent architecture. InAAAI Spring Symposium, March 1994, pp. 1–8.

  6. Katia Sycara, Keith Decker, Anandeep Pannu, Mike Williamson, Dajun Zeng. Distributed intelligent agents.IEEE Expert, December 1996, 11(6): 36–46.

    Article  Google Scholar 

  7. Michael L, Nathan G, Mark I. From agent theory to agent construction: A case study. InIntelligent Agents III—Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, Muller J P, Wooldridge M J, Jennings N R (eds.), pp. 49–63. Springer-Verlag, Heidelberg, 1997.

    Google Scholar 

  8. Wooldridge M, Jennings N R. Intelligent agents: Theory and practice.Knowledge Engineering Review, 1995, 10(2).

  9. Jennings N R, Wooldridge M. Software Agents.IEE, Review, January 1996, 42(1): 17–21.

    Article  Google Scholar 

  10. Ginsberg M L, Smith D E. Reasoning action I: A possible worlds approach.Artificial Intelligence, 1988, 35(1): 165–195.

    Article  MATH  MathSciNet  Google Scholar 

  11. Soutchanski M, Ternovskaia E. Logical formalization of concurrent actions for multi-agent systems. InIntelligent Agents—ECAI-94 Workshop on Agent Theories, Architectures, and Languages (ATAL-94), LNAI 890, Wooldridge M J, Jennings N R (eds.), pp. 129–144, Spring-Verlag, Heidelberg, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Nanjing University, 210093, Nanjing, P. R. China

    Fan Xiaocong, Xu Dianxiang, Hou Jianmin & Zheng Guoliang

Authors
  1. Fan Xiaocong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xu Dianxiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hou Jianmin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Zheng Guoliang
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

FAN Xiaocong was born in 1972. He received the M.S. degree in computer software engineering in 1996, and the Ph.D. degree in computer science from Nanjing University in 1999. His main research areas include software agent, multi-agent systems, software engineering.

XU Dianxiang was born in 1967. He received the Ph.D. degree in computer science from Nanjing University in 1995. He is an Associated Professor at Nanjing University. His main research areas include logic programming, software agent, knowledge engineering.

HOU Jianmin was born in 1967. He received the Ph.D. degree in computer science from Nanjing University in 1999. His main research areas include model checking, real-time system verification.

ZHENG Guoliang was born in 1937, Professor. He received the B.S. degree in mathematics from Nanjing University in 1961. His main research areas include software engineering and knowledge engineering.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fan, X., Xu, D., Hou, J. et al. Reasoning about concurrent actions in multi-agent systems. J. Comput. Sci. & Technol. 14, 422–428 (1999). https://doi.org/10.1007/BF02948746

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948746

Keywords

Search

Navigation