CS 150-01 Logic for AI (or CS + AI)

The course will provide an overview of different logical systems to students interested in applications in AI, robotics, machine learning, programming languages, natural language understanding, and the semantic web. Starting with a brief review of standard propositional and first-order logic, the course will quickly dive into different modal logics, their proof systems, semantics, and model checking algorithms which are required for various applications in different CS fields. Of particular interest will be epistemic and temporal logics, but there will also be opportunities to discuss other non-standard logics that have applications in different areas of CS based on student interests.