Description
Instructor(s)/Supervisor(s)/Coordinator(s): Fangzhen LIN, Huiru XIAOFoundations underlying design of intelligent systems. Relations between logical, statistical, cognitive, biological paradigms; basic techniques for heuristic search, theorem proving, knowledge representation, adaptation; applications in vision, language, planning, expert systems.