CIS 475 - Fall 2006 - Preparation for Midterm Exam
Notes
Visit these topics in the “Notes” section of the class web-site http://www.cis.cau.edu/475.
The topics indicate the chapters in the textbook!
1. Introduction to Artificial Intelligence
2. AI Programming
3. Advanced Prolog Programming
4. Basic Problem-Solving Strategies
5. Informed/Heuristic Search
6. Project: Adventure Games
7. Problem Decomposition and AND/OR Graphs
Key Elements
1. Logic and Reasoning: Define rules in First Order Predicate Logic and translate them into Prolog
rules (see family.pl)
2. Pattern Matching in Prolog: How does Prolog unify variables? Examples, CAU Tally and
Fraction Calculator. Understand how complex data structures can be defined in Prolog, and
how we can match them.
3. List-operations in Prolog: Review the various predicates that we defined to manipulate lists.
Basic concept:
a) define a terminal rule that matches with an empty list or a list with one element;
b) define a recursive rule that separates the list in head and tail, and calls to solve the problem
for the tail.
4. State-space: a problem can be defined in form a state-space; the four components are:
a) the set of states,
b) the set of allowed transitions between states,
c) the set of start states, which is a subset of the set of states, and
d) the goal-definition, which also represents a subset of the set of states.
/home/molnar/Doc/Classes/CIS475/F06/midterm-prep.odt 10/11/2006 1 of 2
