Generation apparatus, generation method, and recording medium

A generation method, which is executed by a generation apparatus,

• the generation apparatus including a processor configured to execute a program, and a storage device configured to store the program,
• the generation apparatus being configured to access:
• a set of pieces of learning data each being a combination of a value of an explanatory variable and a value of an objective variable;
• a function family list including, of functions each indicating a physical law and an attribute of each of the functions, at least the functions;
• and
• search range limiting information for limiting a search range of the function family list,
• wherein the generation method generates interpretable prediction expressions by constraining a search space to physically meaningful functions from the function family list that indicate physical laws, wherein the function family list is pre-configured based on domain-specific knowledge of physical laws applicable to a target prediction domain, to thereby address a technical problem of black-box machine learning models by producing prediction rules that are both accurate and explainable,
• the generation method comprising executing, by the processor:
• first generation processing of generating a first prediction expression that is interpretable by setting a first parameter for the explanatory variable to a first function included in the function family list, wherein the first function indicates a physical law, and wherein generating the first prediction expression comprises constraining the search space to the physically meaningful functions from the function family list;
• first calculation processing of calculating, based on the search range limiting information, a first conviction degree relating to the first prediction expression generated through the first generation processing, wherein the first conviction degree is calculated as a measure of consistency between the first prediction expression and domain-specific knowledge represented by the search range limiting information, wherein calculating the first conviction degree comprises evaluating conformity of the first prediction expression to physical law constraints specified in the search range limiting information, and wherein the first conviction degree is calculated independently of prediction accuracy of the first prediction expression, wherein the domain-specific knowledge comprises at least one of physical laws and theoretical expressions specified in the search range limiting information;
• and
• first output processing of outputting the first prediction expression and the first conviction degree calculated through the first calculation processing only when the first prediction expression satisfies both (i) a precision requirement based on prediction accuracy measured against the objective variable and (ii) a conviction degree threshold indicating that the first prediction expression conforms to the physical law constraints within a predetermined tolerance, wherein the precision requirement and the conviction degree threshold are independently evaluated.

A computer-readable non-transitory recording medium having recorded thereon a generation program for causing a processor to generate a rule for predicting data,

• the processor being configured to access:
• a set of pieces of learning data each being a combination of a value of an explanatory variable and a value of an objective variable;
• a function family list including, of functions each indicating a physical law and an attribute of each of the functions, at least the functions;
• and
• search range limiting information for limiting a search range of the function family list,
• wherein the generation program causes the processor to generate interpretable prediction expressions by constraining a search space to physically meaningful functions from the function family list that indicate physical laws, wherein the function family list is pre-configured based on domain-specific knowledge of physical laws applicable to a target prediction domain, to thereby address a technical problem of black-box machine learning models by producing prediction rules that are both accurate and explainable,
• the generation program causing the processor to execute:
• first generation processing of generating a first prediction expression that is interpretable by setting a first parameter for the explanatory variable to a first function included in the function family list, wherein the first function indicates a physical law, and wherein generating the first prediction expression comprises constraining the search space to the physically meaningful functions from the function family list;
• first calculation processing of calculating, based on the search range limiting information, a first conviction degree relating to the first prediction expression generated through the first generation processing, wherein the first conviction degree is calculated as a measure of consistency between the first prediction expression and domain-specific knowledge represented by the search range limiting information, wherein calculating the first conviction degree comprises evaluating conformity of the first prediction expression to physical law constraints specified in the search range limiting information, and wherein the first conviction degree is calculated independently of prediction accuracy of the first prediction expression, wherein the domain-specific knowledge comprises at least one of physical laws and theoretical expressions specified in the search range limiting information;
• and
• first output processing of outputting the first prediction expression and the first conviction degree calculated through the first calculation processing only when the first prediction expression satisfies both (i) a precision requirement based on prediction accuracy measured against the objective variable and (ii) a conviction degree threshold indicating that the first prediction expression conforms to the physical law constraints within a predetermined tolerance, wherein the precision requirement and the conviction degree threshold are independently evaluated.