A new theorem in particle physics enabled by machine discovery

Artificial Intelligence

Volumn 82, Issue 1-2, 1996, Pages 331-339

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

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; HEURISTIC PROGRAMMING; HIGH ENERGY PHYSICS; NATURAL SCIENCES COMPUTING; THEOREM PROVING;

MACHINE DISCOVERY; PARTICLE PHYSICS;

ARTIFICIAL INTELLIGENCE;

EID: 0030124957     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00128-x     Document Type: Article

References (10)

1. S. Kocabas, Conflict resolution as discovery in particle physics, Mach. Learn. 6 (1991) 277-309.
2. P. Langley, H.A. Simon, G. Bradshaw and J.M. Zytkow, Scientific Discovery: Computational Explorations of the Creative Processes (MIT Press, Cambridge, MA, 1987).
3. Y. Ne'eman and Y. Kirsh, The Panicle Hunters (Cambridge University Press, New York, 1986).
4. R.E. Valdés-Pérez, Algebraic reasoning about reactions: discovery of conserved properties in particle physics, Mach. Learn. 17 (1994) 47-68.
5. R.E. Valdés-Pérez, Conjecturing hidden entities via simplicity and conservation laws: machine discovery in chemistry, Artif. Intell. 65 (1994) 247-280.
6. R.E. Valdés-Pérez, Generic tasks of scientific discovery, in: Working Notes of the Spring Symposium on Systematic Methods of Scientific Discovery, AAAI Technical Reports (1995).
7. R.E. Valdés-Pérez, On the justification of multiple selection rules of conservation in particle physics phenomenology, Comput. Phys. Commun. 94 (1996) 25-30.
8. R.E. Valdés-Pérez, Computer science research on scientific discovery, Knowledge Eng. Rev. (to appear).
9. R.E. Valdés-Pérez and M. Erdmann, Systematic induction and parsimony of phenomenological conservation laws, Comput. Phys. Commun. 83 (1994) 171-180.
10. R.E. Valdés-Pérez, J.M. Zytkow and H.A. Simon, Scientific model-building as search in matrix spaces, in: Proceedings AAAI-93, Washington, DC (1993) 472-478.