IF-THEN 形式により，条件と結論を記述する知識の一表現．知識の持つ相互の複雑な関連を，知識単位ごとの独立性を保持しながら表現することができる．プロダクションシステムでのルールベース推論に用いられる．