"Time to Study for the Final Exam"
Review List Final Exam COSC 6368 Dec. 13, 2001
The final exam of COSC 6368 is scheduled for Th., Dec. 13,
11a-1:15p in our regular class room. The final exam is
"open books" and "notes" and will cover the following topics:
- ***** Logical reasoning: representing natural language statements
using first order logic,
converting first order logic to clause form,
doing resolution proofs, unification (only basic ideas), theoretical problems
involving resolution,
resolution for propositional calculus, PROLOG and resolution. Also read sections
7.1, 7.2,
7.3, 9.1, 9.2, 9.5, 9.6, 10.1, 10.2, and 10.3, of the Russel
book.
- ** Heuristic Search: best-first search, A*, design a state evaluation
function for A*/best-first search.
- ***** Belief Networks and Uncertainty: Bayes Theorem,conditional
independence assumption, naive bayesian classifiers, d-separability,
ability to conduct basic computations for belief networks,
design/implement a belief network for a particular problem, general
ideas and capabilities of belief networks. Most belief network problems in
the exam will be similar to those of homework3.
- ** Knowledge-based systems: what are the topics of
knowledge-based systems, knowledge-based architecture, rule-based programming (only basic
ideas), and ontologies (review transparencies and read the two ontology
articles and the discussion of the course registration data-driven program).
- ** Machine Learning: what is machine learning and
why is it important, inductive learning in general, how does decision
tree induction work, information gain
heuristic, evaluation of decision tree technology and comparison with
other methods. Also read sections 18.1 and 18.2 of the Russel book!
- ** Evolutionary Programming: read Holland article (nothing else!)
Reading and Study List for Final Exam:
- Study all transparencies that were used for teaching the
above
topics (especially study Mitchell's general machine learning transparencies,
belief network transparencies (the more detailed
UK teaching material found by the Gold
Group might be a "better" choice (in lieu of Koller)
when reviewing belief networks), and Dr. Eick's knowledge-based
systems material, ontology, decision tree, logical
reasoning transparencies, and resolution proof examples on the
web)
- Read the following articles:
- First 5 pages of Dr. Eick's article on forward chaining rule-based
systems.
- Two articles discussing ontologies (part of the knowledge
based system material)
- Holland's Scientific American Article