Lecture 3 hours; 3 credits.
Prerequisites: CS480/580 or consent of the instructor
Applications of logic. Topics include first order predicate calculus
as a reasoning agent, deductive reasoning and resolution refutation,
nonmonotonic reasoning, induction, reasoning with uncertain information,
reasoning about knowledge and belief, meta level representation and
reasoning and and architectures for intelligent agents.