意思決定支援システム

推測論理プログラミングは、観測に対して最良の説明を見つけるための推論に焦点を当てた論理プログラミングの一種です。

アンサーセットプログラミング（ASP）は、複雑な組合せ問題を解決するための宣言型プログラミングパラダイムです。

後方連鎖は、AIにおける推論手法の一つで、目標から始めて逆方向に証拠を見つけ出す方法です。

制約論理プログラミング（CLP）は、論理プログラミングと制約解決を組み合わせて複雑な問題に取り組みます。

帰納論理プログラミング（ILP）は、例からモデルを作成するために論理プログラミングを使用する機械学習のアプローチです。