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
Course ID: 4701