Print
Home  ›  Schedule of Classes  ›  Ecatalog Course Detail

Ecampus Schedule of Classes - All Terms

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 ecampus.ess@oregonstate.edu.

Continue to Registration.

TermCRNSecCrP/NInstructorTypeStatusCapAvailWL CapWL Avail
W25379014004StaffOnline Open494900
Registration Restrictions
College Limitations: +16 (Engr)
Syllabus: Available in Canvas to students enrolled in this course. Or contact department to request syllabus.
W25381814014StaffOnline Open101000
Registration Restrictions
Campus Restrictions: +DSC (Dist. Degree Corvallis Student)
College Limitations: +16 (Engr)
Syllabus: Available in Canvas to students enrolled in this course. Or contact department to request syllabus.
Find textbooks for AI 531 at the OSU Beaver Store (current term only). For questions related to course materials, contact the OSU Beaver Store.

Legend
= 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.