在人工智能領域，框架問題描述了使用一階邏輯（FOL）來表達世界上的機器人的事實的問題。用傳統的FOL來表示機器人的狀態需要使用許多公理，這些公理僅僅意味著環境中的事物不會任意改變。例如，Hayes用關于將積木堆放在一起的規則來描述一個積木世界。在FOL系統中，需要額外的公理來對環境進行推論（例如，一個塊不能改變位置，除非它被物理移動）。框架問題是為機器人環境的可行描述找到足夠的公理集合的問題。JohnMcCarthy和PatrickJ.Hayes在1969年的文章《從人工智能的角度看一些哲學問題》中定義了這個問題。在這篇文章中，以及之后的許多文章中，形式化的數學問題是對人工智能知識表示的難度進行更廣泛討論的起點。諸如如何在虛擬環境中提供合理的默認假設和人類認為的常識等問題。后來，這個術語在哲學中獲得了更廣泛的含義，它被表述為限制必須對行動進行更新的信念的問題。在邏輯上，行動通常是由它們所改變的東西來指定的，隱含的假設是其他一切（框架）保持不變。

框架問題甚至發生在非常簡單的領域。一個有門的場景，它可以打開或關閉，一個有燈的場景，它可以打開或關閉，靜態地由兩個命題表示依賴于時間；這樣的謂詞被稱為通式。在一個領域中，門在時間0時是關閉的，燈也是關閉的，而門在時間1時是打開的，可以直接用邏輯來表示(Changed，雖然可能需要還原。)(2013年8月)>需要澄清】由以下公式表示。前兩個公式表示初始情況；第三個公式表示在時間1執行開門行動的效果。如果這樣的行動有先決條件，比如門沒有鎖上，它就會被表示成{displaystyle{forallt.mathrm{executopen}(t)implies{mathrm{open}(t+1)}用于指定行動的效果。用于指定行動的效果。關于情境微積分的文章給出了更多細節。雖然上面的三個公式是已知內容在邏輯中的直接表達，但它們并不足以正確得出后果。雖然以下條件（代表預期情況）與上述三個公式一致，但它們不是xxx的條件。事實上，另一組與上述三個公式一致的條件是。框架問題是，只指定哪些條件被行動所改變，并不意味著所有其他條件都不會被改變。這個問題可以通過增加所謂的"框架公理"來解決，它明確規定所有不受行動影響的條件在執行該行動時都不會改變。

例如，由于在時間0執行的動作是開門，框架公理將說明燈的狀態從時間0到時間1不會改變。框架問題是，每一對行動和條件都需要一個這樣的框架公理，以便行動不影響條件。換句話說，這個問題是在沒有明確規定框架公理的情況下對一個動態領域進行形式化。麥卡錫提出的解決這個問題的辦法是假定發生了最小量的條件變化；這個辦法是用包圍的框架形式化的。然而，耶魯大學的射擊問題表明，這種解決方案并不總是正確的。隨后，人們提出了替代性的解決方案，涉及謂詞完成、流暢閉塞、繼任狀態公理等；下文將對這些解決方案進行解釋。到20世紀80年代末，McCarthy和Hayes所定義的框架問題被解決了。