Skip to main content

Agent Networks: Topological and Clustering Characterization

  • Chapter
Intelligent Technologies for Information Analysis

Abstract

In this chapter, we will introduce the notion of an agent network and its topology. Further, we will show how to model the computational complexity of distributed problem solving by means of studying the topological and clustering characteristics of agent networks formed by multi-agent systems. Specifically, we will examine two multi-agent-based representations for satisfiability problems (SATs), i.e., agents representing clauses and agents representing variables, and experimentally characterize the topologies of the resulting agent networks. Based on the experimental results, we will study how different topologies reflect the computational complexities of agent networks, and further discuss how to balance complexities in intra- and inter-agent computations. In the above studies, random agent networks are used to compare with real-world agent networks. Particularly, the clustering characteristic is one of the properties used to differentiate between real-world agent networks and random agent networks. In order to provide a quantitative measurement for characterizing random agent networks, we will study their clustering characteristics, focusing on the average value and lower bounds of clustering coefficients.

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

Access this chapter

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. http://www.intellektik.informatik.tu-darmstadt.de/satlib/

    Google Scholar 

  2. L. A. Adamic: The small world Web. In: Proceedings of European Conference on Digital Libraries (ECDL’99), volume 1696 of LNCS (Springer, 1999 ) pp. 443–452

    Google Scholar 

  3. J. M. Crawford, L. D. Anton: Experimental results on the crossover point in random 3SAT. Artificial Intelligence, 81 (1–2), 31–57 (1996)

    Article  MathSciNet  Google Scholar 

  4. M. Davis, G. Logemann, D. Loveland: A machine program for theorem proving. Communications of the ACM, 5, 394–397 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  5. M. Davis, H. Putname: A computing procedure for quantification theory. Journal of the ACM, pp. 201–15 (1960)

    Google Scholar 

  6. J. Gu: Efficient local search for very large-scale satisfiability problem. SIGART Bulletin, 3, 8–12 (1992)

    Article  Google Scholar 

  7. K. Hirayama, M. Yokoo: Local search for distributed SAT with complex local problems. In: Proceedings of the First International Joint Conference on Autonomous Agent and Multiagent Systems (AAMAS 2002), Bologna, Italy, 7 2002 pp. 1199–1206

    Google Scholar 

  8. E. A. Hirsch, A. Kojevnikov: Solving boolean satisfiability using local search guided by unit clause elimination. In: Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP’01), 2001

    Google Scholar 

  9. E. A. Hirsch, A. Kojevnikov: Unitwalk: A new SAT solver that uses local search guided by unit clause elimination. In: Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002) pp. 35–42 (2002)

    Google Scholar 

  10. X. Jin, J. Liu: Multiagent SAT (MASSAT): Autonomous pattern search in constrained domains. In: Proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning (IDEAL’02), 2412 of LNCS pp. 318–328 (2002)

    Google Scholar 

  11. B.J.B. Jr., R.C. Schrag: Using CSP look-back techniques to solve real-world SAT instances. In: Proceedings of the fourteenth National Conference on Artificial Intelligence (AAAI-97) pp. 203–208 (1997)

    Google Scholar 

  12. C. M. Li, Anbulagan: Look-ahead versus look-back for satisfiability problems. In: Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP’97) pp. 341–345 (1997)

    Chapter  Google Scholar 

  13. J. Liu, X. Jin, J. Han: Distributed problem solving without communication - An examination of computationally hard satisfiability problems. International Journal of Pattern Recognition and Artificial Intelligence, 16 (8) (2002)

    Google Scholar 

  14. J. Liu, H. Jing, Y.Y. Tang: Multi-agent oriented constraint satisfaction. Artificial Intelligence, 136, 101–144 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  15. J. P. Marques-Silva, K. A. Sakallah: Grasp - A new search algorithm for satisfiability. In: Proceedings of IEEE/ACM International Conference on Computer-Aided Design, 1996

    Google Scholar 

  16. D. McAllester, B. Selman, H. Levesque: Evidence for invariants in local search. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI’97) pp. 321–326 (1997)

    Google Scholar 

  17. S. Milgram: The small world problem. Psychology Today, 2, 60–67, (1967)

    Google Scholar 

  18. J.M. Montoya, R.V. Sole: Small world patterns in food webs (2000)

    Google Scholar 

  19. D. Schuurmans, F. Southey: Local search characteristics of incomplete SAT procedures. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000) pp. 297–302 (2000)

    Google Scholar 

  20. D. Schuurmans, F. Southey: Local search characteristics of incomplete SAT procedures. Artificial Intelligence, 132 (2), 121–150 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  21. B. Selman, H. A. Kautz, B. Cohen: Noise strategies for improving local search. In: Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI’94) pp. 337–343, 1994

    Google Scholar 

  22. B. Selman, H. Levesque, D. Mitchell: A new method for solving hard satisfiability problems. In: Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI’92) pp. 440–446 (1992)

    Google Scholar 

  23. T. Walsh: Search in a small world. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), 1999

    Google Scholar 

  24. D.J. Watts, S.H. Strogatz: Collective dynamics of small world networks. Nature, 393, 440–442 (1998)

    Article  Google Scholar 

  25. M. Yokoo, K. Hirayama: Algorithms for distributed constraint satisfaction: A review. Autonomous Agents and Multi-Agent Systems, 3 (2), 198–212 (2000)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Jin, X., Liu, J. (2004). Agent Networks: Topological and Clustering Characterization. In: Intelligent Technologies for Information Analysis. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07952-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-07952-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-07378-6

  • Online ISBN: 978-3-662-07952-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics