Skip to main content

Indefinite Integration as a Testbed for Developments in Multi-agent Systems

  • Conference paper
  • First Online:
Artificial Intelligence, Automated Reasoning, and Symbolic Computation (AISC 2002, Calculemus 2002)


Coordination of multiple autonomous agents to solve problems that require each of them to contribute their limited expertise in the construction of a solution is often ensured by the use of numerical methods such as vote-counting, payoff functions, game theory and economic criteria. In areas where there are no obvious numerical methods for agents to use in assessing other agents’ contributions, many questions still remain open for research. The paper reports a study of one such area: heuristic indefinite integration in terms of agents with different single heuristic abilities which must cooperate in finding indefinite integrals. It examines the reasons for successes and lack of success in performance, and draws some general conclusions about the usefulness of indefinite integration as a field for realistic tests of methods for multi-agent systems where the usefulness of “economic” criteria is limited. In this connection, the role of numerical taxonomy is emphasised.

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

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. C. Benzemüller, and V. Sorge. Critical Agents Supporting Interactive Theorem Proving. In Progress in Artificial Intelligence, eds. P. Barahona and J. J. Alferes, 208–221 (Springer-Verlag, Berlin, 1999)

    Chapter  Google Scholar 

  2. M. Bronstein. Symbolic Integration I: Transcendental Functions (Springer-Verlag, Berlin, 1997)

    MATH  Google Scholar 

  3. J. A. Campbell, J. G. Kent, and R. J. Moore. B.I.T., 16, 241–259 (1976)

    MATH  MathSciNet  Google Scholar 

  4. A. Cardon, and C. Moulin. Adaptation of a Learning System to the Student’s Behaviour. Paper No. 185, PSI-LIRINSA, INSA de Rouen, Mont Saint-Aignan, France (1996)

    Google Scholar 

  5. J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra Systems and Algorithms for Algebraic Computation. (Academic Press, London, 1993)

    MATH  Google Scholar 

  6. J. Kolodner. Case-Based Reasoning (Morgan Kaufmann, Los Altos, CA, 1993)

    Google Scholar 

  7. S. Kraus. Strategic Negotiation in Multiagent Environments (MIT Press, Cambridge, MA, 2001)

    MATH  Google Scholar 

  8. J. Moses. Comm. A.C.M., 14, 548–560 (1971)

    MATH  MathSciNet  Google Scholar 

  9. H. P. Nii. Blackboard Systems: The Blackboard Model, Problem Solving and the Evolution of Blackboard Architecture. AI Magazine, 38–53 (August 1986)

    Google Scholar 

  10. A. Pease, S. Colton, A. Smaill, and J. Lee. = A Multi-Agent Approach to Modelling Interaction in Human Mathematical Reasoning. Report EDI-INF-RR-0056, Division of Informatics, University of Edinburgh, Scotland (2001)

    Google Scholar 

  11. B. Peirce. A Short Table of Integrals (Ginn & Co., Boston, MA, 1957)

    Google Scholar 

  12. A. S. Rao, and M. P. Georgeff. Modeling Rational Agents with a BDI-Architecture. In Principles of Knowledge Representation and Reasoning, eds. J. Allen, R. Fikes, and E. Sandewall, 473–484 (Morgan Kaufmann, San Mateo, CA, 1991)

    Google Scholar 

  13. R. Risch. Trans. Amer. Math. Soc., 139, 167–189 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  14. R. Smith. IEEE Transactions on Computers, 29, 1104–1113 (1980)

    Article  Google Scholar 

  15. P. A. Sneath, and R. R. Sokal. Numerical Taxonomy (Freeman, San Francisco, 1976)

    Google Scholar 

  16. V. Tarasov. Applying Intelligent Agent Technology to Create Instruction Programs. Proc. FIPW’297-98: Developments in Distributed Systems and Data Communications, 190–204 (Petrozavodsk, Russia, 1998)

    Google Scholar 

  17. A TILU Web site is at

  18. G. Weiss, editor. Multiagent Systems (MIT Press, Cambridge, MA, 1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Campbell, J.A. (2002). Indefinite Integration as a Testbed for Developments in Multi-agent Systems. In: Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., Sorge, V. (eds) Artificial Intelligence, Automated Reasoning, and Symbolic Computation. AISC Calculemus 2002 2002. Lecture Notes in Computer Science(), vol 2385. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43865-6

  • Online ISBN: 978-3-540-45470-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics