Logic programming and its use in problem solving, natural language recognition
and parsing, and robotics. The Prolog language. Meta-level and parallel logic
programming. Expert systems. Term project in logic programming.
Prerequisites
CMSC 421 or equivalent; or permission of instructor.
Topics
Introduction to basic propositional and first order logic syntax
and semantics.
Logic program syntax.
Model Theoretic and Fixpoint Semantics for definite logic programs.
SLD resolution for logic programs.
Semantics of logic programs with negation --- well founded and
stable model semantics.
Stratified logic programs.
Selected extensions of logic programming. The actual selected topics will
be chosen from the following list:
Reasoning about actions.
Temporal reasoning.
Probabilistic reasoning.
Agent oriented reasoning.
Default logic.
Metalogic programming.
item Applications to natural language understanding.
Grading
Mid-Term -- 30%
Final Exam -- 30%
Term Paper Report -- 20%
Term Paper Presentation -- 10%
Homework -- 10%
Course Text
Foundations of Logic Programming by Lloyd, Springer Verlag, 2nd
edition. ISBN: 0387181997.
