Topics for the Midterm Examination

 
 
• Ordered and unordered production systems, and discrimination networks.
• Binary relations and properties of binary relations, including partial orders.
• Inheritance of properties in inclusion hierarchies.
• Representing information using propositional calculus.
• Semantics for the propositional calculus, truth tables, satisfiability, tautologies contradictions and models.
• Representing information using predicate calculus: identifying the domain, structuring the domain, identifying constants and writing predicates and functions; using quantifiers.
• Semantics for the predicate calculus: interpretations and models for formulas.
• State spaces for puzzles, depth-first search, breadth-first search, best-first search, uniform-cost search, A* search, and genetic search.