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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
http://www.intellektik.informatik.tu-darmstadt.de/satlib/
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
J. M. Crawford, L. D. Anton: Experimental results on the crossover point in random 3SAT. Artificial Intelligence, 81 (1–2), 31–57 (1996)
M. Davis, G. Logemann, D. Loveland: A machine program for theorem proving. Communications of the ACM, 5, 394–397 (1962)
M. Davis, H. Putname: A computing procedure for quantification theory. Journal of the ACM, pp. 201–15 (1960)
J. Gu: Efficient local search for very large-scale satisfiability problem. SIGART Bulletin, 3, 8–12 (1992)
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
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
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)
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)
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)
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)
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)
J. Liu, H. Jing, Y.Y. Tang: Multi-agent oriented constraint satisfaction. Artificial Intelligence, 136, 101–144 (2002)
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
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)
S. Milgram: The small world problem. Psychology Today, 2, 60–67, (1967)
J.M. Montoya, R.V. Sole: Small world patterns in food webs (2000)
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)
D. Schuurmans, F. Southey: Local search characteristics of incomplete SAT procedures. Artificial Intelligence, 132 (2), 121–150 (2001)
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
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)
T. Walsh: Search in a small world. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), 1999
D.J. Watts, S.H. Strogatz: Collective dynamics of small world networks. Nature, 393, 440–442 (1998)
M. Yokoo, K. Hirayama: Algorithms for distributed constraint satisfaction: A review. Autonomous Agents and Multi-Agent Systems, 3 (2), 198–212 (2000)
Author information
Authors and Affiliations
Rights 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