Determining Arguments of Invariant Functional Descriptions

摘要

In this paper we examine the problem of determining arguments of invariant functional descriptions from incomplete observational data. Physical laws are one example of invariant functional descriptions. For such functions, we show that one can test the relevance of the function's arguments even though their values remain constant throughout the observational data. We present a method, called COPER, for discovering invariant functional descriptions. COPER eliminates irrelevant arguments, generates additional relevant arguments, and generates a functional formula. We focus on the first two of these features, giving two examples of how the methodology can be applied to determining arguments of physical laws.