An Integrated Framework for Extended Discovery in Particle Physics

In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particles, formulating new quantum properties, positing new particles, and predicting reactions among particles. BR-4 carries out heuristic search guided by constraints that its theory be consistent and complete with respect to observed reactions. We show that this control scheme is su cient to model, with some manual intervention, an extended period in the history of particle physics, including the discovery of the neutrino and the postulation of baryon, lepton, and electron numbers. In closing, we compare BR-4 to other discovery systems and suggest directions for future research.

• Type: Conference
• Year: 2001
• Where: DIS
• Authors: Sakir Kocabas, Pat Langley
• Keywords: Computational Model, DIS 2001, Particle Physics, Quantum Values, Theoretical Computer Science