Course Description:
Provides a broad understanding of the basic techniques for building intelligent computer systems. Topics include state-space problem representations, problem reduction and and-or graphs, game playing and heuristic search, predicate calculus, and resolution theorem proving, AI systems and languages for knowledge representation, machine learning and concept formation and other topics such as natural language processing may be included as time permits.
Faculty/Manager:
Salvatore Stolfo
Contact Information:
Salvatore Stolfo
email: sal@cs.columbia.eduCredits for Course: 3 Viewing Schedule: 2 lectures per week Prerequisites: Honors Data Structures and Algorithms (COMS W3139) Notes: Syllabus