Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Discrete Mathematics - First Japan Conference on Graph Theory and Applications
Algorithm to generate reaction pathways for computer-assisted elucidation
Journal of Computational Chemistry
DENDRAL: a case study of the first expert system for scientific hypothesis formation
Artificial Intelligence
Algorithm to test the structural plausibility of a proposed elementary reaction
Journal of Computational Chemistry
Algorithm to infer the structures of molecular formulas within a reaction pathway
Journal of Computational Chemistry
Machine discovery in chemistry: new results
Artificial Intelligence
A new theorem in particle physics enabled by machine discovery
Artificial Intelligence
The KDD process for extracting useful knowledge from volumes of data
Communications of the ACM
Scientific discovery and simplicity of method
Artificial Intelligence - Special issue on scientific discovery
An interactive system for finding complementary literatures: a stimulus to scientific discovery
Artificial Intelligence - Special issue on scientific discovery
Induction and the discovery of the causes of scurvy: a computational reconstruction
Artificial Intelligence - Special issue on scientific discovery
Artificial Intelligence - Special issue on scientific discovery
ReTAX: a step in the automation of taxonomic revision
Artificial Intelligence - Special issue on scientific discovery
A computational approach to George Boole's discovery of mathematical logic
Artificial Intelligence - Special issue on scientific discovery
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Applications of Artificial Intelligence for Chemical Inference: The Dendral Project
Statistical Themes and Lessons for Data Mining
Data Mining and Knowledge Discovery
What Makes Patterns Interesting in Knowledge Discovery Systems
IEEE Transactions on Knowledge and Data Engineering
A procedure for multi-class discrimination and some linguistic applications
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Programming the logic theory machine
IRE-AIEE-ACM '57 (Western) Papers presented at the February 26-28, 1957, western joint computer conference: Techniques for reliability
Solving multiclass learning problems via error-correcting output codes
Journal of Artificial Intelligence Research
Proposed interestingness measure for characteristic rules
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Scientific model-building as search in matrix spaces
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Maximally parsimonious discrimination: a generic task from linguistic discovery
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A Multi-Agent Based Simulation of Sand Piles in a Static Equilibrium
MABS '00 Proceedings of the Second International Workshop on Multi-Agent-Based Simulation-Revised and Additional Papers
The Computational Support of Scientific Discovery
Machine Learning and Its Applications, Advanced Lectures
In Search of the Horowitz Factor: Interim Report on a Musical Discovery Project
DS '02 Proceedings of the 5th International Conference on Discovery Science
DS '02 Proceedings of the 5th International Conference on Discovery Science
Computational Discovery of Communicable Knowledge: Symposium Report
DS '01 Proceedings of the 4th International Conference on Discovery Science
Unsupervised Link Discovery in Multi-relational Data via Rarity Analysis
ICDM '03 Proceedings of the Third IEEE International Conference on Data Mining
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Drug Discovery as an Example of Literature-Based Discovery
Computational Discovery of Scientific Knowledge
Computational Epistemology and e-Science: A New Way of Thinking
Minds and Machines
Research on a Queue Scheduling Algorithm in Wireless Communications Network
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
A creative abduction approach to scientific and knowledge discovery
Knowledge-Based Systems
Scientific discovery: a view from the trenches
DS'06 Proceedings of the 9th international conference on Discovery Science
The research of an intelligent object-oriented prototype for data warehouse
ICIC'06 Proceedings of the 2006 international conference on Intelligent Computing - Volume Part I
A knowledge-based clinical toxicology consultant for diagnosing single exposures
Artificial Intelligence in Medicine
Artificial Intelligence in Medicine
Towards assisted input and output data analysis in manufacturing simulation: the EDASim approach
Proceedings of the Winter Simulation Conference
A knowledge-based clinical toxicology consultant for diagnosing multiple exposures
Artificial Intelligence in Medicine
| Hi-index | 0.00 |
An important problem in computational scientific discovery is to identify, among the diversity of discovery programs written in various sciences, a commonality that will take a next step beyond the acknowledged general-but weak-framework of heuristic search. We characterize discovery in science as the generation of novel, interesting, plausible, and intelligible knowledge about the objects of study. We then analyze four current machine discovery programs in chemistry, medicine, mathematics, and linguistics according to how their design, or the circumstances of their application, heighten the chances of finding knowledge that has all four properties. Some general patterns emerge, although some strategies seem idiosyncratic. Our candidate for a commonality, which focuses on human factors, can be used pragmatically to evaluate and compare the designs of discovery programs that are intended to be used as collaborators by scientists.