Machine Learning

, Volume 17, Issue 1, pp 47–67 | Cite as

Algebraic reasoning about reactions: Discovery of conserved properties in particle physics

  • Raul E. Valdés-Pérez


Kocabas (1991) describes a situation from particle physics in which quantum properties and conservation laws are postulated from lists of observed and unobserved reactions. Kocabas also presents a program named BR-3 that can rediscover some accepted quantum properties from textbook data, although it fails on a more difficult example from the same source. This paper describes PAULI, a program that solves the same task as BR-3 but uses a different problem-solving model. PAULI produces different, simpler solutions than does BR-3, and it can also handle the problematic example. After comparing the two programs, we conclude that PAULI offers distinct advantages over its predecessor, which we attribute to analgebraic approach to reasoning about sets of reactions.


Machine discovery reactions particle physics algebraic reasoning model building 


  1. Chvatal, V. (1983).Linear programming. New York, NY: W.H. Freeman.Google Scholar
  2. Fischer, P. and Zytkow, J. M. (1990). Discovering quarks and hidden structure.Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems (pp. 362–370). Knoxville, TN: North Holland.Google Scholar
  3. Godfrey, J., McLachlan, R., and Atwood, C. H. (1991). Nuclear reactions versus inorganic reactions.Journal of Chemical Education, 68, 819–824.Google Scholar
  4. Kocabas, S. (1991). Conflict resolution as discovery in particle physics.Machine Learning, 6, 277–309.Google Scholar
  5. Langley, P., Bradshaw, G. L., and Simon, H. A. (1981). Bacon.5: The discovery of conservation laws.Proceedings of the Seventh International Joint Conference on Artificial Intelligence (pp. 121–126). Vancouver, Canada.Google Scholar
  6. Langley, P., Simon, H.A., Bradshaw, G.L., and Zytkow, J.M. (1987).Scientific discovery: Computational explorations of the creative processes. Cambridge, MA: MIT Press.Google Scholar
  7. Ne'eman, Y. and Kirsh, Y. (1986).The particle hunters. New York: Cambridge University Press.Google Scholar
  8. Omnes, R. (1971).Introduction to particle physics. New York: Wiley Interscience.Google Scholar
  9. Papadimitriou, C., and Steiglitz, K. (1982).Combinatorial optimization: Algorithms and complexity. Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
  10. Rose, D., and Langley, P. (1988). A hill-climbing approach to machine discovery.Proceedings of the Fifth Machine Learning Conference (pp. 367–373). Ann Arbor, MI: Morgan Kaufmann.Google Scholar
  11. Sutton, C. (1990). Happy birthday, little neutral one.New Scientist, 128, 34–36.Google Scholar
  12. Valdes-Perez, R. E. (1994). Conjecturing hidden entities via simplicity and conservation laws: Machine discovery in chemistry.Artificial Intelligence, 65, 247–280.Google Scholar
  13. Valdes-Perez, R. E. and Erdmann, M. (1993). Systematic induction and parsimony of phenomenological conservation laws.Computer Physics Communications, in press.Google Scholar
  14. Valdes-Perez, R. E. (1991). On the concept of stoichiometry of reaction mechanisms.Journal of Physical Chemistry, 95, 4918–4921.Google Scholar
  15. Valdes-Perez, R. E. (1992a). Theory-driven discovery of reaction pathways in the MECHEM system.Proceedings of Tenth National Conference on Artificial Intelligence (pp. 63–69). San Jose, CA: AAAI Press.Google Scholar
  16. Valdes-Perez, R. E. (1992b). A necessary condition for catalysis in reaction pathways.Journal of Physical Chemistry, 96, 2394–2396.Google Scholar
  17. Valdes-Perez, R. E., Simon, H. A., and Murphy, R. F. (1992). Discovery of pathways in science.Proceedings of the ICML 1992 Workshop on Machine Discovery (pp. 51–57). Aberdeen, Scotland.Google Scholar
  18. Valdes-Perez, R. E., Zytkow, J.M., and Simon, H.A. (1993). Scientific model-building as search in matrix spaces.Proceedings of Eleventh National Conference on Artificial Intelligence (pp. 472–478). Washington, D.C.: AAAI Press.Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Raul E. Valdés-Pérez
    • 1
  1. 1.Department of Computer ScienceCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations