English Dictionary

Herbrand universe

名詞

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)

日本語の意味

論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。

To prove satisfiability, the researcher enumerated the Herbrand universe generated by the clauses and then searched for a model among its ground instances.

充足可能性を証明するために、研究者は節に出現する定数と関数記号を用いて（再帰的に）作ることのできるすべての地の項の集合を列挙し、その地のインスタンスの中からモデルを探索した。

意味（1）

(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)

Herbrand universes （ plural ）