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.
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
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)
M. Bronstein. Symbolic Integration I: Transcendental Functions (Springer-Verlag, Berlin, 1997)
J. A. Campbell, J. G. Kent, and R. J. Moore. B.I.T., 16, 241–259 (1976)
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)
J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra Systems and Algorithms for Algebraic Computation. (Academic Press, London, 1993)
J. Kolodner. Case-Based Reasoning (Morgan Kaufmann, Los Altos, CA, 1993)
S. Kraus. Strategic Negotiation in Multiagent Environments (MIT Press, Cambridge, MA, 2001)
J. Moses. Comm. A.C.M., 14, 548–560 (1971)
H. P. Nii. Blackboard Systems: The Blackboard Model, Problem Solving and the Evolution of Blackboard Architecture. AI Magazine, 38–53 (August 1986)
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)
B. Peirce. A Short Table of Integrals (Ginn & Co., Boston, MA, 1957)
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)
R. Risch. Trans. Amer. Math. Soc., 139, 167–189 (1969)
R. Smith. IEEE Transactions on Computers, 29, 1104–1113 (1980)
P. A. Sneath, and R. R. Sokal. Numerical Taxonomy (Freeman, San Francisco, 1976)
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)
A TILU Web site is at http://torte.cs.berkeley.edu:8010/tilu
G. Weiss, editor. Multiagent Systems (MIT Press, Cambridge, MA, 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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. https://doi.org/10.1007/3-540-45470-5_12
Download citation
DOI: https://doi.org/10.1007/3-540-45470-5_12
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