Logic, Computation, and Learning

3 credits · Undergraduate credit

A survey of uses of logic in the field of Artificial Intelligence. Topics to be addressed include: nonmonotonic logic (the logic of general rules that can have exceptions), planning and temporal reasoning, reasoning about the knowledge of other agents, contextualized information, and the formalization of common sense.