Principles of human-computer collaboration for knowledge discovery in science

Artificial Intelligence

Volumn 107, Issue 2, 1999, Pages 335-346

  Valdés Pérez, Raúl E ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HUMAN COMPUTER INTERACTION; KNOWLEDGE ACQUISITION;

HUMAN-COMPUTER COLLABORATION; KNOWLEDGE DISCOVERY;

ARTIFICIAL INTELLIGENCE;

EID: 0033076933     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00116-7     Document Type: Article

References (53)

1. E. Alberdi, D. Sleeman, ReTAX: A step in the automation of taxonomic revision, Artificial Intelligence 91 (2) (1997) 257-279.
2. L.G. Bruk, S.N. Gorodskii, A.V. Zeigarnik, R.E. Valdés-Pérez, O.N. Temkin, Oxidative carbonylation of phenylacetylene catalyzed by Pd (II) and Cu (I): Experimental tests of forty-one computer-generated mechanistic hypotheses, J. Molec. Catal. A: Chemical 130 (1-2) (1998) 29-40.
3. F. Chung, The average distance and the independence number, J. Graph Theory 12 (2) (1988) 229-235.
4. V. Corruble, J.-G. Ganascia, Induction and the discovery of the causes of scurvy: A computational reconstruction, Artificial Intelligence 91 (2) (1997) 205-223.
5. L. Darden, M. Cook, Reasoning strategies in molecular biology: Abstractions, scans, and anomalies, in: R. Burian (Ed.), Proceedings of the Philosophy of Science Association, 1994.
6. H. De Jong, A. Rip, The computer revolution in science: Steps toward the realization of computer-supported discovery environments, Artificial Intelligence 91 (2) (1997) 225-256.
7. L. De Ledesma, A. Pérez, D. Borrajo, L.M. Laita, A computational approach to George Boole's discovery of mathematical logic, Artificial Intelligence 91 (2) (1997) 281-307.
8. T.G. Dietterich, C. Bakiri, Solving multiclass learning problems via error-correcting output codes, J. Artificial Intelligence Res. 2 (1995) 263-286.
9. S. Fajtlowicz, On conjectures of Graffiti, Discrete Math. 72 (1988) 113-118.
10. S. Fajtlowicz, On conjectures of Graffiti V, in: Proceedings 7th International Quadrennial Conference on Graph Theory, Combinatorics and Applications, Vol. 1, 1995, pp. 367-376.
11. U. Fayyad, G. Piatetsky-Shapiro, P. Smyth, The KDD process for extracting useful knowledge from volumes of data, Comm. ACM 39 (11) (1996) 27-34.
12. E. Feigenbaum, B. Buchanan, Dendral and meta-dendral: Roots of knowledge systems and expert system applications, Artificial Intelligence 59 (1-2) (1993) 233-240.
13. W.J. Frawley, G. Piatetsky-Shapiro, C.J. Matheus, Knowledge discovery in databases: An overview, in: G. Piatetsky-Shapiro and W.J. Frawley (Eds.), Knowledge Discovery in Databases, AAAI Press, Menlo Park, CA, 1991, pp. 1-27.
14. C. Glymour, D. Madigan, D. Pregibon, P. Smyth, Statistical themes and lessons for data mining, Data Mining and Knowledge Discovery 1 (1) (1997) 11-28.
15. W.H. Goodenough, Componential analysis, Science 156 (1967) 1203-1209.
16. N. Gray, Dendral and meta-dendral - The myth and the reality, Chemometrics and Intelligent Laboratory Systems 5 (1988) 11-32.
17. M. Kamber, R. Shinghal, Proposed interestingness measure for characteristic rules, in: Proceedings AAAI-96, Portland, OR, MIT Press, Cambridge, MA, 1996.
18. P.D. Karp, Design methods for scientific hypothesis formation and their application to molecular biology, Machine Learning (1993).
19. W. Klosgen, Efficient discovery of interesting statements in databases, J. Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies 4 (1) (1995) 53-69.
20. P. Langley, The computer-aided discovery of scientific knowledge, in: Proceedings 1st International Conference on Discovery Science, Springer, Berlin, 1998.
21. P. Langley, H. Simon, G. Bradshaw, J. Zytkow, Scientific Discovery: Computational Explorations of the Creative Processes, MIT Press, Cambridge, MA, 1987.
22. D.B. Lenat, AM: Discovery in mathematics as heuristic search, in: R. Davis. D.B. Lenat (Eds.), Knowledge-Based Systems in Artificial Intelligence, McGraw Hill, New York, 1982.
23. R. Lindsay, B. Buchanan, E. Feigenbaum, J. Lederberg, Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project, McGraw Hill, New York, 1980.
24. R. Lindsay, B. Buchanan, E. Feigenbaum, J. Lederberg, Dendral: A case study of the first expert system for scientific hypothesis formation, Artificial Intelligence 61 (2) (1993) 209-261.
25. A. Newell, J. Shaw, H. Simon, Programming the logic theory machine, in: Proceedings Western Joint Computer Conference, 1957, pp. 230-240.
26. V. Pericliev, R.E. Valdés-Pérez, A discovery system for componential analysis of kinship terminologies, in: Proceedings 16th International Congress of Linguists, 1997.
27. V. Pericliev, R.E. Valdés-Pérez, Automatic componential analysis of kinship semantics with a proposed structural solution to the problem of multiple models, Anthropological Linguistics 40 (2) (1998) 272-317.
28. V. Pericliev, R.E. Valdés-Pérez, A procedure for multi-class discrimination and some linguistic applications. In: Proceedings COLING-ACL: 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics, 1998, pp. 1034-1040.
29. W. Salmon, The Foundations of Scientific Inference, University of Pittsburgh Press, Pittsburgh, PA, 1966.
30. S. Salzberg, A. Deicher, S. Kasif, O. White, Microbial gene identification using interpolated Markov models, Nucleic Acids Research 26 (2) (1998) 544-548.
31. A. Silberschatz, A. Tuzhilin, What makes patterns interesting in knowledge discovery systems. IEEE Trans. Knowledge and Data Engineering 8 (6) (1996) 970-974.
32. H.A. Simon, R.E. Valdés-Pérez, D.H. Sleeman, Scientific discovery and simplicity of method (Editorial), Artificial Intelligence 91 (2) (1997) 177-181. (Special issue on Scientific Discovery.)
33. P. Spirtes, C. Glymour, R. Scheines, Causation, Prediction, and Search, Lecture Notes in Statistics, Springer, New York, 1993.
34. D.R. Swanson, Migraine and magnesium: Eleven neglected connections, Perspectives in Biology and Medicine 31 (4) (1988) 526-557.
35. D.R. Swanson, N.R. Smalheiser, An interactive system for finding complementary literatures: A stimulus to scientific discovery, Artificial Intelligence 91 (2) (1997) 183-203.
36. P. Thagard, Explanatory coherence, Behavioral and Brain Sciences 12 (3) (1989) 435-502.
37. R.E. Valdés-Pérez, Algorithm to generate reaction pathways for computer-assisted elucidation, J. Comput. Chem. 13 (9) (1992) 1079-1088.
38. R.E. Valdés-Pérez, Algorithm to test the structural plausibility of a proposed elementary reaction, J. Comput. Chem. 14 (12) (1993) 1454-1459.
39. R.E. Valdés-Pérez, Algorithm to infer the structures of molecular formulas within a reaction pathway, J. Comput. Chem. 15 (11) (1994) 1266-1277.
40. R.E. Valdés-Pérez, Conjecturing hidden entities via simplicity and conservation laws: Machine discovery in chemistry, Artificial Intelligence 65 (2) (1994) 247-280.
41. R.E. Valdés-Pérez, Human/computer interactive elucidation of reaction mechanisms: Application to catalyzed hydrogenolysis of ethane, Catal. Lett. 28 (1) (1994) 79-87.
42. R.E. Valdés-Pérez, Machine discovery in chemistry: New results. Artificial Intelligence 74 (1) (1995) 191-201.
43. R.E. Valdés-Pérez, Some recent human/computer discoveries in science and what accounts for them, AI Magazine 16 (3) (1995) 37-44.
44. R.E. Valdés-Pérez, A new theorem in particle physics enabled by machine discovery. Artificial Intelligence 82 (1-2) (1996) 331-339.
45. R.E. Valdés-Pérez, V. Pericliev, Concise, Intelligible, and Approximate Profiling of Numerous Classes, submitted for publication.
46. R.E. Valdés-Pérez, V. Pericliev, Maximally parsimonious discrimination: A generic task from linguistic discovery, in: Proceedings AAAI-97, Providence, RI, AAAI Press, Menlo Park, CA, 1997, pp. 515-520.
47. R.E. Valdés-Pérez, C.A. Stone, Systematic detection of subtle spatio-temporal patterns in time-lapse imaging. II. Particle migrations, Bioimaging 6 (2) (1998) 71-78.
48. R.E. Valdés-Pérez, J.M. Zytkow, Systematic generation of constituent models of particle families, Physical Review E 54 (2) (1996) 2102-2110.
49. R.E. Valdés-Pérez, J.M. Zytkow, H.A. Simon, Scientific model-building as search in matrix spaces, in: Proceedings AAAI-93, Washington, DC, AAAI Press, Menlo Park, CA, 1993, pp. 472-478.
50. A.V. Zeigarnik, R.E. Valdés-Pérez, A proposed methodological improvement in the elucidation of chemical reaction mechanisms based on chemist/computer interaction, J. Chemical Education, submitted (revised) for publication.
51. A.V. Zeigarnik, R.E. Valdés-Pérez, O.N. Temkin, Metal-catalyzed ethylene hydrogenation: The method of interactive search for multiple working hypotheses, Langmuir 14 (16) (1998) 4510-4516.
52. A.V. Zeigarnik, R.E. Valdés-Pérez, O.N. Temkin, L.G. Bruk, S.I. Shalgunov, Computer-aided mechanism elucidation of acetylene hydrocarboxylation to acrylic acid based on a novel union of empirical and formal methods, Organometallics 16 (14) (1997) 3114-3127.
53. J. Zytkow (Ed.), Machine Discovery, Kluwer, Dordrecht, 1996.