ホーン理論と推論問題

摘要

ホーン理論は，人工知能，論理プログラミングなど様々な分野で重要な役割を果たす．本稿では，知識ベースとしてホーン理論を用いたときの演繹推論，仮説推論という推論問題を，最新の結果も交じえ，主に計算量の観点から解説する．また，ホーン理論のそのほかの話題についても論じる．