AI完全
AI完全（AIかんぜん、）とは、人工知能のテーマの中でも最も困難なものを指す学術的でない用語である。AI完全とされる計算問題を解くことは人工知能の中心的課題を解決するのと同義であり、人間と同程度に知的なコンピュータを生み出すことになる。この用語は計算複雑性理論のNP完全問題などのアナロジーであり、計算複雑性理論における「完全性」とは、その複雑性クラスで最も難しい問題を指す。1988年、John Mallery はこの用語を生み出したのが Fanya S. Montalvo であると述べた。初期の用例としては、1987年に Erik Mueller の学位論文で使われ、1991年にはエリック・レイモンドのジャーゴンファイルに収録されている。
ある問題をAI完全であると呼ぶ場合、ELIZAのような単純なアルゴリズムを使った手法では解決されないだろうという姿勢が背景にある。一般にAI完全と言われる問題としては、次のものがある。
これらは人間にとっては簡単だが、その根幹には人間の持つ様々な概念が複雑に絡み合っていると言える。これらの問題を非常に制限された設定で解くシステムもあるが、完全な汎用性のある解法は未だに存在しない。