Rules

• Rules are also a form of KR.
• (For that matter programs are dynamic forms of KR.)
• Rules enable you to derive more facts.
• Rules are more dynamic than WM.
• They are of course of the form if X then Y
• This is similar to a formal logic.