Predicate logicとは 意味・読み方・使い方

A journalizing process 36 journalizes transaction data 35 according to the predicate logic formulas 34 to decide debit account titles and credit account titles and thus create journalizing results 37.例文帳に追加

そして、仕訳処理３６で述語論理式３４に基づいて取引データ３５の仕訳を行い、借方勘定科目及び貸方勘定科目を決定し、仕訳結果３７を作成する。 - 特許庁

The policy description includes a postcondition wherein a condition to be satisfied about a state of the management target system just after operation defined by the policy description is described by first-order predicate logic.例文帳に追加

ポリシ記述は、ポリシ記述に定義された操作の直後に管理対象システムの状態について成立すべき条件を一階述語論理により記述した事後条件を含む。 - 特許庁

An invariant condition storage part 161 stores an invariant condition wherein a condition always satisfied about the state of the management target system is described by the first-order predicate logic.例文帳に追加

不変条件記憶部１６１は、管理対象システムの状態について常に成立する条件を一階述語論理により記述した不変条件を記憶する。 - 特許庁

A summary journalizing rule creation process 30 applies common rules 32 of accounting transactions and company characteristic rules 33 specific to a company to past journalizing results 31 to create, by rough set theory, predicate logic formulas 34 whose decision attributes are a debit account title and a credit account title.例文帳に追加

会計仕訳ルール作成処理３０において、過去仕訳結果３１に、会計取引での共通ルール３２とその企業独特の企業特性ルール３３を加味して、ラフ集合理論を用いて、決定属性が借方勘定科目及び貸方勘定科目となる述語論理式３４が作成される。 - 特許庁

A delivery means 14 divides the predicates in an AND term included in the predicate logic converted into the DNF standard form into predicates determined by information whose modification frequency is low and predicates determined by information whose modification frequency is high, and evaluates the predicates determined by the information whose modification frequency is low.例文帳に追加

配信手段１４は、ＤＮＦ標準形に変換された述語論理に含まれる論理積項中の述語を、変更頻度が低い情報によって決定される述語と、変更頻度が高い情報によって決定される述語とに分け、変更頻度が低い情報によって決定される述語の評価を行う。 - 特許庁

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.例文帳に追加

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