CS 6700: Advanced Artificial Intelligence

Cross-Listing: Not cross-listed.

Artificial intelligence (AI) provides many computational challenges. This course covers a variety of areas in AI, including knowledge representation, automated reasoning, learning, game-playing, and planning, with an emphasis on computational issues. Specific topics include stochastic reasoning and search procedures, properties of problem encodings, issues of syntax and semantics in knowledge representation, constraint satisfaction methods and search procedures, and critically constrained problems and their relation to phase-transition phenomena. In addition, connections between artificial intelligence and other fields, such as statistical physics, operations research, and cognitive science are explored.

Offered: Spring only

Prerequisites: CS 4700 or permission of instructor

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs6700/2009sp
• http://www.cs.cornell.edu/courses/cs672/2008sp
  • Bart Selman
• http://www.cs.cornell.edu/courses/cs672/2007sp
  • Bart Selman