Prof. David C. BrownThis course gives a broad survey of Artificial Intelligence. Several basic techniques such as search methods, formal proofs and knowledge representation are covered. Selected topics involving the applications of these tools will be investigated. Such topics might include natural language understanding, scene understanding, game playing, learning and planning.