Ecampus Schedule of Classes - Winter 2025

College of Engineering

AI 531 – Artificial Intelligence (4)

Intelligent agents. Problem-solving as heuristic search. Adversarial search. Constraint satisfaction methods; Arc-consistency. Knowledge representation and reasoning. Propositional logic. Reasoning with propositional logic: algorithms for satisfiability. First-order logic. Proof theory, model theory, resolution refutation, forward and backward chaining, representing events and actions. This course may be subject to Enforced Prerequisites that restrict registration into the course. Check the offerings below for more information.

For more information, contact OSU Ecampus at 800-667-1465 (option 1) or

Continue to Registration.

TermCRNSecCrP/NInstructorTypeStatusCapAvailWL CapWL Avail
W25379014004Bakos, Y.Online Open494900
Registration Restrictions
College Limitations: +16 (Engr)
Syllabus: Available in Canvas to students enrolled in this course. Or contact instructor to request syllabus. (Note: An ONID account is required to view OSU's online directory.)
Find textbooks for AI 531 at the OSU Beaver Store (current term only). For questions related to course materials, contact the OSU Beaver Store.

View AI 531 for all available terms

= Signifies the course as a Baccalaureate Core Course.
= Signifies that fees may apply to the course.
+ = Include restriction.
- = Exclude restriction.
* = Prereq may be taken prior to or simultaneously with this course.