イェール射撃問題
ここでの論理包含を同値(if and only if)に変更することで、発砲の帰結が適切に定式化できる(論理包含が複数ある場合、述語完備化はもっと複雑になる)。
Erik Sandewall(英語版) が提出した解決案は、新しい状態、オクルージョン(occlusion、直訳すれば包蔵)を採り入れるものである。これはフルーエントに対する「変化の許可(permission to change)」を定式化したものである。この案に従うと、フルーエントの値を変え得るようなある行為の帰結は、フルーエントが新しい値をとり、オクルージョンが(一時的に)真にされることである。最小化されるべきなのは変化の集合ではなく、真であるオクルージョンの集合である。これに「オクルージョンが真でない限り、フルーエントは値を変えない」という追加条件を補完することで、問題は解決される。
イェール射撃問題のシナリオは、レイモンド・ライター(英語版)版の状況計算、フルーエント計算(英語版)(fluent calculus)、アクション記述言語(英語版)(action description language,ADL)によっても適切に定式化できる。
2005年、イェール射撃問題が初めて記述された1985年の論文が AAAI Classic Paper award に選ばれた。この問題には解決策が既に与えられているものの、最近の研究論文においてもなお言及される。問題というよりは理解に役立つ例(例えば、動作の推論のための新しい論理に関する統語論 (論理学)(英語版)の説明)として用いられるのである