四値論理
ニュエル・ベルナップ(英語版) は、1975年にコンピューターによる質問応答の課題について検討した。ベルナップはその際、人間の過誤性に注目し、矛盾する2つの事実を読み取った際、疑問点(クエリ)が作成される点に関して興味を覚えた。「私たちは皆、2値論理における矛盾の多発性について知っています。矛盾は決して孤立せず、システム全体に影響を及ぼします」。ベルナップは、この矛盾を解決する手段として四値論理を考案した。
ベルナップは値のテーブルをA4と定義した。そのA4に定義できる値は、真 (True) 、偽 (False) 、両方 (真と偽 (Both))、およびどちらでもない(真でも偽でもない (Neither)) である。このベルナップの論理は複数のソースに対応するように設計されており、ソースの内部を検索して:
true のみが見つかった場合は true が割り当てられる