Course Information

Prerequisite: Comp. Sci. W3139. Designed to give a senior-level student in computer science a broad understanding of the basic techniques in use today for building intelligent computer systems. State space representations, problem reduction, means-end analysis, and-or graphs. Heuristic searching: depth-first, breadth-first, best-first, hill climbing, divide and conquer, minimax, alpha-beta. Predicate calculus, resolution theorem proving, Horn clause theorem provers. AIl systems and languages: goals and contexts. Issues of knowledge representation. Learning and concept formation. LISP programming. other topics as time permits.

Department: Computer Science(COMS)

Subject: Computer Science(COMS)

School: School of the Arts, Barnard College, Columbia College, School of General Studies, Graduate School of Arts and Sciences, School of International and Public Affairs, Continuing Education and Special Programs

Division: Interfaculty

Course ID: 4701