| CPC G06F 40/30 (2020.01) [G06F 16/322 (2019.01); G06F 40/211 (2020.01); G06F 40/58 (2020.01)] | 14 Claims |
|
1. A computer-implemented method for generating control commands, comprising:
providing, to a processor or a processing unit of a computer, a document that includes at least one declaration that formulates a rule set; and
automatically, by the processor or processing unit:
parsing the at least one declaration to generate a plurality of syntactical blocks;
constructing terms and symbols from the syntactical blocks, to generate a semantic representation, wherein the semantic representation includes at least one semantic tree, the semantic tree including a plurality of terms and symbols that unambiguously represent both semantics and logical connections of the rule set;
validating the semantic representation, wherein validating the semantic representation includes an automatic validation of the rule set in terms of at least one of completeness, consistency, or application to an individual case, wherein the validation of the semantic representation includes a recursive semantic tree analysis of the at least one semantic tree for recognizing first order errors and second order errors in the semantic representation, wherein a first order error is directly recognized without further analysis of the remaining rule set using stored data and wherein a second order error is determined through combinatorics or symbolic reshaping of terms and their logical evaluation; and
generating at least one control command based on the validated semantic representation;
converting the at least one control command into a plurality of executable platform-specific instructions; and
in response to execution of the plurality of executable platform-specific instructions, driving an operation or operational state of a target platform,
wherein the at least one control command corresponds to the rule set formulated by the at least one declaration.
|