ABSTRACT
Multiagent algorithms are widely used in computational economics and other social sciences to solve theoretical and practical problems. Because such algorithms are inherently concurrent and multithreaded, Ada's constructs for handling communications between concurrent processes and avoiding interference between them make the language very well suited to solving these problems, particularly given developments in multi-core CPU chip-making. This paper provides a concrete example of how Ada assists in solving problems in computational economics and related disciplines that work with multiagent systems. Solving a simple problem illustrates visualizing the agents as Ada tasks, using UML use cases and synchronization diagrams to design the communications patterns between agents, and applying protected objects and functions to avoid computational indeterminacy.
- Shoham, Y. and Leyton-Brown, K., 2009: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations, Cambridge University Press. Google Scholar
Digital Library
- Kendrick, D. A., Mercado, P. R., and Amman, H. M., 2006: Computational Economics, Princeton University Press.Google Scholar
- Weitzel, T., 2004: Economics of Standards in Information Networks, Physica-Verlag. Google Scholar
Digital Library
- Chamley, C. P., 2004: Rational Herds, Economic Models of Social Learning, Cambridge University Press.Google Scholar
- Tesfatsion, T., 2009: Agent-Based Computational Economics: Growing Economies from the Bottom Up, available at http://www.econ.iastate.edu/tesfatsi/ace.eduGoogle Scholar
- Burns, A. and A. Wellings, A., 1998:, Concurrency in Ada, 2nd ed., Cambridge University Press. Google Scholar
Digital Library
- Cormen, T. H., Leiserson, C. E., and Rivest, R. L., 1997: Introduction to Algorithms, MIT Press. Google Scholar
Digital Library
- Booch, G., Rumbaugh, J., and Jacobson, I., 1999: The Unified Modeling Language User Guide, Addison Wesley Longman. Google Scholar
Digital Library
- Rumbaugh, J., Jacobson, I., and Booch, G., 1999: The Unified Modeling Language Reference Manual, Addison Wesley Longman. Google Scholar
Digital Library
- Douglass, B. P., 1998: Real-Time UML: Developing Efficient Objects for Embedded Systems, 1st edition, Addison Wesley Longman. Google Scholar
Digital Library
- Cohen, N. H., 1996: Ada as a Second Language, 2nd edition, McGraw-Hil. Google Scholar
Digital Library
- Sedgewick, R., 1998: Algorithms, 2nd edition, Addison-Wesley. Google Scholar
Digital Library
- Davis, R. and Smith, R. G., 1983: Negotiation as a metaphor for distributed problem solving, Artificial Intelligence, 20, 63--109.Google Scholar
Cross Ref
- Leontief, W., 1986: Input-Output Economics, 2nd edition, Oxford University Press.Google Scholar
Index Terms
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms
Recommendations
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms
SIGAda '09Multiagent algorithms are widely used in computational economics and other social sciences to solve theoretical and practical problems. Because such algorithms are inherently concurrent and multithreaded, Ada's constructs for handling communications ...
The theory of deadlock avoidance via discrete control
POPL '09Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This paper presents a theoretical foundation for dynamic deadlock avoidance in ...
The theory of deadlock avoidance via discrete control
POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesDeadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This paper presents a theoretical foundation for dynamic deadlock avoidance in ...







Comments