A Notion of Correctness with Theories Containing Theoretical Terms

This paper considers how theories containing theoretical terms can be tested with experiments which only give results in observable terms. An agent will be defined which makes predictions about the effect of actions. To test such an agent, the predictions of the agents will measured against an experimental frame. With the experimental frame a result will be presented demonstrating when some theoretical vocabulary is necessary. Further, the correctness of an agent will be defined and results showing the correspondence between beliefs containing theoretical terms and the experimental frame will be presented.