Creating theoretical terms for non-deterministic actions

Abstract

Theoretical terms play a central role in many scientific theories and includes such terms as quark and lepton in physics. However, such terms do not refer to observables or the properties of observables. Due to their central role in many scientific theories, formalisations and implementations of scientific discovery should account for theoretical terms. Few methods have been developed within the field of Artificial Intelligence to account for such terms and little work on correctness has been done. This paper will define a formal method for creating theoretical terms based on observationally non-deterministic actions. Further, this paper will define a class of possible worlds models for which the method is provably correct.