Artificial Intelligence Programs and Laboratory Experiments in Prolog
Zdravko Markov
Professor of Computer Science, Central Connecticut State
University
http://www.cs.ccsu.edu/~markov/
Required software
-
SWI-Prolog. Use the stable versions
and the self-installing executable for Windows 95/98/ME/NT/2000/XP. For
this course you need only the basic components, so you may uncheck all
optional components.
-
Prolog Tutorials
-
Problem Solving by Search
-
Heuristic (Informed) Search
-
Constraint Satisfaction
-
Games
-
Knowledge-Based Agents - Propositional and First-Order Logic
-
Inference in First-Order Logic, Logic Programming and Prolog
-
Knowledge Representation
-
Planning
-
Uncertainty and Probabilistic Reasoning
-
Natural Language Processing