Office of the Registrar
Campus Address
Hanover, NH
03755-3529
Phone: (603) 646-xxxx
Fax: (603) 646-xxxx
Email: reg@Dartmouth.EDU

Organization, Regulations, and Courses 2023-24


COSC 89.24 Logic and Artificial Intelligence

The goal of this topics course is to study the foundations of different types of logic used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – researchers in AI have extended classical logic over the years to numerous more “exotic” logics. This course will cover the foundations of a host of classical and non-classical logics, a number of interesting logics developed by by AI researchers for common-sense reasoning, and applications of those logics.

Prerequisite

COSC 76, COSC 176, or permission of the instructor.

The Timetable of Class Meetings contains the most up-to-date information about a course. It includes not only the meeting time and instructor, but also its official distributive and/or world culture designation. This information supersedes any information you may see elsewhere, to include what may appear in this ORC/Catalog or on a department/program website. Note that course attributes may change term to term therefore those in effect are those (only) during the term in which you enroll in the course.