Units: 3In-depth discussion on selected subdisciplines of Artificial Intelligence. Use of formal techniques and well-known systems for these subdisciplines. Discussion of current research and programming in Lisp, Prolog or an expert system shell to develop or modify certain systems in these areas.