述語変数の英語

述語式評価部１０６は、評価対象のイベントのうちの所定のイベントを当該束縛変数に対応付けて、前記ブール値置換述語式を評価するためのインスタンスを生成し、イベントのブール値置換述語式に対する評価を当該インスタンスにより行う。例文帳に追加

A predicative expression evaluation part 106 associates a prescribed event of events of evaluation targets to the restriction variable, generates an instance for evaluating the Boolean value replacement predicative expression, and performs evaluation to the Boolean value replacement predicative expression of the event by the instance. - 特許庁

述語式変換部１０５は、イベントパターン述語式において、所定の束縛変数にのみ依存する部分論理式である外変数論理式を求め、当該外変数論理式の評価結果として取りうる値の組み合わせについて、当該外変数論理式をブール値に置き換えたブール値置換述語式を生成する。例文帳に追加

A predicative expression conversion part 105 obtains an external variable logical expression that is a partial logical expression depending only on a prescribed restriction variable in an event pattern predicative expression, and generates a Boolean value replacement predicative expression wherein the external variable logical expression is replaced to a Boolean value about a combination of values obtainable as an evaluation result of the external variable logical expression. - 特許庁

ファクトの集合（知識源）、ルール、および、問い合わせ（実行命令）において、述語ないし関数とパラメータ（引数）とが区別されず、いずれもがユニフィケーション等において変数に代入されうる。例文帳に追加

In the set (knowledge source) of fact, rules, and inquiries (execution commands), predicates and functions, and parameters (arguments) are not distinguished, and all can be substituted for variables in unification, or the like. - 特許庁

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。例文帳に追加

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value. - 特許庁