Determining arguments of invariant functional descriptions

作者:Mieczyslaw M. Kokar

摘要

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.

论文关键词:functions, invariance, arguments, discovery, physical laws

论文评审过程:

论文官网地址:https://doi.org/10.1007/BF00114869