推論式の英語

そして、発着実績推論データ作成部４４Ｂは、駅定義データ並びに走行実績データの近似一次式に基づいて列車の各駅における到着時刻及び発車時刻を列車毎に推論し、発着実績推論データとして出力する。例文帳に追加

An arrival and departure record inference data preparation unit 44B infers the arrival time and the departure time of the train at each station for each train based on the approximation linear expression of the station definition data and the travel record data, and outputs the inference data as the arrival and departure record inference data. - 特許庁

これは推論の各種の形式、たとえば演繹的、機能的、確率的およびデフォルト推論といったもの、を弁別し、またそれらの妥当性基準を設定する。例文帳に追加

It distinguishes various forms of reasoning such as e.g. deductive, inductive, probabilistic and default reasoning and sets criteria of their validity.発音を聞く  - コンピューター用語辞典

前記推論部12は、ファジイ推論によって雨天及び水質要因の第二及び第三補正注入率を算出し、これを凝集剤注入率算出の演算式の項数として格納する。例文帳に追加

A 2nd and a 3rd corrected injection rate for rainy weather and water quality factor, are calculated by the fuzzy inference in the inference part 12 and are housed in the factors of an operation expression for the calculation of the flocculant injection rate. - 特許庁

1階述語論理は,状況等についての言語表現の理解を助けるための推論に対して, 形式的な基礎を提供する.例文帳に追加

First-order predicate logic provides a formal basis for reasoning to assist understanding of linguistic expressions of states, ...発音を聞く  - コンピューター用語辞典

両形式の特徴は推論エンジンを用いて統合され、主被写体の最終確信度マップが生成される（Ｓ１２）。例文帳に追加

The features of the both types are integrated through the use of an inference engine and the final assurance degree map of the main subject is generated (S12). - 特許庁

電子写真方式の画像形成方法において、トナーホッパー内のトナー残量、および、その履歴情報に基づいて、トナー補給量が一定に維持されるようにトナー補給部材の制御値を推論し、その推論結果に基づいて、トナー補給部材を制御する。例文帳に追加

In the image forming method of an electrophotographic system, a control value of a toner replenishing member is inferred based on the residue quantity of the toner inside the toner hopper and its history information so that the toner replenishing quantity is maintained constant and the toner replenishing member is controlled based on the inferred result. - 特許庁

従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。例文帳に追加

Inference processing which has been conventionally made by a symbol logical expression is carried out by using a natural language sentence having a simplicity at a level similar to that of the symbolic logic expression, thereby conversion processing from the input sentence to an output sentence is unified. - 特許庁

従来記号論理式によって行われている推論処理を、記号論理式と同レベルの単純さの自然言語文を用いて行い、それにより入力文から出力文への変換処理を統一する。例文帳に追加

Inference processing executed conventionally by a symbol logical expression is carried out using a natural language sentence as simple as the symbol logical expression, to convert the input sentence into an output sentence in a unified manner. - 特許庁