Horn clause（論理学において）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

Horn clause

(logic) A clause (disjunction of literals) with at most one positive literal.

日本語の意味

論理学において、正のリテラルが高々一つ含まれる論理式（リテラルの論理和として表現される節）

A Horn clause typically makes inference efficient in logic programming and automated theorem proving.

正のリテラルが高々1つしかない節（リテラルの論理和）は、論理プログラミングや自動定理証明において推論を効率化することが多い。

活用形複数形

plural of Horn clause

原形: Horn clause

日本語の意味

『Horn clauses』は『Horn clause』の複数形です。つまり、『Horn clause』の複数形として使用される活用形を示しています。

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

Webで検索する