[Frame problem - Wikipedia](https://en.wikipedia.org/wiki/Frame_problem) > フレーム問題とは、人工知能において、世界におけるロボットに関する事実を表現するために一階論理（FOL）を使用する際の問題点を示すものである。従来のFOLでロボットの状態を表現する場合、環境にあるものが任意に変化しないことを単純に意味する公理を多く使う必要がある。例えば、Hayesはブロックを積み重ねるというルールで「ブロックの世界」を表現しています。FOLシステムでは、環境に関する推論を行うために追加の公理が必要となる（例えば、ブロックは物理的に移動しない限り位置を変えることができない）。フレーム問題とは、ロボット環境を記述するための適切な公理の集まりを見つける問題である[1]。 > ジョン・マッカーシーとパトリック・J・ヘイズは、1969年の論文「人工知能の立場からのいくつかの哲学的問題」の中でこの問題を定義した。この論文やその後に続く多くの論文において、形式的な数学的問題は、人工知能のための知識表現の難しさについてのより一般的な議論の出発点であった。その後、この用語は哲学においてより広い意味を持つようになり、行動に対応して更新されなければならない信念を制限する問題として定式化された[2]。論理的な文脈では、行動は通常、他のすべて（フレーム）は変更されないという暗黙の前提のもとで、変更するものによって特定される。