This course is an introduction to knowledge based systems. Basic concepts, characteristics, architectures and tools will be studied. Major paradigms for synthesis and analysis class systems, and exact and inexact reasoning systems will be discussed. Computational and knowledge engineering issues will be treated by case studies, and there will be programming practice. This course is usually offered in alternate years.