Abstract
This paper is an attempt to design an interaction protocol for a multi-agent learning platform to assist a human community in their task of scientific discovery. Designing tools to assist Scientific Discovery offers a challenging problematic, since the problems studied by scientists are not yet solved, and valid models are not yet available. It is therefore impossible to create a problem solver to simulate a given phenomenon and explain or predict facts. We propose to assist scientists with learning machines considered as adaptive problem solvers, to build interactively a consistent model suited for reasoning, simulating, predicting, and explaining facts.
The interaction protocol presented in this paper is based on Angluin’s “Learning from Different Teachers” [1] and we extend the original protocol to make it operational to assist scientists solve open problems. The main problem we deal with is that this learning model supposes the existence of teachers having previously solved the problem. These teachers are able to answer the learner’s queries whereas this is not the case in the context of Scientific Discovery in which it is only possible to refute a model by finding experimental processes revealing contradictions. Our first contribution is to directly use Angluin’s interaction protocol to let a machine learn a program that approximates the theory of a scientist, and to help him improve this theory. Our second contribution is to attenuate Angluin’s protocol to take into account a social cognition level during which multiple scientists interact with each other by the means of publications and refutations of rival theories. The program learned by the machine can be included in a publication to avoid false refutations coming from a wrong interpretation of the theory.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Angluin, D.: Krikis: Learning from different teachers. Machine Learning 51, 137–163 (2003)
Nobrega, G.M.D., Cerri, S.: A contradiction driven approach to theory information: Conceptual issues pragmatics in human learning, potentialities. Journal of the Brazilian Computer Society 9, 37–55 (2003)
Angluin, D.: Queries and concept learning. Machine Learning 2, 319–342 (1988)
Angluin, D.: Queries revisited. Theoretical Computer Science 313, 175–194 (2004)
Popper, K.R.: Conjectures and Refutations: The Growth of Scientific Knowledge. Harper and Row (1963)
Cavaillès, J.: Sur la logique et la théorie de la science. Librairie Philosophique J. VRIN (1997)
Beziau, J.Y.: La logique paraconsistante. Logiques classiques et non classiques, essai sur les fondements de la logique (1997)
Nakamatsu, K., Kato, T., Suzuki, A.: Basic ideas of defeasible deontic traffic signal control based on a paraconsistent logic program evalpsn. Advances in Intelligent Systems and Robotics (2003)
Angluin, D.: Negative results for equivalence queries. Machine Learning 5, 121–150 (1990)
Blum, L.: Blum: Toward a mathematical theory of inductive inference. Inform. Control 28(2), 125–155 (1975)
Gold, E.: language identification in the limit. Inform. Control 10, 447–474 (1967)
Sallantin, J.: La découverte scientifique assistée par des agents rationnels. Revue des sciences et technologie de l’information, 15–30 (2003)
Liquière, M.: Structural machine learning with galois lattice and graphs. In: International Conference on Machine Learning - ICML (1998)
Chavalarias, D.: La thèse de Popper est-elle réfutable? Memoire de dea, CREA - CNRS/Ecole Polytechnique (1997)
Gardner, M.: Mathematical games. Scientific American (1959)
Cole, M., Engeström, Y.: A cultural historical approach to distributed cognition. Distributed Cognition, 1–46 (1993)
Garland, A., Alterman, R.: Multiagent learning through collective memory. In: Adaptation, Coevolution and Learning in Multiagent Systems: Papers from the 1996 AAAI Spring Symposium, pp. 33–38 (1996)
Dunbar, K.: How scientists really reason: Scientific reasoning in real-world laboratories. Mechanisms of Insight (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dartnell, C., Sallantin, J. (2005). Assisting Scientific Discovery with an Adaptive Problem Solver. In: Hoffmann, A., Motoda, H., Scheffer, T. (eds) Discovery Science. DS 2005. Lecture Notes in Computer Science(), vol 3735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11563983_10
Download citation
DOI: https://doi.org/10.1007/11563983_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29230-2
Online ISBN: 978-3-540-31698-5
eBook Packages: Computer ScienceComputer Science (R0)