Rules

• Rules are of the form if X then Y or X -> Y. They're like if then statements in standard languages like Java and C#.
• Both X and Y can be complex.
• It turns out that this is Turing complete. That is, you can write any program that can be written with rules.
• It's also a natural way for people to think.
• Can you come up with a rule?
• As it's natural, it's a good thing for knowledge elicitation (getting knowledge from people).