HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Assisting Scientific Discovery with an Adaptive Problem Solver

Christopher Dartnell 1 Jean Sallantin 2
2 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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" 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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

Contributor : Christopher Dartnell Connect in order to contact the contributor
Submitted on : Wednesday, December 13, 2006 - 12:03:25 AM
Last modification on : Friday, October 22, 2021 - 3:07:33 PM
Long-term archiving on: : Thursday, September 20, 2012 - 3:51:36 PM


  • HAL Id : lirmm-00120022, version 1



Christopher Dartnell, Jean Sallantin. Assisting Scientific Discovery with an Adaptive Problem Solver. DS'05: Discovery Science, Oct 2005, pp.99-112. ⟨lirmm-00120022⟩



Record views


Files downloads