形式推論の英語

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

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

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). - 特許庁

本発明は、条件フィールドと結果フィールドとで構成される表形式データベースを加工する表形式データベース加工装置に関し、推論の予測精度の向上を実現する表形式データベースを構築できるようにすることを目的とする。例文帳に追加

To construct a table form database for improving the accuracy of the prediction of inference concerning a table form database working device for working the table form database composed of a condition field and a resulting field. - 特許庁

これにより、要求を受信するサーバまたは応答を受信するクライアントあるいはその両方が、フローの受信元のプロセスによって自由形式セクションの内容がコンテキストに追加されたと推論することができる。例文帳に追加

This enables the server that receives the request and/or the client that receives the response to deduce that the content of free format section was added to the context by the process from which the flow was received. - 特許庁

また、与信度算出部２を設けて与信度を出力したり、属性データ変換部３を設けて入力データを記憶に基づく推論部１に入力可能な形式に変換することができる。例文帳に追加

A degree of credit can be outputted by providing a credit degree computation part 2 and the input data can be converted to a format of input to the inference part 1 by providing an attribute conversion part 3. - 特許庁

提案編集機能において推論エンジン（知識ベース内の情報を元に推論を実行する方法）を適用し、問題解決知識ベース（列車運行乱れ条件及び、運転整理案）を外部ファイル形式（ＸＭＬ）で管理することにより、列車運行乱れ条件の変更時及び、他路線適用時などにＸＭＬファイルの記述を変更することのみで、ソフトウェア改修無しでシステムを柔軟に運用できることを実現する。例文帳に追加

To allow a system to be flexibly operated only with modification of XML files without modifying software, in changing train schedule disorder conditions and using other rail lines, by applying an inference engine (a method of inferring based on information inside a knowledge base) to a proposal editing function to manage a problem solving knowledge base (train schedule disorder conditions and operation arranging proposals) in an external file format (XML). - 特許庁