Advertisement

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

  • J. A. Campbell
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2385)

Abstract

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.

Keywords

Multiagent System Autonomous Agent Computer Algebra System Numerical Taxonomy Integral Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 2.
    M. Bronstein. Symbolic Integration I: Transcendental Functions (Springer-Verlag, Berlin, 1997)zbMATHGoogle Scholar
  3. 3.
    J. A. Campbell, J. G. Kent, and R. J. Moore. B.I.T., 16, 241–259 (1976)zbMATHMathSciNetGoogle Scholar
  4. 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. 5.
    J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra Systems and Algorithms for Algebraic Computation. (Academic Press, London, 1993)zbMATHGoogle Scholar
  6. 6.
    J. Kolodner. Case-Based Reasoning (Morgan Kaufmann, Los Altos, CA, 1993)Google Scholar
  7. 7.
    S. Kraus. Strategic Negotiation in Multiagent Environments (MIT Press, Cambridge, MA, 2001)zbMATHGoogle Scholar
  8. 8.
    J. Moses. Comm. A.C.M., 14, 548–560 (1971)zbMATHMathSciNetGoogle Scholar
  9. 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. 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. 11.
    B. Peirce. A Short Table of Integrals (Ginn & Co., Boston, MA, 1957)Google Scholar
  12. 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. 13.
    R. Risch. Trans. Amer. Math. Soc., 139, 167–189 (1969)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    R. Smith. IEEE Transactions on Computers, 29, 1104–1113 (1980)CrossRefGoogle Scholar
  15. 15.
    P. A. Sneath, and R. R. Sokal. Numerical Taxonomy (Freeman, San Francisco, 1976)Google Scholar
  16. 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. 17.
  18. 18.
    G. Weiss, editor. Multiagent Systems (MIT Press, Cambridge, MA, 1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • J. A. Campbell
    • 1
  1. 1.Department of Computer ScienceUniversity College LondonLondonUK

Personalised recommendations