ブール領域
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:01 UTC 版)
ブール領域（ブールりょういき）またはブーリアン領域（英: Boolean domain）は、「偽」と「真」（真理値ないし真偽値）に対応する2つの元のみから成る集合である。
[続きの解説]
「ブール領域」の続きの解説一覧
- 1 ブール領域とは
- 2 ブール領域の概要
ブール領域
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/15 19:56 UTC 版)
「制約論理プログラミング」の記事における「ブール領域」の解説
ブール領域（Boolean Domain）は真偽値の制約だけを扱う領域である。制約は一般的な論理演算子で構成される等式として表現される。制約処理方法としては、Booleの変数除去に基づいたブーリアン・ユニフィケーションやSL-導出（SL-resolution）のブール式への応用など様々なものがある。Prolog ⅢやCHIP(Constraint Handling In Prolog)などの処理系ではブール領域の制約を扱うことができる。
※この「ブール領域」の解説は、「制約論理プログラミング」の解説の一部です。
「ブール領域」を含む「制約論理プログラミング」の記事については、「制約論理プログラミング」の概要を参照ください。
ウィキペディア小見出し辞書の「ブール領域」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- ブール領域のページへのリンク
