











The objective of this project is to introduce the student to Analytical (ExplanationBased)
Learning using the classical AI framework of search. Handson experiments with search
algorithms combined with an EBL component give the student a deep, experiential
understanding of the basics of EBL and the role it plays in improving the performance
of search algorithms in particular and problem solving approaches in general.













The student should have knowledge of data structures and experience with either Lisp or Prolog. Before starting the project the student
may want to cover the reading from the AI course textbook related to search and
EBL as well as the recommended reading. 












The project requires a good understanding of uninformed and informed search algorithms
and their implementations either in Lisp or in Prolog. For the principles of search
and implementations of search algorithms we recommend reading chapters 3 and 4 of:
Lisp implementations of search algorithms are available form the AIMA site at:
http://aima.cs.berkeley.edu/lisp/doc/overview.html.
More about Lisp and search algorithms in Lisp can be found in the classical text:
 Patrick Winston and Berthold Horn, Lisp (3rd edition), AddisonWesley, 1993.
An excellent book on Prolog and Prolog implementations of AI algorithms (including search) is:
 Ivan Bratko, PROLOG Programming for Artificial Intelligence (3rd edition), AddisonWesley, 2000.
An overview of the EBL is provided in Section 19.3. of Russell and Norvig's text.
The basics of EBL are covered in Chapter 11 of Mitchell's classical ML text:
 Tom Mitchell, Machine Learning, McGraw Hill, 1997.













The detailed project description is available in the PDF file NPuzzle.pdf. You will need the free Adobe Acrobat Reader to view this file.


This project is customizable to accommodate different approaches to teaching and different implementations. Additional exercises are also included for students seeking more extended challenges.














A sample syllabus is not available.
Additional readings are included in the Background section above.










