產生式規則，通常被稱為「如果-那麼」規則，是知識表示的一種基本方法。
這種規則的基本形式是「如果P則Q」，其中「P」代表條件或前提，而「Q」代表在條件滿足時應該得出的結論或應該執行的操作。產生式規則可以用於表示程式性知識，即關於如何執行特定任務或達到特定目標的知識。這些規則不僅描述了應該採取的行動，還可以包含關於如何進行判斷的信息。
在計算機科學中，產生式規則常用於編譯器設計、專家系統、人工智慧和知識工程等領域。例如，在編譯器設計中，產生式用於描述語法規則，這些規則指導編譯器如何將原始碼轉換為機器語言。