A Service-Based Agent Framework for Distributed Symbolic Computation
We present Okeanos, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent’s behaviour can be controlled individually by a rule-based knowledge component, and cooperation between agents is supported through the exchange of messages at common meeting points (agent lounges). We suggest this general scheme as a new parallelization paradigm for Symbolic Computation, and demonstrate its applicability by an agent-based parallel implementation of a satisfiability (SAT) checker.
KeywordsMobile Agent Symbolic Computation Code Size Calculation Service Unit Clause
Unable to display preview. Download preview PDF.
- 4.M. Fayad and D. Schmidt. Object-Oriented Application Frameworks. Communications of the ACM, 40(10), October 1997.Google Scholar
- 5.T. Finn, Y. Labrou, and J. Mayfield. KQML as an Agent Communication Language. In J.M. Bradshaw, editor, Software Agents, pages 291–316. MIT Press, 1997.Google Scholar
- 6.E.J. Friedman-Hill. Jess, The Java Expert System Shell. Available at the URL: http://herzberg.ca.sandia.gov/jess/, 1999.
- 7.M.R. Genesereth. An Agent-Based Framework for Interoperability. In J.M. Bradshaw, editor, Software Agents, pages 317–345. MIT Press, 1997.Google Scholar
- 8.M. Ghanea-Hercock, J.C. Collis, and D.T. Ndumu. Heterogenous Mobile Agents for Distributed Processing. In Proceedings of the Third International Conference on Autonomous Agents (Agents’ 99), May 1999. (Workshop on Agent-based Highperformance Computing, Seattle, USA).Google Scholar
- 10.R. Johnson and B. Foote. Designing Reusable Classes. Object-Oriented Programming, 1(2):22–35, 1988.Google Scholar
- 11.R. Johnson and V. Russo. Reusing Object-Oriented Design. Technical Report 91-1996, University of Illinois, 1991.Google Scholar
- 12.H. Kautz and B. Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996.Google Scholar
- 13.E.A. Kendall and M.T. Malkoun. The Layered Agent Patterns. Available at the URL: http://www.cse.rmit.edu.au/~rdsek/, 1997.
- 14.G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, J.-M. Loingtier C. Lopes, and J. Irwin. Aspect-Oriented Programming. Technical Report SPL97-008 P9710042, XEROX Palo Alto Res. Center, February 1997.Google Scholar
- 15.W. Küchlin and C. Sinz. Proving Consistency Assertions for Automotive Product Data Management. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 145–163. Kluwer Academic Publishers, Feb. 2000.Google Scholar
- 16.F. Massacci and L. Marraro. Logical Cryptoanalysis as a SAT Problem. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 165–203. Kluwer Academic Publishers, Feb. 2000.Google Scholar
- 18.R. Schimkat, S. Müller, W. Küchlin, and R. Krautter. A Lightweight, Message-Oriented Application Server for the WWW. In ACM 2000 Symposium on Applied Computing, Como, Italy, March 2000. Association for Computing Machinery.Google Scholar