SYMBOLIC LOGICとは 意味・読み方・使い方

RELATIONAL DATABASE SEARCH PROCESSING METHOD USING SET, PHASE AND SYMBOLIC LOGIC例文帳に追加

集合と位相と記号論理によるリレーショナル・データベース検索処理方法 - 特許庁

Generation of the output statement based on a statement simplified at a symbolic logic expression level can be realized by taking advantage of the paraphrasing representation from the input statement to a statement simplified at a symbolic logic expression level.例文帳に追加

また、入力文から記号論理式レベルの単純さの文への言い換えを逆用して、記号論理式レベルの単純さの文に基づく出力文生成を実現する。 - 特許庁

To simplify an input statement to a statement at a symbolic logic expression level; to realize a unified simple method for generating an output statement on the basis of an inference using a simple statement at a symbolic logic expression level and a statement at a symbolic logic expression level; and to realize automatic learning of a logic or a paraphrasing representation by a similar method.例文帳に追加

入力文の記号論理式レベルの文への単純化、記号論理式レベルの単純な文を用いた推論、及び記号論理式レベルの文に基づく出力文の生成の統一的、単純な方法による実現、並びに同様な方法による論理又は言い換え表現の自動的学習の実現。 - 特許庁

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them発音を聞く 例文帳に追加

主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派 - 日本語WordNet

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)発音を聞く 例文帳に追加

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に） - 日本語WordNet

Also, the output sentence is generated by reversely using the paraphrase from the input sentence to a sentence at a symbolic logic expression level.例文帳に追加

また、入力文から記号論理式レベルの文への言い換えを逆用して、出力文生成を実現する。 - 特許庁

Inference by a conventional symbolic logic is carried out by using a natural language statement simplified at the same level as for the symbolically logic expression, and thus, conversion from an input statement to an output statement is unified.例文帳に追加

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

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

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