CS 457 INTRODUCTION TO ARTIFICIAL INTELLIGENCE (3-0-3)(F)(Odd years) Topics in artificial intelligence: informed search, game playing, constraint satisfaction and optimization, logical inference, probabilistic reasoning, and learning from observations. Significant project work demonstrating various AI techniques. PREREQ: CS 253 and CS 321.