And Or Trees

• And Or Trees can be used for Problem Decomposition
• Nodes are goals
• Nodes are connected by lines (ors), or by lines tied together (ands)
• Leaf nodes are facts that are not derivable by the system
• A rule is the if part below (anded together) with the conclusion on top.
• Coffee Example as a tree
• Subgoals that both need to be solved are anded together
• Subgoals either of which can be solved are ored