Negative Results for Equivalence Queries
Machine Learning
Machine Learning
Machine Learning
Learning from Different Teachers
Machine Learning
Structural Machine Learning with Galois Lattice and Graphs
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Theoretical Computer Science - Special issue: Algorithmic learning theory
Up and Down: Mining Multidimensional Sequential Patterns Using Hierarchies
DaWaK '08 Proceedings of the 10th international conference on Data Warehousing and Knowledge Discovery
DS '08 Proceedings of the 11th International Conference on Discovery Science
Mining convergent and divergent sequences in multidimensional data
International Journal of Business Intelligence and Data Mining
Positivism against constructivism: a network game to learn epistemology
DS'07 Proceedings of the 10th international conference on Discovery science
A pragmatic logic of scientific discovery
DS'06 Proceedings of the 9th international conference on Discovery Science
| Hi-index | 0.00 |
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.