真実性維持

ラベリングアルゴリズム

論理的依存関係に基づいて、知識ベースの命題に状態（真、偽、不明）を割り当てるアルゴリズム手順。これらのラベルは真理維持時に動的に更新されます。

← 戻る